author: Julien Moutinho <julm+symantic@autogeree.net>
bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
build-type: Simple
cabal-version: >= 1.24
category: Language
description: Symantics for common types.
extra-source-files:
extra-tmp-files:
-- homepage: 
license: GPL-3
license-file: COPYING
maintainer: Julien Moutinho <julm+symantic@autogeree.net>
name: symantic-lib
stability: experimental
synopsis: Symantics for common types.
tested-with: GHC==8.0.2
-- PVP:  +-+------- breaking API changes
--       | | +----- non-breaking API additions
--       | | | +--- code changes with no API change
version: 0.0.0.20170208

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

Library
  default-extensions:
    DataKinds
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    InstanceSigs
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    Rank2Types
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  ghc-options: -Wall
               -fwarn-incomplete-patterns
               -fno-warn-tabs
               -fprint-explicit-kinds
  default-language: Haskell2010
  exposed-modules:
    Language.Symantic.Lib
    Language.Symantic.Lib.Alternative
    Language.Symantic.Lib.Applicative
    Language.Symantic.Lib.Bool
    Language.Symantic.Lib.Char
    Language.Symantic.Lib.Either
    Language.Symantic.Lib.Eq
    Language.Symantic.Lib.Foldable
    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.Lambda
    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.Sequences
    Language.Symantic.Lib.Show
    Language.Symantic.Lib.Text
    Language.Symantic.Lib.Traversable
    Language.Symantic.Lib.Tuple2
    Language.Symantic.Lib.Unit
  build-depends:
    base >= 4.6 && < 5
    , containers
    , ghc-prim
    , mono-traversable
    , symantic
    , symantic-grammar
    , transformers
    , text

Test-Suite symantic-test
  type: exitcode-stdio-1.0
  default-extensions:
    DataKinds
    FlexibleContexts
    FlexibleInstances
    MultiParamTypeClasses
    NoMonomorphismRestriction
    OverloadedStrings
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  default-language: Haskell2010
  ghc-options: -Wall
               -fwarn-incomplete-patterns
               -fno-warn-tabs
               -main-is Test
              -- -dshow-passes
              -- -fmax-simplifier-iterations=0
              -- -fprint-explicit-kinds
  hs-source-dirs: Language/Symantic
  main-is: Test.hs
  other-modules:
    Compiling.Term.Test
    Lib.Applicative.Test
    Lib.Bool.Test
    Lib.Foldable.Test
    Lib.Functor.Test
    Lib.Map.Test
    Lib.MonoFunctor.Test
    Lib.Num.Test
    Lib.Test
    Lib.Tuple2.Test
    Parsing.Test
    Typing.Test
  build-depends:
    base >= 4.6 && < 5
    , containers
    , megaparsec
    , monad-classes
    , mono-traversable
    , symantic
    , symantic-lib
    , symantic-grammar
    , tasty >= 0.11
    , tasty-hunit
    , text
    , transformers

Test-Suite ebnf
  type: exitcode-stdio-1.0
  default-extensions:
    ConstraintKinds
    DataKinds
    EmptyDataDecls
    FlexibleContexts
    FlexibleInstances
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    PatternGuards
    PolyKinds
    Rank2Types
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeFamilies
    TypeApplications
    TypeOperators
  ghc-options: -Wall
               -fno-warn-tabs
               -main-is Parsing.EBNF
  main-is: Parsing/EBNF.hs
  default-language: Haskell2010
  hs-source-dirs: Language/Symantic
  build-depends:
    base >= 4.6 && < 5
    , containers
    , megaparsec
    , symantic
    , transformers
    , tasty >= 0.11
    , tasty-hunit
    , text