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:
   7   Symantics for common types,
   8   using <https://hackage.haskell.org/package/symantic symantic>.
   9 extra-source-files:
  10 extra-tmp-files:
  11 -- homepage:
  12 license: GPL-3
  13 license-file: COPYING
  14 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  15 name: symantic-lib
  16 stability: experimental
  17 synopsis: Symantics for common types.
  18 tested-with: GHC==8.0.2
  19 -- PVP:  +-+------- breaking API changes
  20 --       | | +----- non-breaking API additions
  21 --       | | | +--- code changes with no API change
  22 version: 0.0.2.20170818
  23
  24 Source-Repository head
  25   location: git://git.autogeree.net/symantic
  26   type:     git
  27
  28 Library
  29   default-extensions:
  30     DataKinds
  31     DefaultSignatures
  32     FlexibleContexts
  33     FlexibleInstances
  34     LambdaCase
  35     MultiParamTypeClasses
  36     NamedFieldPuns
  37     OverloadedStrings
  38     Rank2Types
  39     ScopedTypeVariables
  40     StandaloneDeriving
  41     TupleSections
  42     TypeApplications
  43     TypeFamilies
  44     TypeOperators
  45   ghc-options: -Wall
  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.Bounded
  55     Language.Symantic.Lib.Char
  56     Language.Symantic.Lib.Either
  57     Language.Symantic.Lib.Enum
  58     Language.Symantic.Lib.Eq
  59     Language.Symantic.Lib.Foldable
  60     Language.Symantic.Lib.Function
  61     Language.Symantic.Lib.Functor
  62     Language.Symantic.Lib.IO
  63     Language.Symantic.Lib.If
  64     Language.Symantic.Lib.Int
  65     Language.Symantic.Lib.Integer
  66     Language.Symantic.Lib.Integral
  67     Language.Symantic.Lib.List
  68     Language.Symantic.Lib.Map
  69     Language.Symantic.Lib.Maybe
  70     Language.Symantic.Lib.Monad
  71     Language.Symantic.Lib.MonoFoldable
  72     Language.Symantic.Lib.MonoFunctor
  73     Language.Symantic.Lib.Monoid
  74     Language.Symantic.Lib.NonNull
  75     Language.Symantic.Lib.Num
  76     Language.Symantic.Lib.Ord
  77     Language.Symantic.Lib.Ratio
  78     Language.Symantic.Lib.Real
  79     Language.Symantic.Lib.Semigroup
  80     Language.Symantic.Lib.Sequences
  81     Language.Symantic.Lib.Show
  82     Language.Symantic.Lib.Text
  83     Language.Symantic.Lib.Traversable
  84     Language.Symantic.Lib.Tuple2
  85     Language.Symantic.Lib.Unit
  86   build-depends:
  87     base >= 4.6 && < 5
  88     , containers
  89     , ghc-prim
  90     , monad-classes
  91     , mono-traversable
  92     , symantic >= 6.0
  93     , symantic-grammar
  94     , transformers
  95     , text
  96
  97 Test-Suite symantic-test
  98   type: exitcode-stdio-1.0
  99   default-extensions:
 100     DataKinds
 101     FlexibleContexts
 102     FlexibleInstances
 103     MultiParamTypeClasses
 104     NoMonomorphismRestriction
 105     OverloadedStrings
 106     ScopedTypeVariables
 107     TupleSections
 108     TypeApplications
 109     TypeFamilies
 110     TypeOperators
 111   default-language: Haskell2010
 112   ghc-options: -main-is Test
 113                -Wall
 114                -fno-warn-tabs
 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.Test
 122     Grammar.Megaparsec
 123     Lib.Applicative.Test
 124     Lib.Bool.Test
 125     Lib.Foldable.Test
 126     Lib.Functor.Test
 127     Lib.Map.Test
 128     Lib.MonoFunctor.Test
 129     Lib.Num.Test
 130     Lib.Test
 131     Lib.Tuple2.Test
 132     Typing.Test
 133   build-depends:
 134     base >= 4.6 && < 5
 135     , containers
 136     , megaparsec
 137     , monad-classes
 138     , mono-traversable
 139     , symantic-grammar
 140     , symantic
 141     , symantic-lib
 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 Grammar.EBNF
 168                -Wall
 169                -fno-warn-tabs
 170                -fprint-potential-instances
 171   main-is: Grammar/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-grammar
 179     , symantic
 180     , symantic-lib
 181     , transformers
 182     , tasty >= 0.11
 183     , tasty-hunit
 184     , text