author: Julien Moutinho bug-reports: Julien Moutinho build-type: Simple cabal-version: >= 1.24 category: Language description: Symantics for common types, using . 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.2.20170618 Source-Repository head location: git://git.autogeree.net/symantic type: git Library default-extensions: DataKinds DefaultSignatures FlexibleContexts FlexibleInstances 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.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 build-depends: base >= 4.6 && < 5 , containers , ghc-prim , monad-classes , mono-traversable , symantic >= 6.0 , 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 -- -O0 -- -fmax-simplifier-iterations=0 -- -dshow-passes hs-source-dirs: Language/Symantic main-is: Test.hs other-modules: Compiling.Test Grammar.Megaparsec 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 Typing.Test build-depends: base >= 4.6 && < 5 , containers , megaparsec , monad-classes , mono-traversable , symantic-grammar , symantic , symantic-lib , 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 Grammar.EBNF -Wall -fno-warn-tabs -fprint-potential-instances main-is: Grammar/EBNF.hs default-language: Haskell2010 hs-source-dirs: Language/Symantic build-depends: base >= 4.6 && < 5 , containers , megaparsec , symantic-grammar , symantic , symantic-lib , transformers , tasty >= 0.11 , tasty-hunit , text