Module type Monad_intf.S
include S_without_syntax with type 'a t := 'a t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
t >>= f
returns a computation that sequences the computations represented by two monad elements. The resulting computation first doest
to yield a valuev
, and then runs the computation returned byf v
.
module Monad_infix : sig ... end
val return : 'a -> 'a t
return v
returns the (trivial) computation that returns v.
include Syntax with type 'a t := 'a t
module Let_syntax : sig ... end