math/hs-kan-extensions - The NetBSD Packages Collection

Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads

This package provides tools for working with various Kan extensions and Kan
lifts in Haskell.

Among the interesting bits included are:
* Right and left Kan extensions (Ran and Lan)
* Right and left Kan lifts (Rift and Lift)
* Multiple forms of the Yoneda lemma (Yoneda)
* The Codensity monad, which can be used to improve the asymptotic
  complexity of code over free monads (Codensity, Density)
* A "comonad to monad-transformer transformer" that is a special case of a
  right Kan lift. (CoT, Co)

Build dependencies

pkgtools/mktools pkgtools/cwrappers

Runtime dependencies

math/hs-adjunctions math/hs-comonad math/hs-distributive devel/hs-tagged devel/hs-transformers-compat math/hs-contravariant math/hs-free math/hs-semigroupoids math/hs-profunctors math/hs-invariant lang/ghc92 math/hs-comonad math/hs-distributive devel/hs-tagged devel/hs-transformers-compat math/hs-contravariant math/hs-semigroupoids math/hs-profunctors

Binary packages

OSArchitectureVersion
NetBSD 10.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 10.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 8.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 8.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 9.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 9.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 9.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 9.0x86_64hs-kan-extensions-5.2.3nb1.tgz
NetBSD 9.0x86_64hs-kan-extensions-5.2.3nb1.tgz

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.

Available build options

(none)

Known vulnerabilities

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.


Problem reports, updates or suggestions for this package should be reported with send-pr.