Packages tagged comonads

17 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (17), bsd3 (14), control (12), deprecated (4), monads (4), data-structures (3), data (2), functors (2), mit (2), bsd2 (1), enumerator (1), math (1)

Rev Deps
Last U/L
Last Version
category-extras500.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
comonad3442.5160Comonads (bsd3, comonads, control, library)2020-12-305.0.8EdwardKmett, EricMertens, ryanglscott
comonad-extras610.04Exotic comonad transformers (bsd3, comonads, control, library)2020-02-214.0.1EdwardKmett
comonad-transformers (deprecated in favor of comonad)750.034This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
comonads-fd (deprecated in favor of comonad)410.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
data-lens610.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd300.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)80.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
folds512.05Beautiful Folding (bsd3, comonads, data, enumerator, library)2022-05-180.7.8EdwardKmett, EricMertens, ryanglscott
graphted170.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-
kan-extensions4012.2540Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads (bsd3, comonads, data-structures, functors, library, monads)2022-06-265.2.5EdwardKmett, EricMertens, ryanglscott
partial-lens (deprecated in favor of data-lens)30.01Haskell 98 Partial Lenses (comonads, control, deprecated, library, mit)2011-12-210.0.1RussellOConnor
representable-tries770.02Tries from representations of polynomial functors (bsd3, comonads, data-structures, functors, library, monads)2013-01-063.0.2EdwardKmett
rivers40.01Rivers are like Streams, but different. (bsd3, comonads, data, library, math)2011-12-040.1.0DrewDay
semigroupoids5802.5196Semigroupoids: Category sans id (bsd2, comonads, control, library)2023-03-, EricMertens, ryanglscott
streams1012.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2023-03-123.3.2EdwardKmett, ryanglscott
zipper-extra220.02Zipper utils that weren't in Control.Comonad.Store.Zipper (comonads, library, mit)2020-08-