package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install 

dune-project
 Dependency

batteries.forge.ocamlcore.org Edit opam file Versions (15)

Authors

  1. O
    OCaml batteries-included team

Maintainers

  1. C
    Cedric Cellier <rixed@happyleptic.org>
  2. F
    Francois Berenger <unixjunkie@sdf.org>
  3. Gabriel Scherer
  4. T
    Thibault Suzanne <thi.suzanne@gmail.com>

Sources

v3.2.0.tar.gz
sha256=00f34b9aed4e47f314425b2ca9ceac206f112095a17ea9a7ffa6dac8cfccc492
md5=066051f9a210277710c54ad57c3b9568

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

Module BatEnum.Labels

Operations on BatEnum with labels.

This module overrides a number of functions of BatEnum 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 BatEnum.

val iter : f:('a -> unit) -> 'a t -> unit
val iter2 : f:('a -> 'b -> unit) -> 'a t -> 'b t -> unit
val exists : f:('a -> bool) -> 'a t -> bool
val for_all : f:('a -> bool) -> 'a t -> bool
val fold : f:('b -> 'a -> 'b) -> init:'b -> 'a t -> 'b
val fold2 : f:('a -> 'b -> 'c -> 'c) -> init:'c -> 'a t -> 'b t -> 'c
val iteri : f:(int -> 'a -> unit) -> 'a t -> unit
val iter2i : f:(int -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
val foldi : f:(int -> 'a -> 'b -> 'b) -> init:'b -> 'a t -> 'b
val fold2i : f:(int -> 'a -> 'b -> 'c -> 'c) -> init:'c -> 'a t -> 'b t -> 'c
val find : f:('a -> bool) -> 'a t -> 'a
val take_while : f:('a -> bool) -> 'a t -> 'a t
val drop_while : f:('a -> bool) -> 'a t -> 'a t
val map : f:('a -> 'b) -> 'a t -> 'b t
val mapi : f:(int -> 'a -> 'b) -> 'a t -> 'b t
val filter : f:('a -> bool) -> 'a t -> 'a t
val filter_map : f:('a -> 'b option) -> 'a t -> 'b t
val from : f:(unit -> 'a) -> 'a t
val from_while : f:(unit -> 'a option) -> 'a t
val from_loop : init:'b -> f:('b -> 'a * 'b) -> 'a t
val seq : init:'a -> f:('a -> 'a) -> cnd:('a -> bool) -> 'a t
val unfold : init:'b -> f:('b -> ('a * 'b) option) -> 'a t
val init : int -> f:(int -> 'a) -> 'a t
val switch : f:('a -> bool) -> 'a t -> 'a t * 'a t
val compare : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t -> int
val uniq : ?cmp:('a -> 'a -> bool) -> 'a t -> 'a t
module LExceptionless : sig ... end