val (>|=) : 'a t ‑> ('a ‑> 'b) ‑> 'b t
x >|= f is map f x.
x >|= f
map f x
val (>>=) : 'a t ‑> ('a ‑> 'b t) ‑> 'b t
Monadic bind.
val (<*>) : ('a ‑> 'b) t ‑> 'a t ‑> 'b t
f <*> (Some x) returns Some (f x) and f <*> None returns None.
f <*> (Some x)
Some (f x)
f <*> None
None
val (<$>) : ('a ‑> 'b) ‑> 'a t ‑> 'b t
Like map.
map
val (<+>) : 'a t ‑> 'a t ‑> 'a t
a <+> b is a if a is Some _, b otherwise.
a <+> b
a
Some _
b