Free_monad.API
The complete interface of a Free monad
.
The type held by the Preface_specs.Functor
.
A Free monad
is also a Preface_specs.Functor
.
module Functor : Functor.API with type 'a t = 'a t
A Free monad
is also an Preface_specs.Applicative
.
module Applicative : Applicative.API with type 'a t = 'a t
A Free monad
is also an Preface_specs.Selective
.
module Selective : Selective.API with type 'a t = 'a t
A Free monad
is also (obviously) a Preface_specs.Monad
.
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
include 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 : 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 : 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
.