package tezos-lazy-containers

  1. Overview
  2. Docs

Module Mutable.ZVectorSource

Sourcetype key = Z.t
Sourcemodule Vector = ZVector
Sourcetype 'a t
Sourceval num_elements : 'a t -> key
Sourceval of_immutable : 'a Vector.t -> 'a t
Sourceval create : ?values:'a Vector.Map.Map.t -> ?produce_value:'a Vector.producer -> ?origin:Lazy_map.tree -> key -> 'a t
Sourceval origin : 'a t -> Lazy_map.tree option
Sourceval get : key -> 'a t -> 'a Lwt.t
Sourceval set : key -> 'a -> 'a t -> unit
Sourceval grow : ?default:(unit -> 'a) -> key -> 'a t -> unit
Sourceval append : 'a -> 'a t -> key
Sourceval cons : 'a -> 'a t -> unit
Sourceval drop : 'a t -> unit
Sourceval pop : 'a t -> 'a Lwt.t
Sourceval reset : 'a t -> unit

reset vec empties vec completely. Contrary to pop, no values are read from the underlying backend.

Sourceval snapshot : 'a t -> 'a Vector.t