package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

Dune Dependency

github.com Readme Edit opam file Versions (14)

Authors

O

OCaml batteries-included team

Maintainers

Sources

v3.7.2.tar.gz

md5=1fd7bddce07cf5d244fc9427f7b5e4d4

sha512=c0f2a0fdc8253e0ea999d8d4c58bfbf32b18d251a2e1d9656bf279de5f01a33e9aabac3af4d95f465f8b671e7711ebd37218043face233340a0c11b08fa62f78

doc/batteries.unthreaded/BatVect/Make/Labels/index.html

Module `Make.Labels`Source

Operations on BatVect with labels.

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

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

Sourceval get : 'a t -> n:int -> 'a

Sourceval at : 'a t -> n:int -> 'a

Sourceval set : 'a t -> n:int -> elem:'a -> 'a t

Sourceval modify : 'a t -> n:int -> f:('a -> 'a) -> 'a t

Sourceval destructive_set : 'a t -> n:int -> elem:'a -> unit

Sourceval sub : 'a t -> m:int -> n:int -> 'a t

Sourceval insert : n:int -> sub:'a t -> 'a t -> 'a t

Sourceval remove : m:int -> n:int -> 'a t -> 'a t

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

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

Sourceval rangeiter : f:('a -> unit) -> m:int -> n:int -> 'a t -> unit

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

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

Sourceval reduce : f:('a -> 'a -> 'a) -> 'a t -> 'a

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

Sourceval foldi : f:(int -> 'b -> 'a -> 'b) -> init:'b -> 'a t -> 'b

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

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

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

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

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

Sourceval mem : elem:'a -> 'a t -> bool

Sourceval memq : elem:'a -> 'a t -> bool

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

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

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

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

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