@hackage / kan-extensions

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Dependencies

library:kan-extensions (12 dependencies)

@hackage / semigroupoids Semigroupoids: Category sans id
- Version: >=4 && <6
- License: BSD-2-Clause
@hackage / comonad Comonads
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / adjunctions Adjunctions and representable functors
- Version: >=4.2 && <5
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.4 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.3.0.2 && <0.6
- License: BSD-3-Clause
@hackage / distributive Distributive functors -- Dual to Traversable
- Version: >=0.2.2 && <1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0.1 && <2.3
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2 && <0.6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / contravariant Contravariant functors
- Version: >=1 && <2
- License: BSD-3-Clause
@hackage / free Monads for free
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.7.2 && <1
- License: BSD-3-Clause