@hackage bowtie dependencies

11 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

A modern, easy to use, well-documented, extensible pretty-printer.

Optics as an abstract interface

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

Dependent finite maps (partial dependent products)

Comonads

Bifunctors