package hack_parallel

  1. Overview
  2. Docs
package hack_parallel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hack_core.ListSource

include module type of struct include Hack_core_list end
Sourcemodule UnlabeledList = Hack_core_list.UnlabeledList
Sourceval invalid_argf : ('a, unit, string, unit -> 'b) format4 -> 'a
include module type of struct include T end
Sourcetype 'a t = 'a list
Sourceval of_list : 'a -> 'a
Sourceval range : ?stride:int -> ?start:[< `exclusive | `inclusive inclusive ] -> ?stop:[< `exclusive | `inclusive exclusive ] -> int -> int -> int list
Sourceval length : 'a list -> int
Sourceval hd_exn : 'a list -> 'a
Sourceval tl_exn : 'a list -> 'a list
Sourceval hd : 'a list -> 'a option
Sourceval tl : 'a list -> 'a list option
Sourceval nth : 'a list -> int -> 'a option
Sourceval nth_exn : 'a list -> int -> 'a
Sourceval rev_append : 'a list -> 'a list -> 'a list
Sourceval rev : 'a list -> 'a list
Sourceval unordered_append : 'a list -> 'a list -> 'a list
Sourceval rev_map : 'a list -> f:('a -> 'b) -> 'b list
Sourceexception Length_mismatch of string * int * int
Sourceval check_length2 : string -> 'a list -> 'b list -> unit
Sourceval check_length3 : string -> 'a list -> 'b list -> 'c list -> unit
Sourceval iter2_exn : 'a list -> 'b list -> f:('a -> 'b -> unit) -> unit
Sourceval rev_map2_exn : 'a list -> 'b list -> f:('a -> 'b -> 'c) -> 'c list
Sourceval fold2_exn : 'a list -> 'b list -> init:'c -> f:('c -> 'a -> 'b -> 'c) -> 'c
Sourceval for_all2_exn : 'a list -> 'b list -> f:('a -> 'b -> bool) -> bool
Sourceval exists2_exn : 'a list -> 'b list -> f:('a -> 'b -> bool) -> bool
Sourceval mem : ?equal:('a -> 'a -> bool) -> 'a list -> 'a -> bool
Sourceval assq : 'a -> ('a * 'b) list -> 'b
Sourceval rev_filter : 'a list -> f:('a -> bool) -> 'a list
Sourceval filter : 'a list -> f:('a -> bool) -> 'a list
Sourceval sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
Sourceval stable_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
Sourceval fast_sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list
Sourceval sort_uniq : cmp:('a -> 'a -> int) -> 'a list -> 'a list
Sourceval find_map : 'a list -> f:('a -> 'b option) -> 'b option
Sourceval find : 'a list -> f:('a -> bool) -> 'a option
Sourceval find_exn : 'a list -> f:('a -> bool) -> 'a
Sourceval findi : 'a list -> f:(int -> 'a -> bool) -> (int * 'a) option
Sourceval exists : 'a list -> f:('a -> bool) -> bool

changing the order of arguments on some standard List functions.

Sourceval for_all : 'a list -> f:('a -> bool) -> bool
Sourceval iter : 'a list -> f:('a -> unit) -> unit
Sourceval fold : 'a list -> init:'b -> f:('b -> 'a -> 'b) -> 'b

For the container interface.

Sourceval fold_left : 'a list -> init:'b -> f:('b -> 'a -> 'b) -> 'b
Sourceval to_array : 'a list -> 'a array
Sourceval to_list : 'a -> 'a

Tail recursive versions of standard List module

Sourceval slow_append : 'a list -> 'a list -> 'a list
Sourceval count_append : 'a list -> 'a list -> int -> 'a list
Sourceval append : 'a list -> 'a list -> 'a list
Sourceval map_slow : 'a list -> f:('a -> 'b) -> 'b list
Sourceval count_map : f:('a -> 'b) -> 'a list -> int -> 'b list
Sourceval map : 'a list -> f:('a -> 'b) -> 'b list
Sourceval (>>|) : 'a list -> ('a -> 'b) -> 'b list
Sourceval map2_exn : 'a list -> 'b list -> f:('a -> 'b -> 'c) -> 'c list
Sourceval rev_map3_exn : 'a list -> 'b list -> 'c list -> f:('a -> 'b -> 'c -> 'd) -> 'd list
Sourceval map3_exn : 'a list -> 'b list -> 'c list -> f:('a -> 'b -> 'c -> 'd) -> 'd list
Sourceval rev_map_append : 'a list -> 'b list -> f:('a -> 'b) -> 'b list
Sourceval fold_right : 'a list -> f:('a -> 'b -> 'b) -> init:'b -> 'b
Sourceval unzip : ('a * 'b) list -> 'a list * 'b list
Sourceval zip_exn : 'a list -> 'b list -> ('a * 'b) list
Sourceval zip : 'a list -> 'b list -> ('a * 'b) list option

Additional list operations

Sourceval rev_mapi : 'a list -> f:(int -> 'a -> 'b) -> 'b list
Sourceval mapi : 'a list -> f:(int -> 'a -> 'b) -> 'b list
Sourceval iteri : 'a list -> f:(int -> 'a -> 'b) -> unit
Sourceval foldi : 'a list -> f:(int -> 'b -> 'a -> 'b) -> init:'b -> 'b
Sourceval filteri : 'a list -> f:(int -> 'a -> bool) -> 'a list
Sourceval reduce : 'a list -> f:('a -> 'a -> 'a) -> 'a option
Sourceval reduce_exn : 'a list -> f:('a -> 'a -> 'a) -> 'a
Sourceval groupi : 'a list -> break:(int -> 'a -> 'a -> bool) -> 'a list list
Sourceval group : 'a list -> break:('a -> 'a -> bool) -> 'a list list
Sourceval concat_map : 'a list -> f:('a -> 'b list) -> 'b list
Sourceval concat_mapi : 'a list -> f:(int -> 'a -> 'b list) -> 'b list
Sourceval merge : 'a list -> 'a list -> cmp:('a -> 'a -> int) -> 'a list
include sig ... end
Sourceval ignore : 'a list -> unit list
Sourceval join : 'a list list -> 'a list
Sourceval bind : 'a list -> ('a -> 'b list) -> 'b list
Sourceval (>>=) : 'a list -> ('a -> 'b list) -> 'b list
Sourceval return : 'a -> 'a list
Sourceval all : 'a list list -> 'a list list
Sourceval all_ignore : unit list list -> unit list
Sourceval last_exn : 'a list -> 'a

