name: compositional-data
version: 0.1.0.0
synopsis: Compositional Data Types
description: Modular data types defined as fixpoints, and term homomorphisms, like compdata package but with cleaner API
license: BSD3
license-file: LICENSE
author: M Farkas-Dyck
maintainer: strake888@gmail.com
copyright: 2018 M Farkas-Dyck
category: Data
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
library
hs-source-dirs: src
exposed-modules: Control.Monad.Trans.Fresh
, Data.Comp.Equality
, Data.Comp.Show
, Data.Comp.Term
other-modules: Prelude
build-depends: base >= 4.7 && < 5
, bifunctor >= 0.1 && < 0.2
, category >= 0.2.0.1 && < 0.3
, transformers >= 0.5 && < 0.6
, util >= 0.1.11 && < 0.2
default-language: Haskell2010
default-extensions: UnicodeSyntax
, LambdaCase
, EmptyCase
, InstanceSigs
, PartialTypeSignatures
, RankNTypes
, PolyKinds
, ConstraintKinds
, FlexibleContexts
, FlexibleInstances
, MultiParamTypeClasses
, MonadComprehensions
, DerivingStrategies
, StandaloneDeriving
, GeneralizedNewtypeDeriving
, DeriveFunctor, DeriveFoldable, DeriveTraversable
, PackageImports
ghc-options: -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
-Wincomplete-record-updates -Wincomplete-uni-patterns
-Werror=incomplete-patterns
-Werror=incomplete-uni-patterns
-Werror=incomplete-record-updates
-Werror=missing-fields
-Werror=missing-methods
-Wno-partial-type-signatures
-Wno-unticked-promoted-constructors
test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends: base >=4.11 && <5
, smallcheck >=1.1.4
, tasty >=1.0
, tasty-smallcheck >=0.8
, c
default-language: Haskell2010
default-extensions: UnicodeSyntax
, LambdaCase
, EmptyCase
, InstanceSigs
, PartialTypeSignatures
, PolyKinds
, ConstraintKinds
, FlexibleContexts
, FlexibleInstances
, MonadComprehensions
, StandaloneDeriving
, DeriveFunctor, DeriveFoldable, DeriveTraversable
ghc-options: -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
-Wincomplete-record-updates -Wincomplete-uni-patterns
-Werror=incomplete-patterns
-Werror=incomplete-uni-patterns
-Werror=incomplete-record-updates
-Werror=missing-fields
-Werror=missing-methods
benchmark bench
type: exitcode-stdio-1.0
hs-source-dirs: bench
main-is: Main.hs
build-depends: base >=4.11 && <5
, criterion >=1.4.1
, c
default-language: Haskell2010
default-extensions: UnicodeSyntax
, LambdaCase
, EmptyCase
, InstanceSigs
, PartialTypeSignatures
, PolyKinds
, ConstraintKinds
, FlexibleContexts
, FlexibleInstances
, MonadComprehensions
, StandaloneDeriving
, DeriveFunctor, DeriveFoldable, DeriveTraversable
ghc-options: -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
-Wincomplete-record-updates -Wincomplete-uni-patterns
-Werror=incomplete-patterns
-Werror=incomplete-uni-patterns
-Werror=incomplete-record-updates
-Werror=missing-fields
-Werror=missing-methods
source-repository head
type: git
location: https://github.com/githubuser/c.hs