cabal-version: 3.4
name: comonad-coactions
-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 0.1.0.0
synopsis: Coactions of comonads on functors
description:
This package defines classes for left and right coactions of
comonads on functors.
license: AGPL-3.0-or-later
license-file: LICENSE
author: noiioiu
maintainer: noiioiu@cocaine.ninja
homepage: https://codeberg.org/noiioiu/comonad-coactions
category: Control,
Comonads
build-type: Simple
extra-doc-files: CHANGELOG.md
common warnings
ghc-options: -Wall
source-repository head
type: git
location: ssh://git@codeberg.org/noiioiu/comonad-coactions.git
library
import: warnings
exposed-modules: Control.Comonad.Coaction,
Control.Comonad.TransformerStack,
Control.Comonad.Coaction.Left,
Control.Comonad.Coaction.Right,
other-modules: Control.Comonad.Coaction.TH
build-depends: base >= 4.20.2 && < 4.21,
comonad >= 5.0.10 && < 5.1,
kan-extensions >= 5.2.8 && < 5.3,
free >= 5.2 && < 5.3,
template-haskell >= 2.22.0 && < 2.23,
adjunctions >= 4.4.4 && < 4.5,
hs-source-dirs: src
default-language: GHC2021
flag examples
description: Build examples
default: False
manual: True
executable ca
import: warnings
if !flag(examples)
buildable: False
default-language: GHC2021
hs-source-dirs: examples
main-is: ElementaryCA.hs
build-depends:
comonad-coactions,
base >= 4.20.2 && < 4.21,
comonad >= 5.0.10 && < 5.1,
finite-typelits >= 0.2.1 && < 0.3,
random >= 1.3.1 && < 1.4,
terminal-size >= 0.3.4 && < 0.4,
vector-sized >= 1.6.1 && < 1.7,
executable life
import: warnings
if !flag(examples)
buildable: False
default-language: GHC2021
hs-source-dirs: examples
main-is: Life.hs
ghc-options: -threaded -rtsopts -fplugin GHC.TypeLits.KnownNat.Solver
build-depends:
comonad-coactions,
adjunctions >= 4.4.4 && < 4.5,
base >= 4.20.2 && < 4.21,
clock >= 0.8.4 && < 0.9,
comonad >= 5.0.10 && < 5.1,
constraints >= 0.14.4 && < 0.15,
distributive >= 0.6.3 && < 0.7,
finite-typelits >= 0.2.1 && < 0.3,
ghc-typelits-knownnat >= 0.8.2 && < 0.9,
ki >= 1.0.1 && < 1.1,
random >= 1.3.1 && < 1.4,
termbox-tea >= 1.0.0 && < 1.1,
vector-sized >= 1.6.1 && < 1.7,
test-suite comonad-coactions-test
import: warnings
default-language: GHC2021
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends:
base,
comonad,
comonad-coactions,
containers,
QuickCheck,
checkers,
tasty,
tasty-quickcheck