@hackage algebra dependencies

10 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

A Haskell 98 logically uninhabited data type

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Anything that associates

Semigroupoids: Category sans id

Tries from representations of polynomial functors