travesty

Traversable containers, monad extensions, and more
IN THIS PACKAGE

Mappable and traversable

module type Generic = sig ... end

Generic defines the types used in arity-generic container-like signatures.

module type S0 = sig ... end

S0 defines the types used in arity-0 container-like signatures.

There is no S1, as Core's T1 has the same effect.

Bi-mappable and bi-traversable

module type Bi_generic = sig ... end

Types used in generic signatures over bi-operations.

module type Bi_left = sig ... end

Types used in leftwards arity-1 bi-operation signatures.

module type Bi_right = sig ... end

Types used in rightwards arity-1 bi-operation signatures.

module type Bi0 = sig ... end

Types used in arity-0 bi-operation signatures.

There is no Bi2, as Core's T2 has the same effect.