package links

  1. Overview
  2. Docs
type 'a t = 'a option
val iter : 'a t -> f:('a -> unit) -> unit
val bind : 'a t -> f:('a -> 'b t) -> 'b t
val map : 'a t -> f:('a -> 'b) -> 'b t
val map2 : 'a option -> 'b option -> f:('a -> 'b -> 'c) -> 'c option
val combine : 'a t -> 'a t -> f:('a -> 'a -> 'a) -> 'a option

If only one of the inputs has a value, that value is returned. Otherwise the result of f applied to the underlying values is returned.

val value : 'a t -> default:'a -> 'a

Get the underlying value of an option type or return default

val value_exn : ?exn:exn -> 'a t -> 'a

Unpack the option value or throw an exception if it is None.

val return : 'a -> 'a t

Return a constant value as a Some.

val is_some : 'a t -> bool

Return true if the option value contains a value.

val is_none : 'a t -> bool

Return true if the option value is none.

val negate : 'b option -> value:'a -> 'a option
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool