@hackage bowtie dependencies

10 results

Monad classes for transformers, using functional dependencies

Core data structures and operations

Existential type: Some

Semigroupoids: Category sans id

Representing common recursion patterns as higher-order functions

Optics as an abstract interface

Non-empty variants of containers data types, with full API

Dependent finite maps (partial dependent products)

Comonads

Bifunctors