Module `BatList.Labels`Source

Operations on List with labels.

This module overrides a number of functions of List by functions in which some arguments require labels. These labels are there to improve readability and safety and to let you change the order of arguments to functions. In every case, the behavior of the function is identical to that of the corresponding function of List.

Sourceval init : int -> f:(int -> 'a) -> 'a list

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

Sourceval iteri : f:(int -> 'a -> unit) -> 'a list -> unit

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

Sourceval mapi : f:(int -> 'a -> 'b) -> 'a list -> 'b list

Sourceval rev_map : f:('a -> 'b) -> 'a list -> 'b list

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

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

Sourceval fold_right : f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b

Sourceval iter2 : f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit

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

Sourceval rev_map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list

Source

val fold_left2 : 
  f:('a -> 'b -> 'c -> 'a) ->
  init:'a ->
  'b list ->
  'c list ->
  'a

Source

val fold_right2 : 
  f:('a -> 'b -> 'c -> 'c) ->
  'a list ->
  'b list ->
  init:'c ->
  'c

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

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

Sourceval for_all2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool

Sourceval exists2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool

Sourceval subset : cmp:('a -> 'b -> int) -> 'a list -> 'b list -> bool

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

Sourceval find_exn : f:('a -> bool) -> exn -> 'a list -> 'a

Sourceval find_map_opt : f:('a -> 'b option) -> 'a list -> 'b option

Sourceval findi : f:(int -> 'a -> bool) -> 'a list -> int * 'a

Sourceval rfind : f:('a -> bool) -> 'a list -> 'a

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

Sourceval filter_map : f:('a -> 'b option) -> 'a list -> 'b list

Sourceval count_matching : f:('a -> bool) -> 'a list -> int

Sourceval concat_map : f:('a -> 'b list) -> 'a list -> 'b list

Sourceval find_all : f:('a -> bool) -> 'a list -> 'a list

Sourceval partition : f:('a -> bool) -> 'a list -> 'a list * 'a list

Source

val partition_map : 
  f:('a -> ('b, 'c) BatEither.t) ->
  'a list ->
  'b list * 'c list

Sourceval remove_if : f:('a -> bool) -> 'a list -> 'a list

Sourceval take_while : f:('a -> bool) -> 'a list -> 'a list

Sourceval drop_while : f:('a -> bool) -> '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 merge : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list

Sourcemodule LExceptionless : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatList/Labels/index.html

Module `BatList.Labels`Source

package batteries

Install

Dune Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatList/Labels/index.html

Module BatList.LabelsSource

Module `BatList.Labels`Source