| Value | Description |
|---|
val bind : ('a -> 'b option) -> 'a option -> 'b option | bind f inp evaluates to match inp with None -> None | Some x -> f x |
val exists : ('a -> bool) -> 'a option -> bool | exists p inp evaluates to match inp with None -> false | Some x -> p x |
val filter : ('a -> bool) -> 'a option -> 'a option | filter p inp evaluates to match inp with None -> None | Some x -> if p x then inp else None |
val fold_left : ('b -> 'a -> 'b) -> 'b -> 'a option -> 'b | fold_left f s inp evaluates to match inp with None -> s | Some x -> f s x |
val fold_right : ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b | fold_right f inp s evaluates to "match inp with None -> s | Some x -> f x s" |
val for_all : ('a -> bool) -> 'a option -> bool | forall p inp" evaluates to "match inp with None -> true | Some x -> p x |
val get : 'a option -> 'a |
Gets the value associated with the option. If the option is None then
raises Invalid_argument "Option.get"
|
val is_none : 'a option -> bool |
Returns true if the option is None
|
val is_some : 'a option -> bool |
Returns true if the option is not None
|
val iter : ('a -> unit) -> 'a option -> unit | iter f inp executes match inp with None -> () | Some x -> f x |
val length : 'a option -> int | length inp evaluates to match inp with None -> 0 | Some _ -> 1 |
val map : ('a -> 'b) -> 'a option -> 'b option | map f inp evaluates to match inp with None -> None | Some x -> Some (f x) |
val partition : ('a -> bool) -> 'a option -> 'a option * 'a option | partition p inp evaluates to
match inp with None -> None,None | Some x -> if p x then inp,None else None,inp |
val to_array : 'a option -> 'a array |
Convert the option to an array of length 0 or 1
|
val to_list : 'a option -> 'a list |
Convert the option to a list of length 0 or 1
|