Packages tagged comonads
19 packages have this tag.
[Merge tag] (trustees only)Related tags: library (19), bsd3 (16), control (12), monads (5), data-structures (4), deprecated (4), functors (4), data (2), mit (2), bsd2 (1), enumerator (1), math (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
category-extras | 68 | 0.0 | 11 | A meta-package documenting various packages inspired by category theory | (bsd3, comonads, control, library, monads) | 2012-04-06 | 1.0.2 | DanDoel, DanielWagner, EdwardKmett, RussellOConnor |
comonad | 454 | 2.5 | 164 | Comonads | (bsd3, comonads, control, library) | 2020-12-30 | 5.0.8 | EdwardKmett, EricMertens, ryanglscott |
comonad-extras | 83 | 0.0 | 4 | Exotic comonad transformers | (bsd3, comonads, control, library) | 2020-02-21 | 4.0.1 | EdwardKmett |
comonad-transformers (deprecated in favor of comonad) | 81 | 0.0 | 34 | This package has been merged into comonad 4.0 | (bsd3, comonads, control, deprecated, library) | 2013-10-13 | 4.0 | EdwardKmett |
comonads-fd (deprecated in favor of comonad) | 140 | 0.0 | 10 | This package has been merged into comonad 4.0 | (bsd3, comonads, control, deprecated, library) | 2013-10-13 | 4.0 | EdwardKmett |
data-lens | 96 | 0.0 | 48 | Used to be Haskell 98 Lenses | (bsd3, comonads, control, library) | 2018-01-01 | 2.11.2 | EdwardKmett, RussellOConnor |
data-lens-fd | 32 | 0.0 | 9 | Lenses | (bsd3, comonads, control, library) | 2016-07-17 | 2.0.6 | EdwardKmett, RussellOConnor |
data-lens-ixset (deprecated in favor of data-store, tables, lens) | 18 | 0.0 | 1 | A Lens for IxSet | (bsd3, comonads, control, data-structures, deprecated, library) | 2012-01-15 | 0.1.4 | DagOdenhall |
day-comonoid | 4 | 0.0 | 1 | A comonoid w.r.t. Day | (bsd3, comonads, data-structures, functors, library) | 2023-10-15 | 0.1 | viercc |
folds | 64 | 2.0 | 5 | Beautiful Folding | (bsd3, comonads, data, enumerator, library) | 2022-05-18 | 0.7.8 | EdwardKmett, EricMertens, ryanglscott |
functor-monad | 13 | 0.0 | 0 | FFunctor: functors on (the usual) Functors | (bsd3, comonads, functors, library, monads) | 2024-09-29 | 0.1.1.1 | viercc |
graphted | 19 | 0.0 | 1 | Graph indexed monads. | (bsd3, comonads, control, library, monads) | 2017-05-09 | 0.3.1.0 | AaronFriel |
kan-extensions | 421 | 2.25 | 44 | Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads | (bsd3, comonads, data-structures, functors, library, monads) | 2024-05-04 | 5.2.6 | EdwardKmett, EricMertens, ryanglscott |
partial-lens (deprecated in favor of data-lens) | 6 | 0.0 | 1 | Haskell 98 Partial Lenses | (comonads, control, deprecated, library, mit) | 2011-12-21 | 0.0.1 | RussellOConnor |
representable-tries | 104 | 0.0 | 2 | Tries from representations of polynomial functors | (bsd3, comonads, data-structures, functors, library, monads) | 2013-01-06 | 3.0.2 | EdwardKmett |
rivers | 6 | 0.0 | 1 | Rivers are like Streams, but different. | (bsd3, comonads, data, library, math) | 2011-12-04 | 0.1.0 | DrewDay |
semigroupoids | 636 | 2.5 | 207 | Semigroupoids: Category sans id | (bsd2, comonads, control, library) | 2024-05-04 | 6.0.1 | EdwardKmett, EricMertens, ryanglscott |
streams | 168 | 2.0 | 9 | Various Haskell 2010 stream comonads | (bsd3, comonads, control, library) | 2023-03-12 | 3.3.2 | EdwardKmett, ryanglscott |
zipper-extra | 38 | 0.0 | 2 | Zipper utils that weren't in Control.Comonad.Store.Zipper | (comonads, library, mit) | 2020-08-28 | 0.1.3.2 | locallycompact |