math/hs-semigroupoids - The NetBSD Packages Collection

Semigroupoids: Category sans id

Provides a wide array of (semi)groupoids and operations for working with them.

A Semigroupoid is a Category without the requirement of identity arrows
for every object in the category.

A Category is any Semigroupoid for which the Yoneda lemma holds.

When working with comonads you often have the <*> portion of an Applicative,
but not the pure. This was captured in Uustalu and Vene's
"Essence of Dataflow Programming" in the form of the ComonadZip class
in the days before Applicative. Apply provides a weaker invariant,
but for the comonads used for data flow programming
(found in the streams package), this invariant is preserved.
Applicative function composition forms a semigroupoid.

Similarly many structures are nearly a comonad, but not quite,
for instance lists provide a reasonable extend operation in the form of tails,
but do not always contain a value.

Build dependencies

pkgtools/cwrappers devel/pkgconf

Runtime dependencies

lang/ghc88 devel/hs-base-orphans math/hs-bifunctors math/hs-comonad devel/hs-tagged devel/hs-transformers-compat math/hs-semigroups devel/hs-hashable devel/hs-unordered-containers math/hs-distributive math/hs-contravariant lang/ghc88 devel/hs-hashable devel/hs-unordered-containers

Binary packages

OSArchitectureVersion
NetBSD 8.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 8.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.tgz
NetBSD 9.0x86_64hs-semigroupoids-5.3.4.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.