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