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