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