hack_parallel

Parallel and shared memory library
Library hack_parallel.hack_core
Module Hack_option
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
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