Odoc_xref2.Utils
module ResultMonad : sig ... end
The result type and a bind operator. This module is meant to be opened.
result
module OptionMonad : sig ... end
A bind operator for the option type. This module is meant to be opened.
option
module EitherMonad : sig ... end
val concat_map : 'a list -> ('b -> 'c list) -> 'd list -> 'a list
val filter_map : 'a list -> ('b -> 'c option) -> 'd list -> 'a list
val option_value : default:'a -> 'b option -> 'c