author: Julien Moutinho bug-reports: Julien Moutinho 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 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 -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: -main-is Test -Wall -fno-warn-tabs -- Speedup compiling a lot : -O0 -- -dshow-passes 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: -main-is Parsing.EBNF -Wall -fno-warn-tabs 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