CCOpt.Infix
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