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