@hackage algebra dependencies

11 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

Reifies arbitrary terms into types that can be reflected back into terms