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