links

The Links Programming Language
IN THIS PACKAGE
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