package base
Full standard library replacement for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.3.tar.gz
md5=2100b0ed13fecf43be86ed45c5b2cc4d
sha512=628610caff7e124631870fa1e29661caac28bdfdb18750ee43b868037da3d65d6dd9023b4be7c4c52405679efb5e865a6632d95606a22b28a36636a6bf706ef3
doc/base/Base/Indexed_container/index.html
Module Base.Indexed_containerSource
Provides generic signatures for containers that support indexed iteration (iteri, foldi, ...). In principle, any container that has iter can also implement iteri, but the idea is that Indexed_container_intf should be included only for containers that have a meaningful underlying ordering.
include Derived
Source
val foldi :
fold:('t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'acc) ->
't ->
init:'acc ->
f:(int -> 'acc -> 'a -> 'acc) ->
'accSource
val iteri :
fold:('t -> init:int -> f:(int -> 'a -> int) -> int) ->
't ->
f:(int -> 'a -> unit) ->
unitGeneric definitions of indexed container operations in terms of foldi.
Source
val counti :
foldi:('t -> init:int -> f:(int -> int -> 'a -> int) -> int) ->
't ->
f:(int -> 'a -> bool) ->
intGeneric definitions of indexed container operations in terms of iteri.
Source
val existsi :
iteri:('t -> f:(int -> 'a -> unit) -> unit) ->
't ->
f:(int -> 'a -> bool) ->
boolSource
val for_alli :
iteri:('t -> f:(int -> 'a -> unit) -> unit) ->
't ->
f:(int -> 'a -> bool) ->
boolSource
val findi :
iteri:('t -> f:(int -> 'a -> unit) -> unit) ->
't ->
f:(int -> 'a -> bool) ->
(int * 'a) optionSource
val find_mapi :
iteri:('t -> f:(int -> 'a -> unit) -> unit) ->
't ->
f:(int -> 'a -> 'b option) ->
'b optionSource
module Make0_with_creators
(T : sig ... end) :
S0_with_creators with type t := T.t and type elt := T.Elt.tSource
module Make_gen_with_creators
(T : sig ... end) :
Generic_with_creators
with type ('a, 'phantom1, 'phantom2) t := ('a, 'phantom1, 'phantom2) T.t
and type 'a elt := 'a T.elt
and type ('a, 'phantom1, 'phantom2) concat :=
('a, 'phantom1, 'phantom2) T.concat