@hackage adjunctions dependencies

13 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Mutable and immutable arrays

A Haskell 98 logically uninhabited data type

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Anything that associates

Semigroupoids: Category sans id

Monads for free

Distributive functors -- Dual to Traversable

Contravariant functors

Comonads