package links

  1. Overview
  2. Docs
exception EmptyOption
val val_of : 'a option -> 'b
val is_some : 'a option -> bool
val opt_app : ('a -> 'b) -> 'c -> 'd option -> 'e
val opt_map : ('a -> 'b) -> 'c option -> 'd option
val opt_bind : ('a -> 'b option) -> 'c option -> 'b option
val opt_split : ('a * 'b) option -> 'c option * 'd option
val opt_iter : ('a -> 'b) -> 'a option -> unit
val from_option : 'a -> 'b option -> 'c
val perhaps_apply : ('a -> 'b option) -> 'c -> 'd
val opt_as_list : 'a option -> 'b list
val opt_sequence : 'a option list -> 'a list option
val some : 'a -> 'a option
val (>>=?) : 'a option -> ('a -> 'b option) -> 'b option
val (||=?) : 'a option -> 'a option -> 'a option
val (>>==?) : 'a list -> ('a0 -> 'a0 option) -> 'a1 list option
val map_tryPick : (StringMap.key -> 'a -> 'b option) -> 'c StringMap.t -> 'b option
val list_tryPick : ('a -> 'b option) -> 'c list -> 'b option