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 . extra-doc-files: license: GPL-3 license-file: COPYING stability: experimental author: Julien Moutinho maintainer: Julien Moutinho bug-reports: Julien Moutinho -- 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