name: symantic-lib
-- PVP:  +-+------- breaking API changes
--       | | +----- non-breaking API additions
--       | | | +--- code changes with no API change
version: 0.0.3.20180213
category: Language
synopsis: Symantics for common types.
description: Symantics for common types,
             using <https://hackage.haskell.org/package/symantic symantic>.
extra-doc-files:
license: GPL-3
license-file: COPYING
stability: experimental
author:      Julien Moutinho <julm+symantic@autogeree.net>
maintainer:  Julien Moutinho <julm+symantic@autogeree.net>
bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
-- homepage:

build-type: Simple
cabal-version: >= 1.24
extra-source-files:
  stack.yaml
extra-tmp-files:
tested-with: GHC==8.2.2

Source-Repository head
  location: git://git.autogeree.net/symantic
  type:     git

Library
  exposed-modules:
    Language.Symantic.Lib
    Language.Symantic.Lib.Alternative
    Language.Symantic.Lib.Applicative
    Language.Symantic.Lib.Bool
    Language.Symantic.Lib.Bounded
    Language.Symantic.Lib.Char
    Language.Symantic.Lib.Either
    Language.Symantic.Lib.Enum
    Language.Symantic.Lib.Eq
    Language.Symantic.Lib.Foldable
    Language.Symantic.Lib.Function
    Language.Symantic.Lib.Functor
    Language.Symantic.Lib.IO
    Language.Symantic.Lib.If
    Language.Symantic.Lib.Int
    Language.Symantic.Lib.Integer
    Language.Symantic.Lib.Integral
    Language.Symantic.Lib.List
    Language.Symantic.Lib.Map
    Language.Symantic.Lib.Maybe
    Language.Symantic.Lib.Monad
    Language.Symantic.Lib.MonoFoldable
    Language.Symantic.Lib.MonoFunctor
    Language.Symantic.Lib.Monoid
    Language.Symantic.Lib.NonNull
    Language.Symantic.Lib.Num
    Language.Symantic.Lib.Ord
    Language.Symantic.Lib.Ratio
    Language.Symantic.Lib.Real
    Language.Symantic.Lib.Semigroup
    Language.Symantic.Lib.Sequences
    Language.Symantic.Lib.Show
    Language.Symantic.Lib.Text
    Language.Symantic.Lib.Traversable
    Language.Symantic.Lib.Tuple2
    Language.Symantic.Lib.Unit
  default-language: Haskell2010
  default-extensions:
    DataKinds
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    Rank2Types
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  ghc-options:
    -Wall
    -Wincomplete-uni-patterns
    -Wincomplete-record-updates
    -fno-warn-tabs
    -fhide-source-paths
    -fprint-explicit-kinds
  build-depends:
      symantic
    , symantic-grammar
    , base             >= 4.6 && < 5
    , containers       >= 0.5
    , mono-traversable >= 1.0
    , transformers     >= 0.5
    , text             >= 1.2

Test-Suite symantic-test
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: Main.hs
  other-modules:
    Golden
    HUnit
    HUnit.Applicative
    HUnit.Bool
    HUnit.Foldable
    HUnit.Functor
    HUnit.Map
    HUnit.MonoFunctor
    HUnit.Num
    HUnit.Tuple2
    Testing.Compiling
    Testing.Megaparsec
  default-language: Haskell2010
  default-extensions:
    DataKinds
    FlexibleContexts
    FlexibleInstances
    MultiParamTypeClasses
    NoMonomorphismRestriction
    OverloadedStrings
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  ghc-options:
    -Wall
    -Wincomplete-uni-patterns
    -Wincomplete-record-updates
    -fno-warn-tabs
    -fhide-source-paths
    -fprint-explicit-kinds
    -- -O0
    -- -fmax-simplifier-iterations=0
    -- -dshow-passes
  build-depends:
      symantic
    , symantic-grammar
    , symantic-lib
    , base             >= 4.6 && < 5
    , bytestring       >= 0.10
    , containers       >= 0.5
    , megaparsec       >= 6.3
    , monad-classes    >= 0.3.2
    , mono-traversable >= 1.0
    , tasty            >= 0.11
    , tasty-golden     >= 2.3
    , tasty-hunit      >= 0.9
    , text             >= 1.2
    , transformers     >= 0.5