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.24
   5 category: Language
   6 -- data-dir: data
   7 -- data-files:
   8 description:
   9  Library for composing, typing, compiling, transforming and interpreting
  10  a custom DSL (Domain-Specific Language)
  11  expressing a subset of GHC's Haskell.
  12  .
  13  Your comments, problem reports, or questions are very welcome! :-)
  14  .
  15  NOTE: the symantic approach was developped for embedded DSL
  16  by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
  17  see: <http://okmij.org/ftp/tagless-final/ Tagless-Final>.
  18  .
  19  NOTE: alternative libraries to do more or less the same things
  20  include: <https://hackage.haskell.org/package/syntactic syntactic>.
  21 extra-source-files:
  22 extra-tmp-files:
  23 -- homepage: http://pad.autogeree.net/informatique/symantic/
  24 license: GPL-3
  25 license-file: COPYING
  26 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  27 name: symantic
  28 stability: experimental
  29 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
  30 tested-with: GHC==8.0.1
  31 version: 3.20161210
  32
  33 Source-Repository head
  34  location: git://git.autogeree.net/symantic
  35  type:     git
  36
  37 Flag dev
  38   Default:     False
  39   Description: Turn on development settings.
  40   Manual:      True
  41
  42 Flag dump
  43   Default:     False
  44   Description: Dump some intermediate files.
  45   Manual:      True
  46
  47 Flag prof
  48   Default:     False
  49   Description: Turn on profiling settings.
  50   Manual:      True
  51
  52 Flag threaded
  53   Default:     False
  54   Description: Enable threads.
  55   Manual:      True
  56
  57 Library
  58   default-extensions:
  59   ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
  60   if flag(dev)
  61     cpp-options: -DDEVELOPMENT
  62     ghc-options:
  63     -- -ddump-splices
  64     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  65     -- -fno-warn-type-defaults -fno-warn-orphans
  66   if flag(dump)
  67     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  68   if flag(prof)
  69     cpp-options: -DPROFILING
  70     ghc-options: -fprof-auto
  71   default-language: Haskell2010
  72   exposed-modules:
  73     Language.Symantic
  74     Language.Symantic.Compiling
  75     Language.Symantic.Compiling.Applicative
  76     Language.Symantic.Compiling.Bool
  77     Language.Symantic.Compiling.Char
  78     Language.Symantic.Compiling.Either
  79     Language.Symantic.Compiling.Eq
  80     Language.Symantic.Compiling.Foldable
  81     Language.Symantic.Compiling.Functor
  82     Language.Symantic.Compiling.IO
  83     Language.Symantic.Compiling.If
  84     Language.Symantic.Compiling.Int
  85     Language.Symantic.Compiling.Integer
  86     Language.Symantic.Compiling.Integral
  87     Language.Symantic.Compiling.List
  88     Language.Symantic.Compiling.Map
  89     Language.Symantic.Compiling.Maybe
  90     Language.Symantic.Compiling.Monad
  91     Language.Symantic.Compiling.MonoFunctor
  92     Language.Symantic.Compiling.Monoid
  93     Language.Symantic.Compiling.Num
  94     Language.Symantic.Compiling.Ord
  95     Language.Symantic.Compiling.Term
  96     Language.Symantic.Compiling.Text
  97     Language.Symantic.Compiling.Traversable
  98     Language.Symantic.Compiling.Tuple2
  99     Language.Symantic.Interpreting
 100     Language.Symantic.Interpreting.Dup
 101     Language.Symantic.Interpreting.Host
 102     Language.Symantic.Interpreting.Text
 103     Language.Symantic.Lib.Data.Type.List
 104     Language.Symantic.Lib.Data.Type.Peano
 105     Language.Symantic.Transforming
 106     Language.Symantic.Transforming.Trans
 107     Language.Symantic.Typing
 108     Language.Symantic.Typing.Constant
 109     Language.Symantic.Typing.Constraint
 110     Language.Symantic.Typing.Family
 111     Language.Symantic.Typing.Kind
 112     Language.Symantic.Typing.Syntax
 113     Language.Symantic.Typing.Type
 114   build-depends:
 115     base >= 4.6 && < 5
 116     , containers
 117     , ghc-prim
 118     , mono-traversable
 119     , transformers
 120     , text
 121
 122 Test-Suite symantic-test
 123   type: exitcode-stdio-1.0
 124   default-extensions:
 125     OverloadedStrings
 126   default-language: Haskell2010
 127   ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
 128                -main-is Test
 129   hs-source-dirs: Language/Symantic
 130   main-is: Test.hs
 131   other-modules:
 132     Compiling.Applicative.Test
 133     Compiling.Bool.Test
 134     Compiling.Foldable.Test
 135     Compiling.Functor.Test
 136     Compiling.Map.Test
 137     Compiling.Term.Test
 138     Compiling.Test
 139     Typing.Test
 140   if flag(threaded)
 141     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 142   if flag(dev)
 143     cpp-options: -DDEVELOPMENT
 144     ghc-options:
 145   if flag(prof)
 146     cpp-options: -DPROFILING
 147     ghc-options: -fprof-auto
 148   build-depends:
 149     base >= 4.6 && < 5
 150     , containers
 151     , mono-traversable
 152     , transformers
 153     , tasty >= 0.11
 154     , tasty-hunit
 155     , text
 156     , symantic