Skip to main content

Module map_query

bynk_check::builtin_names

Module map_query

Expand description

The .entries / .keys / .values accessors a store Map[K, V] field exposes as lazy queries (v0.158, ADR 0184), and the two fields the MapEntry record carries.

Constants§

ENTRIES: map.entries : Query[MapEntry[K, V]].
KEY: MapEntry.key : K.
KEYS: map.keys : Query[K].
VALUE: MapEntry.value : V.
VALUES: map.values : Query[V].