coapplicative-0.2.0.0: coapplicative.cabal
cabal-version: 3.4
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.
-- Initial package description 'coapplicative' generated by
-- 'cabal init'. For further documentation, see:
-- http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name: coapplicative
-- 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.2.0.0
-- A short (one-line) description of the package.
synopsis: Dualizes Applicative: covariant functors which can split and extract.
-- A longer description of the package.
description: Provides Splittable and Coapplicative classes.
Splittable functors are oplax monoidal functors over
Either/Void and support pattern-matching that preserves
the context.
Coapplicatives support this while also having extraction/
cocartesian costrength. Unlike the situation with cartesian
strength, not all functors support this natively.
Every Comonad can define an instance of Coapplicative,
but these need not agree with duplication, and need
not be unique due to the non-uniqueness of the costrength.
Instances are provided when they are compatible with
the existing Comonad instance.
Credit to Chris McKinlay's profunctor-optics for informing
the typeclass structure
-- The license under which the package is released.
license: MIT
-- The file containing the license text.
license-file: LICENSE
-- The package author(s).
author: J. Carr
-- An email address to which users can send suggestions, bug reports, and patches.
maintainer: jcarr250@protonmail.com
-- A copyright notice.
-- copyright:
category: Control
build-type: Simple
-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files: CHANGELOG.md
-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:
common warnings
ghc-options: -Wall
library
-- Import common warning flags.
import: warnings
-- Modules exported by the library.
exposed-modules: Control.Coapplicative, Control.Coapplicative.Traced
-- Modules included in this library but not exported.
-- other-modules:
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
-- Other library packages from which modules are imported.
build-depends: base ^>=4.20.2.0,
comonad ^>=5.0.0,
-- Directories containing source files.
hs-source-dirs: src
-- Base language which the package is written in.
default-language: Haskell2010
test-suite coapplicative-test
-- Import common warning flags.
import: warnings
-- Base language which the package is written in.
default-language: Haskell2010
-- Modules included in this executable, other than Main.
-- other-modules:
-- LANGUAGE extensions used by modules in this package.
-- other-extensions:
-- The interface type and version of the test suite.
type: exitcode-stdio-1.0
-- Directories containing source files.
hs-source-dirs: test
-- The entrypoint to the test suite.
main-is: Main.hs
-- Test dependencies.
build-depends:
base ^>=4.20.2.0,
coapplicative,
comonad,
hedgehog