Over.Monad
type 'a t = 'a t
The type held by the Monad
.
include Preface_specs.Indexed_monad.WITH_RETURN
with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_monad.WITH_RETURN
with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_monad.WITH_RETURN
with type ('a, 'index) t := 'a t
val return : 'a -> 'a t
Lift a value into a t
.
Composing monadic functions using Kleisli Arrow (from right to left).
Lift a binary function that acts on arbitrary values into a function that acts t
values.
Lift a ternary function that acts on arbitrary values into a function that acts t
values.
Create a new t
, replacing all values of the given functor by given a value of 'a
.
module Infix :
Preface_specs.Indexed_monad.INFIX with type ('a, 'index) t := 'a t
Infix version of OPERATION
.compose_right_to_left.
Sequentially compose two actions, discarding any value produced by the first.
Sequentially compose two actions, discarding any value produced by the second.
Infix version of CORE
.map.
Flipped and infix version of CORE
.map.
Flipped and infix version of OPERATION
.replace.
module Syntax :
Preface_specs.Indexed_monad.SYNTAX with type ('a, 'index) t := 'a t
Syntactic shortcuts for flipped version of CORE
.bind:
let* x = e in f
is equals to bind (fun x -> f) e
.