Module OptionSource

Option helper functions

Sourceval bind : 'a option -> ('a -> 'b option) -> 'b option
Sourceval fmap : ('a -> 'b) -> 'a option -> 'b option
Sourceval iter : ('a -> unit) -> 'a option -> unit
Sourceval join : 'a option option -> 'a option
Sourceval either : ('a -> 'b) -> 'b -> 'a option -> 'b
Sourceval lazy_default : 'a Lazy.t -> 'a option -> 'a
Sourceval default : 'a -> 'a option -> 'a
Sourceval (>>|) : 'a option -> ('a -> 'b) -> 'b option

Monadic operators

Sourceval (>>=) : 'a option -> ('a -> 'b option) -> 'b option
Sourceval (>>) : 'a option -> 'b option -> 'b option
Sourceval (|||) : 'a option -> 'a option Lazy.t -> 'a option
Sourceval (><) : 'a option -> 'a -> 'a
Sourceval (&&) : 'a option -> 'b option -> ('a * 'b) option
Sourcemodule List' : sig ... end