package hack_parallel

You can search for identifiers within the package.

in-package search v0.2.0

Module `Hack_option`Source

Sourcetype 'a t = 'a option

Sourceval is_none : 'a option -> bool

Sourceval is_some : 'a option -> bool

Sourceval value_map : 'a option -> default:'b -> f:('a -> 'b) -> 'b

Sourceval iter : 'a option -> f:('a -> unit) -> unit

Sourceval map2 : 'a option -> 'b option -> f:('a -> 'b -> 'c) -> 'c option

Sourceval call : 'a -> f:('a -> unit) option -> unit

Sourceval value : 'a option -> default:'a -> 'a

Sourceval to_array : 'a option -> 'a array

Sourceval to_list : 'a option -> 'a list

Sourceval min_elt : 'a -> cmp:'b -> 'a

Sourceval max_elt : 'a -> cmp:'b -> 'a

val sum : 
  (module Hack_commutative_group.S with type t = 'a) ->
  'b option ->
  f:('b -> 'a) ->
  'a

Sourceval for_all : 'a option -> f:('a -> bool) -> bool

Sourceval exists : 'a option -> f:('a -> bool) -> bool

Sourceval mem : ?equal:('a -> 'a -> bool) -> 'a option -> 'a -> bool

Sourceval length : 'a option -> int

Sourceval is_empty : 'a option -> bool

Sourceval fold : 'a option -> init:'b -> f:('b -> 'a -> 'b) -> 'b

Sourceval count : 'a option -> f:('a -> bool) -> int

Sourceval find : 'a option -> f:('a -> bool) -> 'a option

Sourceval find_map : 'a option -> f:('a -> 'b option) -> 'b option

Sourceval equal : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool

Sourceval some : 'a -> 'a option

Sourceval both : 'a option -> 'b option -> ('a * 'b) option

Sourceval first_some : 'a option -> 'a option -> 'a option

Sourceval some_if : bool -> 'a -> 'a option

Sourceval merge : 'a option -> 'a option -> f:('a -> 'a -> 'a) -> 'a option

Sourceval filter : 'a option -> f:('a -> bool) -> 'a option

Sourceval try_with : (unit -> 'a) -> 'a option

include sig ... end

Sourceval (>>=) : 'a option -> ('a -> 'b option) -> 'b option

Sourceval (>>|) : 'a option -> ('a -> 'b) -> 'b option

Sourcemodule Monad_infix : sig ... end

Sourceval bind : 'a option -> ('a -> 'b option) -> 'b option

Sourceval return : 'a -> 'a option

Sourceval map : 'a option -> f:('a -> 'b) -> 'b option

Sourceval join : 'a option option -> 'a option

Sourceval ignore : 'a option -> unit option

Sourceval all : 'a option list -> 'a list option

Sourceval all_ignore : unit option list -> unit option