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.0.20170208
  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.Char
  54     Language.Symantic.Lib.Either
  55     Language.Symantic.Lib.Eq
  56     Language.Symantic.Lib.Foldable
  57     Language.Symantic.Lib.Functor
  58     Language.Symantic.Lib.IO
  59     Language.Symantic.Lib.If
  60     Language.Symantic.Lib.Int
  61     Language.Symantic.Lib.Integer
  62     Language.Symantic.Lib.Integral
  63     Language.Symantic.Lib.Lambda
  64     Language.Symantic.Lib.List
  65     Language.Symantic.Lib.Map
  66     Language.Symantic.Lib.Maybe
  67     Language.Symantic.Lib.Monad
  68     Language.Symantic.Lib.MonoFoldable
  69     Language.Symantic.Lib.MonoFunctor
  70     Language.Symantic.Lib.Monoid
  71     Language.Symantic.Lib.NonNull
  72     Language.Symantic.Lib.Num
  73     Language.Symantic.Lib.Ord
  74     Language.Symantic.Lib.Sequences
  75     Language.Symantic.Lib.Show
  76     Language.Symantic.Lib.Text
  77     Language.Symantic.Lib.Traversable
  78     Language.Symantic.Lib.Tuple2
  79     Language.Symantic.Lib.Unit
  80   build-depends:
  81     base >= 4.6 && < 5
  82     , containers
  83     , ghc-prim
  84     , mono-traversable
  85     , symantic
  86     , symantic-grammar
  87     , transformers
  88     , text
  89
  90 Test-Suite symantic-test
  91   type: exitcode-stdio-1.0
  92   default-extensions:
  93     DataKinds
  94     FlexibleContexts
  95     FlexibleInstances
  96     MultiParamTypeClasses
  97     NoMonomorphismRestriction
  98     OverloadedStrings
  99     ScopedTypeVariables
 100     TupleSections
 101     TypeApplications
 102     TypeFamilies
 103     TypeOperators
 104   default-language: Haskell2010
 105   ghc-options: -main-is Test
 106                -Wall
 107                -fno-warn-tabs
 108                -- Speedup compiling a lot :
 109                -O0
 110                -- -dshow-passes
 111   hs-source-dirs: Language/Symantic
 112   main-is: Test.hs
 113   other-modules:
 114     Compiling.Term.Test
 115     Lib.Applicative.Test
 116     Lib.Bool.Test
 117     Lib.Foldable.Test
 118     Lib.Functor.Test
 119     Lib.Map.Test
 120     Lib.MonoFunctor.Test
 121     Lib.Num.Test
 122     Lib.Test
 123     Lib.Tuple2.Test
 124     Parsing.Test
 125     Typing.Test
 126   build-depends:
 127     base >= 4.6 && < 5
 128     , containers
 129     , megaparsec
 130     , monad-classes
 131     , mono-traversable
 132     , symantic
 133     , symantic-lib
 134     , symantic-grammar
 135     , tasty >= 0.11
 136     , tasty-hunit
 137     , text
 138     , transformers
 139
 140 Test-Suite ebnf
 141   type: exitcode-stdio-1.0
 142   default-extensions:
 143     ConstraintKinds
 144     DataKinds
 145     EmptyDataDecls
 146     FlexibleContexts
 147     FlexibleInstances
 148     MultiParamTypeClasses
 149     NamedFieldPuns
 150     OverloadedStrings
 151     PatternGuards
 152     PolyKinds
 153     Rank2Types
 154     ScopedTypeVariables
 155     StandaloneDeriving
 156     TupleSections
 157     TypeFamilies
 158     TypeApplications
 159     TypeOperators
 160   ghc-options: -main-is Parsing.EBNF
 161                -Wall
 162                -fno-warn-tabs
 163   main-is: Parsing/EBNF.hs
 164   default-language: Haskell2010
 165   hs-source-dirs: Language/Symantic
 166   build-depends:
 167     base >= 4.6 && < 5
 168     , containers
 169     , megaparsec
 170     , symantic
 171     , transformers
 172     , tasty >= 0.11
 173     , tasty-hunit
 174     , text