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.MonoFoldable
  92     Language.Symantic.Compiling.MonoFunctor
  93     Language.Symantic.Compiling.Monoid
  94     Language.Symantic.Compiling.NonNull
  95     Language.Symantic.Compiling.Num
  96     Language.Symantic.Compiling.Ord
  97     Language.Symantic.Compiling.Term
  98     Language.Symantic.Compiling.Text
  99     Language.Symantic.Compiling.Traversable
 100     Language.Symantic.Compiling.Tuple2
 101     Language.Symantic.Interpreting
 102     Language.Symantic.Interpreting.Dup
 103     Language.Symantic.Interpreting.Host
 104     Language.Symantic.Interpreting.Text
 105     Language.Symantic.Lib.Data.Type.List
 106     Language.Symantic.Lib.Data.Type.Peano
 107     Language.Symantic.Transforming
 108     Language.Symantic.Transforming.Trans
 109     Language.Symantic.Typing
 110     Language.Symantic.Typing.Constant
 111     Language.Symantic.Typing.Constraint
 112     Language.Symantic.Typing.Family
 113     Language.Symantic.Typing.Kind
 114     Language.Symantic.Typing.Syntax
 115     Language.Symantic.Typing.Type
 116   build-depends:
 117     base >= 4.6 && < 5
 118     , containers
 119     , ghc-prim
 120     , mono-traversable
 121     , transformers
 122     , text
 123
 124 Test-Suite symantic-test
 125   type: exitcode-stdio-1.0
 126   default-extensions:
 127     OverloadedStrings
 128   default-language: Haskell2010
 129   ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
 130                -main-is Test
 131   hs-source-dirs: Language/Symantic
 132   main-is: Test.hs
 133   other-modules:
 134     Compiling.Applicative.Test
 135     Compiling.Bool.Test
 136     Compiling.Foldable.Test
 137     Compiling.Functor.Test
 138     Compiling.Map.Test
 139     Compiling.MonoFunctor.Test
 140     Compiling.Term.Test
 141     Compiling.Test
 142     Typing.Test
 143   if flag(threaded)
 144     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 145   if flag(dev)
 146     cpp-options: -DDEVELOPMENT
 147     ghc-options:
 148   if flag(prof)
 149     cpp-options: -DPROFILING
 150     ghc-options: -fprof-auto
 151   build-depends:
 152     base >= 4.6 && < 5
 153     , containers
 154     , mono-traversable
 155     , transformers
 156     , tasty >= 0.11
 157     , tasty-hunit
 158     , text
 159     , symantic