»
Map
lock_free.Map
§
(CTK
type
:
property.hashable, CTV type
) ref
:
Mutable_Map CTK, CTV is
[Contains abstract features]
[Private constructor]
the ctrie
Type Parameters
Fields
Functions
§
§
lookup key k
§ => Sequence (tuple lock_free.Map.CTK lock_free.Map.CTV) [Redefinition of container.Mutable_Map.items]
§
=>
Sequence (tuple lock_free.Map.CTK lock_free.Map.CTV) [Redefinition of container.Mutable_Map.items]
a snapshot of the ctrie as sequence auf key-value tuples
add key value
if key is already present value is updated
if key is already present value is updated
§
§
remove key from ctrie
the size of the ctrie
take a snapshot of the ctrie
Type Functions
initialize a new ctrie
lock_free.Map.from_entries -- routine to initialize a ctrie from a sequence of key value tuples
This feature creates an instance of a ctrie.
example: lock_free.Map.from_entries [(key1, value1), (key2, value2)]
This feature creates an instance of a ctrie.
example: lock_free.Map.from_entries [(key1, value1), (key2, value2)]
0.093dev (2025-05-13 15:50:27 GIT hash 38f965e14265a6f3ba3f96f18ddedb79352428af built by fridi@fzen)