Module Cf_seqmonad.Functor

Functor Module

This module defines monad functors that produce modules with functions that operate on sequences of monads.

module type Unary = sig ... end

The unary monad support module type.

module type Binary = sig ... end

The binary monad support module type.

module type Trinary = sig ... end

The trinary monad support module type.

module Core = Cf_monad_core

Aliases and inclusions.

module Unary (B : Core.Unary.Basis) : Unary with type 'r t = 'r B.t

The unary monad support composer.

module Binary (B : Core.Binary.Basis) : Binary with type ('m, 'r) t = ('m, 'r) B.t

The binary monad support composer.

module Trinary (B : Core.Trinary.Basis) : Trinary with type ('p, 'q, 'r) t = ('p, 'q, 'r) B.t

The trinary monad support composer.