lol-symantic.cabal

   1 author: Julien Moutinho <julm+lol@autogeree.net>
   2 -- bug-reports: http://doc.autogeree.net/lol/bugs
   3 build-type: Simple
   4 cabal-version: >= 1.10
   5 category: Language
   6 -- data-dir: data
   7 -- data-files:
   8 description:
   9  Library gathering important ideas from the
  10  <http://okmij.org/ftp/tagless-final/ Tagless-Final>
  11  approach to Embedded DSL (Domain-Specific Language)
  12  developed by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
  13  and pursuing this work to use it as a non-Embedded DSL.
  14  .
  15  A so-called /symantic/ type class defines a /syntax/
  16  and each of its instances defines a new /semantic/
  17  (computing a Haskell term, serializing, optimizing, …).
  18  .
  19  Combining the methods of those /symantic/ type classes
  20  gives rise to a DSL within which one can
  21  write /symantic/ expressions at developing time;
  22  but in order to handle such expression when entered by an end-user,
  23  one has to be able to construct it at runtime.
  24  .
  25  This library (including its Test.hs files) demonstrates this
  26  for a few usual types and methods, by:
  27  .
  28  * Parsing a /symantic/ expression
  29    from an AST (Abstract Syntax Tree).
  30  .
  31  * Removing or adding /symantic/ parsers
  32    by fully reusing old parsers
  33    (i.e. without copying or alterating them).
  34  .
  35  * Interpreting a /symantic/ expression
  36    multiple times and with different interpreters
  37    without reparsing the expression.
  38  .
  39  Hence, one can select all or a few expressions (and associated types)
  40  of this library, add its own, parse them at runtime from its own AST,
  41  and then interpret them at will.
  42  .
  43  Your comments, problem reports, or questions are very welcome! :-)
  44 extra-source-files:
  45 extra-tmp-files:
  46 -- homepage: http://pad.autogeree.net/informatique/lol/symantic/
  47 license: GPL-3
  48 license-file: COPYING
  49 maintainer: Julien Moutinho <julm+lol@autogeree.net>
  50 name: lol-symantic
  51 stability: experimental
  52 synopsis: Typed Tagless-Final Higher-Order Extensible DSL
  53 tested-with: GHC==7.10.3
  54 version: 1.20161008
  55
  56 Source-Repository head
  57  location: git://git.autogeree.net/lol
  58  type:     git
  59
  60 Flag dev
  61   Default:     False
  62   Description: Turn on development settings.
  63   Manual:      True
  64
  65 Flag dump
  66   Default:     False
  67   Description: Dump some intermediate files.
  68   Manual:      True
  69
  70 Flag prof
  71   Default:     False
  72   Description: Turn on profiling settings.
  73   Manual:      True
  74
  75 Flag threaded
  76   Default:     False
  77   Description: Enable threads.
  78   Manual:      True
  79
  80 Library
  81   default-extensions:
  82   ghc-options: -Wall -fno-warn-tabs
  83   if flag(dev)
  84     cpp-options: -DDEVELOPMENT
  85     ghc-options:
  86     -- -ddump-splices
  87     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  88     -- -fno-warn-type-defaults -fno-warn-orphans
  89   if flag(dump)
  90     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  91   if flag(prof)
  92     cpp-options: -DPROFILING
  93     ghc-options: -fprof-auto
  94   default-language: Haskell2010
  95   exposed-modules:
  96     Language.LOL.Symantic
  97     Language.LOL.Symantic.Expr
  98     Language.LOL.Symantic.Expr.Bool
  99     Language.LOL.Symantic.Expr.Common
 100     Language.LOL.Symantic.Expr.Int
 101     Language.LOL.Symantic.Expr.Lambda
 102     Language.LOL.Symantic.Expr.Maybe
 103     Language.LOL.Symantic.Expr.If
 104     Language.LOL.Symantic.Expr.Eq
 105     Language.LOL.Symantic.Lib.Control.Monad
 106     Language.LOL.Symantic.Lib.Data.Peano
 107     Language.LOL.Symantic.Repr
 108     Language.LOL.Symantic.Repr.Dup
 109     Language.LOL.Symantic.Repr.Host
 110     Language.LOL.Symantic.Repr.Text
 111     Language.LOL.Symantic.Trans
 112     Language.LOL.Symantic.Trans.Bool
 113     Language.LOL.Symantic.Trans.Bool.Const
 114     Language.LOL.Symantic.Trans.Common
 115     Language.LOL.Symantic.Type
 116     Language.LOL.Symantic.Type.Unit
 117     Language.LOL.Symantic.Type.Bool
 118     Language.LOL.Symantic.Type.Common
 119     Language.LOL.Symantic.Type.Fun
 120     Language.LOL.Symantic.Type.Int
 121     Language.LOL.Symantic.Type.Maybe
 122     Language.LOL.Symantic.Type.Var
 123   build-depends:
 124     base >= 4.6 && < 5
 125     , ghc-prim
 126     , monad-classes >= 0.3.1.1
 127     , transformers
 128     , text
 129
 130 Test-Suite lol-symantic-test
 131   type: exitcode-stdio-1.0
 132   default-extensions:
 133     OverloadedStrings
 134   default-language: Haskell2010
 135   ghc-options: -Wall -fno-warn-tabs
 136                -main-is Test
 137   hs-source-dirs: Language/LOL/Symantic
 138   main-is: Test.hs
 139   other-modules:
 140     AST.Test
 141     Expr.Bool.Test
 142     Expr.Eq.Test
 143     Expr.If.Test
 144     Expr.Int.Test
 145     Expr.Lambda.Test
 146     Expr.Maybe.Test
 147     Expr.Test
 148     Repr.Host.Test
 149     Repr.Test
 150     Repr.Text.Test
 151     Trans.Bool.Const.Test
 152     Trans.Bool.Test
 153     Trans.Test
 154     Type.Test
 155   if flag(threaded)
 156     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 157   if flag(dev)
 158     cpp-options: -DDEVELOPMENT
 159     ghc-options:
 160   if flag(prof)
 161     cpp-options: -DPROFILING
 162     ghc-options: -fprof-auto
 163   build-depends:
 164     base >= 4.6 && < 5
 165     , transformers
 166     , tasty >= 0.11
 167     , tasty-hunit
 168     , text
 169     , lol-symantic