@hackage ComonadSheet dependencies

11 results

Concrete functor and monad transformers

Assorted concrete container types

Core data structures and operations

Distributive functors -- Dual to Traversable

Comonads

Applicative-based numeric instances

Bidirectionally infinite streams, akin to the tape of a Turing machine.

A library for manipulating infinite lists.

GADT type witnesses for Peano-style natural numbers.

Nested composition of functors with a type index tracking nesting.

Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous.