symantic-lib-0.0.2.20170702: symantic-lib.cabal
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,
using <https://hackage.haskell.org/package/symantic symantic>.
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.2.20170702
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