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.1.20170311
  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     , mono-traversable
  90     , symantic
  91     , symantic-grammar
  92     , transformers
  93     , text
  94
  95 Test-Suite symantic-test
  96   type: exitcode-stdio-1.0
  97   default-extensions:
  98     DataKinds
  99     FlexibleContexts
 100     FlexibleInstances
 101     MultiParamTypeClasses
 102     NoMonomorphismRestriction
 103     OverloadedStrings
 104     ScopedTypeVariables
 105     TupleSections
 106     TypeApplications
 107     TypeFamilies
 108     TypeOperators
 109   default-language: Haskell2010
 110   ghc-options: -main-is Test
 111                -Wall
 112                -fno-warn-tabs
 113                -- Speedup compiling a lot :
 114                -O0
 115                -- -dshow-passes
 116   hs-source-dirs: Language/Symantic
 117   main-is: Test.hs
 118   other-modules:
 119     Compiling.Term.Test
 120     Lib.Applicative.Test
 121     Lib.Bool.Test
 122     Lib.Foldable.Test
 123     Lib.Functor.Test
 124     Lib.Map.Test
 125     Lib.MonoFunctor.Test
 126     Lib.Num.Test
 127     Lib.Test
 128     Lib.Tuple2.Test
 129     Parsing.Test
 130     Typing.Test
 131   build-depends:
 132     base >= 4.6 && < 5
 133     , containers
 134     , megaparsec
 135     , monad-classes
 136     , mono-traversable
 137     , symantic
 138     , symantic-lib
 139     , symantic-grammar
 140     , tasty >= 0.11
 141     , tasty-hunit
 142     , text
 143     , transformers
 144
 145 Test-Suite ebnf
 146   type: exitcode-stdio-1.0
 147   default-extensions:
 148     ConstraintKinds
 149     DataKinds
 150     EmptyDataDecls
 151     FlexibleContexts
 152     FlexibleInstances
 153     MultiParamTypeClasses
 154     NamedFieldPuns
 155     OverloadedStrings
 156     PatternGuards
 157     PolyKinds
 158     Rank2Types
 159     ScopedTypeVariables
 160     StandaloneDeriving
 161     TupleSections
 162     TypeFamilies
 163     TypeApplications
 164     TypeOperators
 165   ghc-options: -main-is Parsing.EBNF
 166                -Wall
 167                -fno-warn-tabs
 168   main-is: Parsing/EBNF.hs
 169   default-language: Haskell2010
 170   hs-source-dirs: Language/Symantic
 171   build-depends:
 172     base >= 4.6 && < 5
 173     , containers
 174     , megaparsec
 175     , symantic
 176     , transformers
 177     , tasty >= 0.11
 178     , tasty-hunit
 179     , text