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
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.095dev (2025-09-09 14:29:31 GIT hash 98644f8f651c2101a0730cfe31c5807993b7603b built by fridi@fzen)