symantic.cabal

   1 author: Julien Moutinho <julm+symantic@autogeree.net>
   2 -- bug-reports: http://doc.autogeree.net/symantic/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 main ideas from the
  10  <http://okmij.org/ftp/tagless-final/ Tagless-Final>
  11  approach of embedded DSL (Domain-Specific Language)
  12  developed by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
  13  and pursuing their work to make it usable 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 altering 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  One important drawback of this flexibility
  44  is the introduction of a lot of type constraints;
  45  those may be more readable directly in the source code
  46  than in its Haddock rendition.
  47  .
  48  Your comments, problem reports, or questions are very welcome! :-)
  49  .
  50  NOTE: alternative libraries to do more or less the same things
  51  include: <https://hackage.haskell.org/package/syntactic syntactic>.
  52 extra-source-files:
  53 extra-tmp-files:
  54 -- homepage: http://pad.autogeree.net/informatique/symantic/
  55 license: GPL-3
  56 license-file: COPYING
  57 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  58 name: symantic
  59 stability: experimental
  60 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
  61 tested-with: GHC==7.10.3
  62 version: 1.20161112
  63
  64 Source-Repository head
  65  location: git://git.autogeree.net/symantic
  66  type:     git
  67
  68 Flag dev
  69   Default:     False
  70   Description: Turn on development settings.
  71   Manual:      True
  72
  73 Flag dump
  74   Default:     False
  75   Description: Dump some intermediate files.
  76   Manual:      True
  77
  78 Flag prof
  79   Default:     False
  80   Description: Turn on profiling settings.
  81   Manual:      True
  82
  83 Flag threaded
  84   Default:     False
  85   Description: Enable threads.
  86   Manual:      True
  87
  88 Library
  89   default-extensions:
  90   ghc-options: -Wall -fno-warn-tabs
  91   if flag(dev)
  92     cpp-options: -DDEVELOPMENT
  93     ghc-options:
  94     -- -ddump-splices
  95     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  96     -- -fno-warn-type-defaults -fno-warn-orphans
  97   if flag(dump)
  98     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  99   if flag(prof)
 100     cpp-options: -DPROFILING
 101     ghc-options: -fprof-auto
 102   default-language: Haskell2010
 103   exposed-modules:
 104     Language.Symantic
 105     Language.Symantic.Expr
 106     Language.Symantic.Expr.Alt
 107     Language.Symantic.Expr.Applicative
 108     Language.Symantic.Expr.Bool
 109     Language.Symantic.Expr.Char
 110     Language.Symantic.Expr.Either
 111     Language.Symantic.Expr.Eq
 112     Language.Symantic.Expr.Error
 113     Language.Symantic.Expr.Foldable
 114     Language.Symantic.Expr.From
 115     Language.Symantic.Expr.Functor
 116     Language.Symantic.Expr.If
 117     Language.Symantic.Expr.Int
 118     Language.Symantic.Expr.Integer
 119     Language.Symantic.Expr.Integral
 120     Language.Symantic.Expr.IO
 121     Language.Symantic.Expr.Lambda
 122     Language.Symantic.Expr.List
 123     Language.Symantic.Expr.Map
 124     Language.Symantic.Expr.Maybe
 125     Language.Symantic.Expr.Monad
 126     Language.Symantic.Expr.MonoFunctor
 127     Language.Symantic.Expr.Monoid
 128     Language.Symantic.Expr.Num
 129     Language.Symantic.Expr.Ord
 130     Language.Symantic.Expr.Root
 131     Language.Symantic.Expr.Text
 132     Language.Symantic.Expr.Traversable
 133     Language.Symantic.Expr.Tuple
 134     Language.Symantic.Lib.Control.Monad
 135     Language.Symantic.Lib.Data.Bool
 136     Language.Symantic.Lib.Data.Peano
 137     Language.Symantic.Repr
 138     Language.Symantic.Repr.Dup
 139     Language.Symantic.Repr.Host
 140     Language.Symantic.Repr.Text
 141     Language.Symantic.Trans
 142     Language.Symantic.Trans.Bool
 143     Language.Symantic.Trans.Bool.Const
 144     Language.Symantic.Trans.Common
 145     Language.Symantic.Type
 146     Language.Symantic.Type.Alt
 147     Language.Symantic.Type.Bool
 148     Language.Symantic.Type.Char
 149     Language.Symantic.Type.Either
 150     Language.Symantic.Type.Error
 151     Language.Symantic.Type.Fun
 152     Language.Symantic.Type.Int
 153     Language.Symantic.Type.Integer
 154     Language.Symantic.Type.IO
 155     Language.Symantic.Type.List
 156     Language.Symantic.Type.Map
 157     Language.Symantic.Type.Maybe
 158     Language.Symantic.Type.Ordering
 159     Language.Symantic.Type.Root
 160     Language.Symantic.Type.Text
 161     Language.Symantic.Type.Tuple
 162     Language.Symantic.Type.Type0
 163     Language.Symantic.Type.Type1
 164     Language.Symantic.Type.Type2
 165     Language.Symantic.Type.Unit
 166     Language.Symantic.Type.Var
 167   build-depends:
 168     base >= 4.6 && < 5
 169     , containers
 170     , ghc-prim
 171     , mono-traversable
 172     , transformers
 173     , text
 174
 175 Test-Suite symantic-test
 176   type: exitcode-stdio-1.0
 177   default-extensions:
 178     OverloadedStrings
 179   default-language: Haskell2010
 180   ghc-options: -Wall -fno-warn-tabs
 181                -main-is Test
 182   hs-source-dirs: Language/Symantic
 183   main-is: Test.hs
 184   other-modules:
 185     AST.Test
 186     Expr.Applicative.Test
 187     Expr.Bool.Test
 188     Expr.Eq.Test
 189     Expr.Foldable.Test
 190     Expr.Functor.Test
 191     Expr.If.Test
 192     Expr.Int.Test
 193     Expr.Lambda.Test
 194     Expr.List.Test
 195     Expr.Map.Test
 196     Expr.Maybe.Test
 197     Expr.Monad.Test
 198     Expr.MonoFunctor.Test
 199     Expr.Test
 200     Expr.Traversable.Test
 201     Repr.Host.Test
 202     Repr.Test
 203     Repr.Text.Test
 204     Trans.Bool.Const.Test
 205     Trans.Bool.Test
 206     Trans.Test
 207     Type.Test
 208   if flag(threaded)
 209     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 210   if flag(dev)
 211     cpp-options: -DDEVELOPMENT
 212     ghc-options:
 213   if flag(prof)
 214     cpp-options: -DPROFILING
 215     ghc-options: -fprof-auto
 216   build-depends:
 217     base >= 4.6 && < 5
 218     , containers
 219     , mono-traversable
 220     , transformers
 221     , tasty >= 0.11
 222     , tasty-hunit
 223     , text
 224     , symantic