Module Option


module Option: sig .. end
Options form a monad, where return x = Some x None >>= f = None Some x >>= f = f x

type 'a t = 'a option 
include Container.S1
include Monad.S
Options form a monad, where return x = Some x None >>= f = None Some x >>= f = f x
include Sexpable.S1
val is_none : 'a t -> bool
is_none t returns true iff t = None.
val is_some : 'a t -> bool
is_some t returns true iff t = Some x.
val map : 'a t -> f:('a -> 'b) -> 'b t
map o f map 'a option to a 'b option using ~f
val call : 'a -> f:('a -> unit) t -> unit
call x f run optional function on argument
val apply : 'a -> f:('a -> 'b) t -> 'b t
apply x f run optional function on argument and return an option
val value : 'a t -> default:'a -> 'a
value None ~default = default value (Some x) ~default = x
val value_exn : 'a t -> 'a
value_exn (Some x) = x. value_exn None raises an exception.
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool