package travesty
Legend:
Library
Module
Module type
Parameter
Class
Class type

Generic type signatures.

Types_intf contains several signatures that contain types for container-like structures. These are intended for inclusion in other signatures.

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.