»
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.094dev (2025-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f built by fridi@fzen)