@hackage boring dependencies

15 results

Concrete functor and monad transformers

Core data structures and operations

A Haskell 98 logically uninhabited data type

Vec: length-indexed (sized) list

A small compatibility shim for the transformers library

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Various Haskell 2010 stream comonads

Type level booleans

Anything that associates

Generic Programming using True Sums of Products

Nat and Fin: peano naturals and finite numbers

Decidable propositions.

Constraint manipulation

A compatibility layer for base

Adjunctions and representable functors