BatResult.Monad
val bind : ('a, 'e) t -> ('a -> ('c, 'e) t) -> ('c, 'e) t
Monadic composition.
bind r f proceeds as f x if r is Ok x, or returns r if r is an error.
bind r f
f x
r
Ok x
val (>>=) : ('a, 'e) t -> ('a -> ('c, 'e) t) -> ('c, 'e) t
as bind
bind
val return : 'a -> ('a, _) t
Monadic return, just encapsulates the given value with Ok