package octez-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_lazy_containers.Lazy_vectorSource

A lazy vector is a fixed-size key-value association where each value is created dynamically.

In many ways this data structure mimics an array, but its lookup has logarithmic time complexity and it supports non-int keys.

Sourceexception Bounds
Sourceexception SizeOverflow
Sourcemodule type KeyS = sig ... end

KeyS is the qualifier signature for key types in the lazy vector. Externally visible and accessible keys of the lazy vector are always non-negative. However, the lazy vector implementation may internally use negative keys therefore modules of type KeyS must support them.

Sourcemodule type S = sig ... end
Sourcemodule Make (Key : KeyS) : S with type key = Key.t
Sourcemodule IntVector : S with type key = int
Sourcemodule Int32Vector : S with type key = int32
Sourcemodule Int64Vector : S with type key = int64
Sourcemodule ZVector : S with type key = Z.t
Sourcemodule Mutable : sig ... end

Make generates a lazy vector module using a given Key module.

OCaml

Innovation. Community. Security.