semigroupoids
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. We describe the relationships between the type classes defined in this package and those from base (and some from contravariant) in the diagram below. Thick-bordered nodes correspond to type classes defined in this package; thin-bordered ones correspond to type classes from elsewhere. Solid edges indicate a subclass relationship that actually exists; dashed edges indicate a subclass relationship that should exist, but currently doesn't.
hackage.haskell.org
6.0.2
about 2 months ago
63
309,508 total
64
373
vec 0.5.1
Nat, Fin, Vec10 versions - Latest release: almost 2 years ago - 2 dependent packages - 12 dependent repositories - 6.51 thousand downloads total - 25 stars on GitHub - 1 maintainer
ral 0.2.2
Nat, Fin, Vec4 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 9.25 thousand downloads total - 25 stars on GitHub - 1 maintainer
monad-chronicle 1.0.2
An either-or-both data type, with corresponding hybrid error/writer monad transformer.5 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 1.5 thousand downloads total - 118 stars on GitHub - 1 maintainer
semialign 1.3.1
An either-or-both data type, with corresponding hybrid error/writer monad transformer.7 versions - Latest release: almost 2 years ago - 21 dependent packages - 48 dependent repositories - 32.9 thousand downloads total - 120 stars on GitHub - 1 maintainer
indexed-state 0.0.5
5 versions - Latest release: almost 2 years ago - 253 downloads total - 0 stars on gitlab.com - 1 maintainernonnonempty 0.0.1
1 version - Latest release: almost 2 years ago - 77 downloads total - 1 maintainerop2 0.0.3
3 versions - Latest release: almost 2 years ago - 160 downloads total - 1 maintainerkindly-functors 0.1.0.1 💰
A category polymorphic Functor typeclass.2 versions - Latest release: about 2 years ago - 148 downloads total - 11 stars on GitHub - 1 maintainer
eventuo11y-batteries 0.4.0.2
15 versions - Latest release: about 2 years ago - 1.12 thousand downloads total - 1 maintainerhls-code-range-plugin 2.6.0.0
10 versions - Latest release: about 2 years ago - 1 dependent package - 2.34 thousand downloads total - 1 maintainerglirc 2.40.1
Console IRC client glirc is a console IRC client with an emphasis on providing dynamic views int...54 versions - Latest release: about 2 years ago - 1 dependent package - 36.4 thousand downloads total - 165 stars on GitHub - 1 maintainer
multi-except 2.0.0
Succeed, or return one or more errors.10 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 1.4 thousand downloads total - 1 stars on GitHub - 1 maintainer
active 0.2.1
Active abstraction for animated things with finite start and end times.40 versions - Latest release: about 2 years ago - 2 dependent packages - 158 dependent repositories - 69 thousand downloads total - 5 maintainers
ordering-duplicates 0.1.0
3 versions - Latest release: over 2 years ago - 167 downloads total - 0 stars on gitlab.com - 1 maintainerfilepather 0.5.5
9 versions - Latest release: over 2 years ago - 1.66 thousand downloads total - 0 stars on gitlab.com - 1 maintainermonoidal-functors 0.2.3.0 💰
A library encoding monoidal functors and related structures in Haskell.6 versions - Latest release: over 2 years ago - 1 dependent package - 775 downloads total - 16 stars on GitHub - 1 maintainer
dlist-nonempty 0.1.3
Difference lists are a list-like type supporting O(1) append. This is particularly useful for eff...4 versions - Latest release: almost 3 years ago - 1 dependent package - 16 dependent repositories - 2.87 thousand downloads total - 4 stars on GitHub - 1 maintainer
short-vec 0.1.0.1
This provides performant length-indexed vectors with a suite of rewrite rules implementing fusion...2 versions - Latest release: almost 3 years ago - 2 dependent repositories - 417 downloads total - 1 stars on GitHub - 1 maintainer
box 0.9.1
This might be a profunctor effect system, but is unlike all the others, so it's hard to say for s...25 versions - Latest release: about 3 years ago - 5 dependent packages - 5.18 thousand downloads total - 4 stars on GitHub - 1 maintainer
free 5.1.10
Free monads are useful for many tree-like structures and domain specific languages. If f is a Fu...64 versions - Latest release: over 3 years ago - 57 dependent packages - 542 dependent repositories - 264 thousand downloads total - 161 stars on GitHub - 4 maintainers
purebred-email 0.5.1
A fast email parsing library implemented in Haskell15 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 4.71 thousand downloads total - 26 stars on GitHub - 2 maintainers
strict-list 0.1.7
Strict linked list implementation for Haskell15 versions - Latest release: almost 4 years ago - 2 dependent packages - 8 dependent repositories - 18.9 thousand downloads total - 4 stars on GitHub - 1 maintainer
numhask-space 0.6.1
haskell spaces24 versions - Latest release: over 5 years ago - 5 dependent packages - 7 dependent repositories - 4.42 thousand downloads total - 3 stars on GitHub - 1 maintainer
acc 0.1.3
Data structure intended for accumulating a sequence of elements for later traversal or folding. U...12 versions - Latest release: over 5 years ago - 2 dependent packages - 7 dependent repositories - 2.35 thousand downloads total - 8 stars on GitHub - 1 maintainer
reflex 0.6.4
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) use...39 versions - Latest release: about 6 years ago - 18 dependent packages - 95 dependent repositories - 22.1 thousand downloads total - 7 maintainers
digit 0.5.2
Digit is a data-type that represents the digits 0-9 and other combinations. [Index] [Quick Jum...28 versions - Latest release: almost 8 years ago - 3 dependent packages - 6 dependent repositories - 17.2 thousand downloads total - 5 stars on GitHub - 2 maintainers
invertible 0.2.0
Representations and operations for bidirectional arrows (total isomorphisms: an arrow paired with...12 versions - Latest release: about 9 years ago - 17 dependent repositories - 8.4 thousand downloads total - 1 maintainer
Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |