free-algebras-0.0.4.0: free-algebras.cabal
-- This file has been generated from package.yaml by hpack version 0.28.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: d8b73793975417d05559e647f1e6239464f6261be7191fbb8ec438df38ca6548
name: free-algebras
version: 0.0.4.0
synopsis: Free algebras in Haskell.
description: Universal algebra approach to free algebras including higher kinded algebraic structures like functors, applicative functors or monads.
category: Algebra, Control, Monads
homepage: https://github.com/coot/free-algebras#readme
bug-reports: https://github.com/coot/free-algebras/issues
author: Marcin Szamotulski
maintainer: profunctor@pm.me
copyright: (c) 2018 Marcin Szamotulski
license: MPL-2.0
license-file: LICENSE
build-type: Simple
cabal-version: >= 1.10
extra-source-files:
ChangeLog.md
README.md
source-repository head
type: git
location: https://github.com/coot/free-algebras
flag develop
description: Set -Werror flag
manual: True
default: False
flag documentation
description: Add dependecies to link documentation
manual: True
default: False
library
exposed-modules:
Control.Algebra.Free
Control.Monad.Action
Data.Algebra.Free
Data.Algebra.Pointed
Data.Group.Free
Data.Monoid.Abelian
Data.Monoid.MSet
Data.Semigroup.Abelian
Data.Semigroup.SemiLattice
Data.Semigroup.SSet
other-modules:
Paths_free_algebras
hs-source-dirs:
src
default-extensions: ConstraintKinds DataKinds DeriveFunctor EmptyDataDecls FlexibleInstances FlexibleContexts KindSignatures InstanceSigs MultiParamTypeClasses OverloadedStrings PolyKinds RankNTypes ScopedTypeVariables TupleSections TypeApplications TypeFamilies
build-depends:
base >=4.11 && <5
, constraints
, containers
, data-fix
, free
, groups
, kan-extensions
, mtl
, natural-numbers
, transformers
if flag(develop)
ghc-options: -Werror -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-deprecations
else
ghc-options: -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-deprecations
if flag(documentation)
build-depends:
base >=4.11 && <5
, constraints
, containers
, data-fix
, free
, groups
, kan-extensions
, mmorph
, mtl
, natural-numbers
, transformers
else
build-depends:
base >=4.11 && <5
, constraints
, containers
, data-fix
, free
, groups
, kan-extensions
, mtl
, natural-numbers
, transformers
default-language: Haskell2010
test-suite free-algebras-test
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules:
Test.Control.Algebra.Free
Test.Data.Algebra.Free
Paths_free_algebras
hs-source-dirs:
test
default-extensions: ConstraintKinds DataKinds DeriveFunctor EmptyDataDecls FlexibleInstances FlexibleContexts KindSignatures InstanceSigs MultiParamTypeClasses OverloadedStrings PolyKinds RankNTypes ScopedTypeVariables TupleSections TypeApplications TypeFamilies
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.11 && <5
, constraints
, containers
, data-fix
, free
, free-algebras
, groups
, hedgehog
, kan-extensions
, mtl
, natural-numbers
, transformers
default-language: Haskell2010