package octez-libs

  1. Overview
  2. No Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-libs.stdlib/Tezos_stdlib/FunctionalArray/index.html

Module Tezos_stdlib.FunctionalArraySource

This module implements functional arrays equipped with accessors that cannot raise exceptions following the same design principles as FallbackArray:

Reading out of the bounds of the arrays return a fallback value fixed at array construction time, writing out of the bounds of the arrays is ignored.

Contrary to FallbackArray, writing generates a fresh array.

Please notice that this implementation is naive and should only be used for small arrays. If there is a need for large functional arrays, it is recommended to implement Backer's trick to get constant-time reads and writes for sequences of mutations applied to the same array.

Sourcetype 'a t

The type for array containing values of type 'a.

Sourceval make : int -> 'a -> 'a t

make len v builds an array a initializing len cells with v. The value v is the fallback value for a.

Sourceval init : int -> 'a -> (int -> 'a) -> 'a t

init len v make builds an array a initializing len cells where the i-th cell value is make i. The value v is the fallback value for a.

Sourceval fallback : 'a t -> 'a

fallback a returns the fallback value for a.

Sourceval length : 'a t -> int

length a returns the length of a.

Sourceval get : 'a t -> int -> 'a

get a idx returns the contents of the cell of index idx in a. If idx < 0 or idx >= length a, get a idx = fallback a.

Sourceval set : 'a t -> int -> 'a -> 'a t

set a idx value returns a new array identical to a except that the cell of index idx with value. If idx < 0 or idx >= length a, returns a copy of a.

Sourceval iter : ('a -> unit) -> 'a t -> unit

iter f a iterates f over the cells of a from the cell indexed 0 to the cell indexed length a - 1.

Sourceval iteri : (int -> 'a -> unit) -> 'a t -> unit

iteri f a iterates f over the cells of a from the cell indexed 0 to the cell indexed length a - 1 passing the cell index to f.

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

map a computes a new array obtained by applying f to each cell contents of a. Notice that the fallback value of the new array is f (fallback a).

Sourceval mapi : (int -> 'a -> 'b) -> 'a t -> 'b t

mapi f a computes a new array obtained by applying f to each cell contents of a passing the index of this cell to i. Notice that the fallback value of the new array is f (-1) (fallback a).

Sourceval fold : ('b -> 'a -> 'b) -> 'a t -> 'b -> 'b

fold f a init traverses a from the cell indexed 0 to the cell indexed length a - 1 and transforms accu into f accu x where x is the content of the cell under focus. accu is init on the first iteration.

Sourceval fold_map : ('b -> 'a -> 'b * 'c) -> 'a t -> 'b -> 'c -> 'b * 'c t

fold_map f a init fallback traverses a from the cell indexed 0 to the cell indexed length a - 1 and transforms accu into fst (f accu x) where x is the content of the cell under focus. accu is init on the first iteration. The function also returns a fresh array containing snd (f accu x) for each x. fallback is required to initialize a fresh array before it can be filled.