returns final element of list

Sourceval last : 'a list -> 'a option

optionally returns final element of list

Sourceval find_consecutive_duplicate : 'a list -> equal:('a -> 'a -> bool) -> ('a * 'a) option
Sourceval remove_consecutive_duplicates : 'a list -> equal:('a -> 'a -> bool) -> 'a list
Sourceval dedup : ?compare:('a -> 'a -> int) -> 'a list -> 'a list

returns sorted version of list with duplicates removed

Sourceval contains_dup : ?compare:('a -> 'a -> int) -> 'a list -> bool
Sourceval find_a_dup : ?compare:('a -> 'a -> int) -> 'a list -> 'a option
Sourceval count : 'a list -> f:('a -> bool) -> int
Sourceval sum : (module Hack_commutative_group.S with type t = 'a) -> 'b list -> f:('b -> 'a) -> 'a
Sourceval min_elt : 'a list -> cmp:('a -> 'a -> int) -> 'a option
Sourceval max_elt : 'a list -> cmp:('a -> 'a -> int) -> 'a option
Sourceval init : int -> f:(int -> 'a) -> 'a list
Sourceval rev_filter_map : 'a list -> f:('a -> 'b option) -> 'b list
Sourceval filter_map : 'a list -> f:('a -> 'b option) -> 'b list
Sourceval rev_filter_mapi : 'a list -> f:(int -> 'a -> 'b option) -> 'b list
Sourceval filter_mapi : 'a list -> f:(int -> 'a -> 'b option) -> 'b list
Sourceval filter_opt : 'a option list -> 'a list
Sourceval partition_map : 'a list -> f:('a -> [< `Fst of 'b | `Snd of 'c ]) -> 'b list * 'c list
Sourceval partition_tf : 'a list -> f:('a -> bool) -> 'a list * 'a list
Sourceval sub : 'a list -> pos:int -> len:int -> 'a list
Sourceval split_n : 'a list -> int -> 'a list * 'a list
Sourceval take : 'a list -> int -> 'a list
Sourceval drop : 'a list -> int -> 'a list
Sourceval split_while : 'a list -> f:('a -> bool) -> 'a list * 'a list
Sourceval take_while : 'a list -> f:('a -> bool) -> 'a list
Sourceval drop_while : 'a list -> f:('a -> bool) -> 'a list
Sourceval cartesian_product : 'a list -> 'b list -> ('a * 'b) list
Sourceval concat : 'a list list -> 'a list
Sourceval concat_no_order : 'a list list -> 'a list
Sourceval cons : 'a -> 'a list -> 'a list
Sourceval is_empty : 'a list -> bool
Sourceval is_sorted : 'a list -> compare:('a -> 'a -> int) -> bool
Sourceval is_sorted_strictly : 'a list -> compare:('a -> 'a -> int) -> bool
Sourceval compare : 'a list -> 'b list -> cmp:('a -> 'b -> int) -> int
Sourceval equal : 'a list -> 'b list -> equal:('a -> 'b -> bool) -> bool
Sourceval transpose : 'a list list -> 'a list list option
Sourceexception Transpose_got_lists_of_different_lengths of int list
Sourceval transpose_exn : 'a list list -> 'a list list
Sourceval intersperse : 'a list -> sep:'a -> 'a list
Sourceval replicate : num:int -> 'a -> 'a list
Sourceval fold_left_env : 'a -> 'b list -> init:'c -> f:('a -> 'c -> 'b -> 'a * 'c) -> 'a * 'c
Sourceval map_env : 'a -> 'b list -> f:('a -> 'b -> 'a * 'c) -> 'a * 'c list
Sourceval rev_map_env : 'a -> 'b list -> f:('a -> 'b -> 'a * 'c) -> 'a * 'c list
Sourceval map2_env : 'a -> 'b list -> 'c list -> f:('a -> 'b -> 'c -> 'a * 'd) -> 'a * 'd list
Sourceval for_all2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool