package TCSLib

  1. Overview
  2. Docs
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
type capacity_updater = int -> int -> int
val default_capacity_updater : capacity_updater
val get_capacity_updater : 'a t -> capacity_updater
val set_capacity_updater : 'a t -> capacity_updater -> unit
val create : 'a -> 'a t
val init : 'a -> int -> (int -> 'a) -> 'a t
val copy : 'a t -> 'a t
val clear : 'a t -> unit
val length : 'a t -> int
val insert : 'a t -> int -> 'a -> unit
val append : 'a t -> 'a t -> unit
val fill : 'a t -> int -> 'a -> unit
val delete : 'a t -> int -> unit
val delete_last : 'a t -> unit
val get : 'a t -> int -> 'a
val set : 'a t -> int -> 'a -> unit
val add : 'a t -> 'a -> unit
val iter : ('a -> unit) -> 'a t -> unit
val iteri : (int -> 'a -> unit) -> 'a t -> unit
val to_array : 'a t -> 'a array
val to_list : 'a t -> 'a list
val map : 'b -> ('a -> 'b) -> 'a t -> 'b t
val map_inplace : ('a -> 'a) -> 'a t -> unit
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val push : 'a t -> 'a -> unit
val pop : 'a t -> 'a
val delete_disregarding_ordering : 'a t -> int -> unit
val take_random : 'a t -> 'a
val to_iterator : 'a t -> 'a Tcsbasedata.Iterators.iterator
val to_iteratori : 'a t -> (int * 'a) Tcsbasedata.Iterators.iterator
val append_iterator : 'a t -> 'a Tcsbasedata.Iterators.iterator -> unit