base

Full standard library replacement for OCaml
IN THIS PACKAGE

Parameters

module T : sig ... end

Signature

include Container.Generic with type 'a t := 'a T.t with type 'a elt := 'a T.elt
val length : _ T.t -> int
val is_empty : _ T.t -> bool
val iter : 'a T.t -> f:( 'a T.elt -> unit ) -> unit
val fold : 'a T.t -> init:'accum -> f:( 'accum -> 'a T.elt -> 'accum ) -> 'accum
val fold_result : 'a T.t -> init:'accum -> f:( 'accum -> 'a T.elt -> ( 'accum, 'e ) Result.t ) -> ( 'accum, 'e ) Result.t
val fold_until : 'a T.t -> init:'accum -> f:( 'accum -> 'a T.elt -> ( 'accum, 'final ) Container.Continue_or_stop.t ) -> finish:( 'accum -> 'final ) -> 'final
val exists : 'a T.t -> f:( 'a T.elt -> bool ) -> bool
val for_all : 'a T.t -> f:( 'a T.elt -> bool ) -> bool
val count : 'a T.t -> f:( 'a T.elt -> bool ) -> int
val sum : (module Container.Summable with type t = 'sum) -> 'a T.t -> f:( 'a T.elt -> 'sum ) -> 'sum
val find : 'a T.t -> f:( 'a T.elt -> bool ) -> 'a T.elt option
val find_map : 'a T.t -> f:( 'a T.elt -> 'b option ) -> 'b option
val to_list : 'a T.t -> 'a T.elt list
val to_array : 'a T.t -> 'a T.elt array
val min_elt : 'a T.t -> compare:( 'a T.elt -> 'a T.elt -> int ) -> 'a T.elt option
val max_elt : 'a T.t -> compare:( 'a T.elt -> 'a T.elt -> int ) -> 'a T.elt option

These are all like their equivalents in Container except that an index starting at 0 is added as the first argument to f.

val foldi : 'a T.t -> init:_ -> f:( int -> _ -> 'a T.elt -> _ ) -> _
val iteri : 'a T.t -> f:( int -> 'a T.elt -> unit ) -> unit
val existsi : 'a T.t -> f:( int -> 'a T.elt -> bool ) -> bool
val for_alli : 'a T.t -> f:( int -> 'a T.elt -> bool ) -> bool
val counti : 'a T.t -> f:( int -> 'a T.elt -> bool ) -> int
val findi : 'a T.t -> f:( int -> 'a T.elt -> bool ) -> (int * 'a T.elt) option
val find_mapi : 'a T.t -> f:( int -> 'a T.elt -> 'b option ) -> 'b option