symantic-lib/symantic-lib.cabal

   1 author: Julien Moutinho <julm+symantic@autogeree.net>
   2 bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
   3 build-type: Simple
   4 cabal-version: >= 1.24
   5 category: Language
   6 description: Symantics for common types.
   7 extra-source-files:
   8 extra-tmp-files:
   9 -- homepage:
  10 license: GPL-3
  11 license-file: COPYING
  12 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  13 name: symantic-lib
  14 stability: experimental
  15 synopsis: Symantics for common types.
  16 tested-with: GHC==8.0.2
  17 -- PVP:  +-+------- breaking API changes
  18 --       | | +----- non-breaking API additions
  19 --       | | | +--- code changes with no API change
  20 version: 0.0.2.20170408
  21
  22 Source-Repository head
  23   location: git://git.autogeree.net/symantic
  24   type:     git
  25
  26 Library
  27   default-extensions:
  28     DataKinds
  29     DefaultSignatures
  30     FlexibleContexts
  31     FlexibleInstances
  32     InstanceSigs
  33     LambdaCase
  34     MultiParamTypeClasses
  35     NamedFieldPuns
  36     OverloadedStrings
  37     Rank2Types
  38     ScopedTypeVariables
  39     StandaloneDeriving
  40     TupleSections
  41     TypeApplications
  42     TypeFamilies
  43     TypeOperators
  44   ghc-options: -Wall
  45                -fno-warn-tabs
  46                -fprint-explicit-kinds
  47   default-language: Haskell2010
  48   exposed-modules:
  49     Language.Symantic.Lib
  50     Language.Symantic.Lib.Alternative
  51     Language.Symantic.Lib.Applicative
  52     Language.Symantic.Lib.Bool
  53     Language.Symantic.Lib.Bounded
  54     Language.Symantic.Lib.Char
  55     Language.Symantic.Lib.Either
  56     Language.Symantic.Lib.Eq
  57     Language.Symantic.Lib.Enum
  58     Language.Symantic.Lib.Foldable
  59     Language.Symantic.Lib.Functor
  60     Language.Symantic.Lib.IO
  61     Language.Symantic.Lib.If
  62     Language.Symantic.Lib.Int
  63     Language.Symantic.Lib.Integer
  64     Language.Symantic.Lib.Integral
  65     Language.Symantic.Lib.Lambda
  66     Language.Symantic.Lib.List
  67     Language.Symantic.Lib.Map
  68     Language.Symantic.Lib.Maybe
  69     Language.Symantic.Lib.Monad
  70     Language.Symantic.Lib.MonoFoldable
  71     Language.Symantic.Lib.MonoFunctor
  72     Language.Symantic.Lib.Monoid
  73     Language.Symantic.Lib.NonNull
  74     Language.Symantic.Lib.Num
  75     Language.Symantic.Lib.Ord
  76     Language.Symantic.Lib.Real
  77     Language.Symantic.Lib.Ratio
  78     Language.Symantic.Lib.Semigroup
  79     Language.Symantic.Lib.Sequences
  80     Language.Symantic.Lib.Show
  81     Language.Symantic.Lib.Text
  82     Language.Symantic.Lib.Traversable
  83     Language.Symantic.Lib.Tuple2
  84     Language.Symantic.Lib.Unit
  85   build-depends:
  86     base >= 4.6 && < 5
  87     , containers
  88     , ghc-prim
  89     , monad-classes
  90     , mono-traversable
  91     , symantic
  92     , symantic-grammar
  93     , transformers
  94     , text
  95
  96 Test-Suite symantic-test
  97   type: exitcode-stdio-1.0
  98   default-extensions:
  99     DataKinds
 100     FlexibleContexts
 101     FlexibleInstances
 102     MultiParamTypeClasses
 103     NoMonomorphismRestriction
 104     OverloadedStrings
 105     ScopedTypeVariables
 106     TupleSections
 107     TypeApplications
 108     TypeFamilies
 109     TypeOperators
 110   default-language: Haskell2010
 111   ghc-options: -main-is Test
 112                -Wall
 113                -fno-warn-tabs
 114                -- Speedup compiling a lot :
 115                -O0
 116                -- -fmax-simplifier-iterations=0
 117                -- -dshow-passes
 118   hs-source-dirs: Language/Symantic
 119   main-is: Test.hs
 120   other-modules:
 121     Compiling.Term.Test
 122     Lib.Applicative.Test
 123     Lib.Bool.Test
 124     Lib.Foldable.Test
 125     Lib.Functor.Test
 126     Lib.Map.Test
 127     Lib.MonoFunctor.Test
 128     Lib.Num.Test
 129     Lib.Test
 130     Lib.Tuple2.Test
 131     Parsing.Test
 132     Typing.Test
 133   build-depends:
 134     base >= 4.6 && < 5
 135     , containers
 136     , megaparsec
 137     , monad-classes
 138     , mono-traversable
 139     , symantic
 140     , symantic-lib
 141     , symantic-grammar
 142     , tasty >= 0.11
 143     , tasty-hunit
 144     , text
 145     , transformers
 146
 147 Test-Suite ebnf
 148   type: exitcode-stdio-1.0
 149   default-extensions:
 150     ConstraintKinds
 151     DataKinds
 152     EmptyDataDecls
 153     FlexibleContexts
 154     FlexibleInstances
 155     MultiParamTypeClasses
 156     NamedFieldPuns
 157     OverloadedStrings
 158     PatternGuards
 159     PolyKinds
 160     Rank2Types
 161     ScopedTypeVariables
 162     StandaloneDeriving
 163     TupleSections
 164     TypeFamilies
 165     TypeApplications
 166     TypeOperators
 167   ghc-options: -main-is Parsing.EBNF
 168                -Wall
 169                -fno-warn-tabs
 170                -fprint-potential-instances
 171   main-is: Parsing/EBNF.hs
 172   default-language: Haskell2010
 173   hs-source-dirs: Language/Symantic
 174   build-depends:
 175     base >= 4.6 && < 5
 176     , containers
 177     , megaparsec
 178     , symantic
 179     , symantic-lib
 180     , transformers
 181     , tasty >= 0.11
 182     , tasty-hunit
 183     , text