package hack_parallel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t = 'a option
val is_none : 'a option -> bool
val is_some : 'a option -> bool
val value_map : 'a option -> default:'b -> f:('c -> 'd) -> 'e
val iter : 'a option -> f:('b -> unit) -> unit
val map2 : 'a option -> 'b option -> f:('c -> 'd -> 'e) -> 'f option
val call : 'a -> f:('b -> unit) option -> unit
val value : 'a option -> default:'b -> 'c
val to_array : 'a option -> 'b array
val to_list : 'a option -> 'b list
val min_elt : 'a -> cmp:'b -> 'c
val max_elt : 'a -> cmp:'b -> 'c
val sum : (module Hack_commutative_group.S with type t = 'a) -> 'b option -> f:('c -> 'a0) -> 'a0
val for_all : 'a option -> f:('b -> bool) -> bool
val exists : 'a option -> f:('b -> bool) -> bool
val mem : ?equal:('a -> 'a -> bool) -> 'b option -> 'c -> bool
val length : 'a option -> int
val is_empty : 'a option -> bool
val fold : 'a option -> init:'b -> f:('c -> 'd -> 'e) -> 'f
val count : 'a option -> f:('b -> bool) -> int
val find : 'a option -> f:('b -> bool) -> 'c option
val find_map : 'a option -> f:('b -> 'c option) -> 'c option
val equal : ('a -> 'b -> bool) -> 'c option -> 'd option -> bool
val some : 'a -> 'b option
val both : 'a option -> 'b option -> ('c * 'd) option
val first_some : 'a option -> 'a option -> 'a option
val some_if : bool -> 'a -> 'b option
val merge : 'a option -> 'a option -> f:('b -> 'c -> 'd) -> 'a option
val filter : 'a option -> f:('b -> bool) -> 'c option
val try_with : (unit -> 'a) -> 'b option
include sig ... end
val (>>=) : 'a option -> ('a0 -> 'b option) -> 'b0 option
val (>>|) : 'a option -> ('a0 -> 'b) -> 'b0 option
module Monad_infix : sig ... end
val bind : 'a option -> ('a0 -> 'b option) -> 'b0 option
val return : 'a -> 'a0 option
val map : 'a option -> f:('a0 -> 'b) -> 'b0 option
val join : 'a option option -> 'a0 option
val ignore : 'a option -> unit option
val all : 'a option list -> 'a0 list option
val all_ignore : unit option list -> unit option