Module TravestySource

Sourcemodule Bi_mappable : sig ... end

Mapping for containers with two element types.

module Bi_mappable_types : sig ... end

The main groups of signatures provided by this module are:

Sourcemodule Bi_traversable : sig ... end

Signatures and functors for containers and data structures that can be mapped across in two different ways with a monadic side-effect.

module Bi_traversable_types : sig ... end

The main groups of signatures provided by this module are:

Sourcemodule Container_exts : sig ... end

Extensions for containers.

module Container_exts_types : sig ... end

Extension signatures for containers.

Sourcemodule Filter_mappable : sig ... end

Simultaneous mapping and filtering.

module Filter_mappable_types : sig ... end

Signatures for filter-mapping.

module Generic_types : sig ... end

Generic type signatures.

Sourcemodule Mappable : sig ... end

Non-monadic mapping.

module Mappable_types : sig ... end

Signatures for (non-monadic) mapping.

Sourcemodule Monad_exts : sig ... end

Generic monad extensions.

module Monad_exts_types : sig ... end
Sourcemodule Monad_transform : sig ... end

Monad transformer signatures.

Sourcemodule State : sig ... end

Haskell-style state monads.

Sourcemodule State_transform : sig ... end

Haskell-style state transformers.

module State_transform_types : sig ... end
module State_types : sig ... end
Sourcemodule Traversable : sig ... end

Signatures and functors for containers and data structures that can be mapped across with a monadic side-effect.

module Traversable_types : sig ... end

The main groups of signatures provided by this module are: