Preface_specs.Indexed_bind
An Indexed Bind
is an Indexed Monad
without return
function.
module type WITH_BIND = sig ... end
Minimal definition using bind
.
module type WITH_MAP_AND_JOIN = sig ... end
Minimal definition using map
and join
.
module type WITH_KLEISLI_COMPOSITION = sig ... end
Minimal definition using compose_left_to_right
.
module type WITH_MAP_AND_BIND = sig ... end
Minimal definition using map
and bind
.
module type WITH_MAP_AND_KLEISLI_COMPOSITION = sig ... end
Minimal definition using map
and compose_left_to_right
.
module type CORE = sig ... end
Basis operations.
module type OPERATION = sig ... end
Additional operations.
module type SYNTAX = sig ... end
Syntax extensions.
module type INFIX = sig ... end
Infix operators.
module type API = sig ... end
The complete interface of a Monad
.