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