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-extras540.011A meta-package documenting various packages inspired by category theory (bsd3, comonads, control, library, monads)2012-04-061.0.2DanDoel, DanielWagner, EdwardKmett, RussellOConnor
comonad3402.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)770.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)430.010This package has been merged into comonad 4.0 (bsd3, comonads, control, deprecated, library)2013-10-134.0EdwardKmett
data-lens550.048Used to be Haskell 98 Lenses (bsd3, comonads, control, library)2018-01-012.11.2EdwardKmett, RussellOConnor
data-lens-fd310.09Lenses (bsd3, comonads, control, library)2016-07-172.0.6EdwardKmett, RussellOConnor
data-lens-ixset (deprecated in favor of data-store, tables, lens)100.01A Lens for IxSet (bsd3, comonads, control, data-structures, deprecated, library)2012-01-150.1.4DagOdenhall
folds412.05Beautiful Folding (bsd3, comonads, data, enumerator, library)2022-05-180.7.8EdwardKmett, EricMertens, ryanglscott
graphted190.01Graph indexed monads. (bsd3, comonads, control, library, monads)2017-05-
kan-extensions4042.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-tries800.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
semigroupoids5932.5196Semigroupoids: Category sans id (bsd2, comonads, control, library)2023-03-, EricMertens, ryanglscott
streams1032.09Various Haskell 2010 stream comonads (bsd3, comonads, control, library)2023-03-123.3.2EdwardKmett, ryanglscott
zipper-extra210.02Zipper utils that weren't in Control.Comonad.Store.Zipper (comonads, library, mit)2020-08-