Module Base.Option

type !'a t = 'a option =
  1. | None
  2. | Some of 'a
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val globalize : ('a -> 'a) -> 'a t -> 'a t
val t_sexp_grammar : 'a Sexplib0.Sexp_grammar.t -> 'a t Sexplib0.Sexp_grammar.t
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val invariant : ('a -> unit) -> 'a t -> unit
val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib0__.Sexp.t) -> 'a t -> Sexplib0__.Sexp.t
val both : 'a t -> 'b t -> ('a * 'b) t
val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
val (<*) : 'a t -> unit t -> 'a t
val (*>) : unit t -> 'a t -> 'a t
val apply : ('a -> 'b) t -> 'a t -> 'b t
val map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t
val map3 : 'a t -> 'b t -> 'c t -> f:('a -> 'b -> 'c -> 'd) -> 'd t
module Applicative_infix : sig ... end
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>>|) : 'a t -> ('a -> 'b) -> 'b t
module Monad_infix : sig ... end
val bind : 'a t -> f:('a -> 'b t) -> 'b t
val return : 'a -> 'a t
val map : 'a t -> f:('a -> 'b) -> 'b t
val join : 'a t t -> 'a t
val ignore_m : 'a t -> unit t
val all : 'a t list -> 'a list t
val all_unit : unit t list -> unit t
module Let_syntax : sig ... end
val value : 'a t -> default:'a -> 'a
val value_exn : ?here:Base__.Import.Stdlib.Lexing.position -> ?error:Base__.Info.t -> ?message:string -> 'a t -> 'a
val value_map : 'a t -> default:'b -> f:('a -> 'b) -> 'b
val value_or_thunk : 'a t -> default:(unit -> 'a) -> 'a
val fold : 'a t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'acc
val mem : 'a t -> 'a -> equal:('a -> 'a -> bool) -> bool
val length : 'a t -> int
val iter : 'a t -> f:('a -> unit) -> unit
val exists : 'a t -> f:('a -> bool) -> bool
val for_all : 'a t -> f:('a -> bool) -> bool
val find : 'a t -> f:('a -> bool) -> 'a option
val find_map : 'a t -> f:('a -> 'b option) -> 'b option
val to_list : 'a t -> 'a list
val to_array : 'a t -> 'a array
val call : 'a -> f:('a -> unit) t -> unit
val merge : 'a t -> 'a t -> f:('a -> 'a -> 'a) -> 'a t
val filter : 'a t -> f:('a -> bool) -> 'a t
val try_with : (unit -> 'a) -> 'a t
val try_with_join : (unit -> 'a t) -> 'a t
val some : 'a -> 'a t
val first_some : 'a t -> 'a t -> 'a t
val some_if : bool -> 'a -> 'a t
val is_none : 'a t -> bool
val is_some : 'a t -> bool
val is_empty : 'a t -> bool
  • deprecated [since 2019-07] Use [is_none] instead
val fold_result : 'a t -> init:'acc -> f:('acc -> 'a -> ('acc, 'e) result) -> ('acc, 'e) result
  • deprecated [since 2019-07] It is not a useful function
val fold_until : 'a t -> init:'acc -> f:('acc -> 'a -> ('acc, 'final) Base__.Container.Continue_or_stop.t) -> finish:('acc -> 'final) -> 'final
  • deprecated [since 2019-07] It is not a useful function
val min_elt : 'a t -> compare:('a -> 'a -> int) -> 'a option
  • deprecated [since 2019-07] Use [Fn.id] instead
val max_elt : 'a t -> compare:('a -> 'a -> int) -> 'a option
  • deprecated [since 2019-07] Use [Fn.id] instead
val count : 'a t -> f:('a -> bool) -> int
  • deprecated [since 2019-07] Use pattern matching instead
val sum : (module Base__Container_intf.Summable with type t = 'sum) -> 'a t -> f:('a -> 'sum) -> 'sum
  • deprecated [since 2019-07] Use [value_map ~default:Summable.zero ~f] instead