package tezos-protocol-alpha
Tezos protocol alpha package
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_set/index.html
Module Tezos_raw_protocol_alpha.Script_set
Source
Functions to ease the manipulation of sets of values in Michelson.
A set in Michelson is a collection of type-homegeneous values along with the functions that operate on the structure (through a first-class module). In particular, the size
function runs in constant time.
Source
val make :
(module Script_typed_ir.Boxed_set with type elt = 'elt) ->
'elt Script_typed_ir.set
empty cmp_ty
creates a set module where elements have size Gas_comparable_input_size.size_of_comparable_value cmp_ty
and are compared with Script_comparable.compare_comparable cmp_ty
(used for sorting values, which ensures a reasonable complexity of the set functions). The function returns an empty set packaged as a first-class set module.
update v true set
adds v
to set
, and update v false set
removes v
from set
.
size set
runs in constant time.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>