»
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
(k lock_free.Map.CTK) => option lock_free.Map.CTV[Redefinition of container.Mutable_Map.index [ ]][Contains abstract features]¶
(k lock_free.Map.CTK)
=>
option lock_free.Map.CTV[Redefinition of container.Mutable_Map.index [ ]]
[Contains abstract features]
¶lookup key k
=> Sequence (tuple lock_free.Map.CTK lock_free.Map.CTV)[Redefinition of container.Mutable_Map.items][Contains abstract features]¶
=>
Sequence (tuple lock_free.Map.CTK lock_free.Map.CTV)[Redefinition of container.Mutable_Map.items]
[Contains abstract features]
¶a snapshot of the ctrie as sequence auf key-value tuples
(k lock_free.Map.CTK, v lock_free.Map.CTV) => unit[Redefinition of container.Mutable_Map.put][Contains abstract features]¶
(k lock_free.Map.CTK, v lock_free.Map.CTV)
=>
unit[Redefinition of container.Mutable_Map.put]
[Contains abstract features]
¶add key value
if key is already present value is updated
if key is already present value is updated
(k lock_free.Map.CTK) => option lock_free.Map.CTV[Redefinition of container.Mutable_Map.remove][Contains abstract features]¶
(k lock_free.Map.CTK)
=>
option lock_free.Map.CTV[Redefinition of container.Mutable_Map.remove]
[Contains abstract features]
¶remove key from ctrie
the size of the ctrie
(read_only bool) => lock_free.this.Map lock_free.Map.CTK lock_free.Map.CTV[Contains abstract features]¶
(read_only bool)
=>
lock_free.this.Map lock_free.Map.CTK lock_free.Map.CTV[Contains abstract features]
¶take a snapshot of the ctrie
Type Functions
=> lock_free.Map lock_free.Map.type.CTK lock_free.Map.type.CTV[Redefinition of container.Mutable_Map.type.empty][Contains abstract features]¶
=>
lock_free.Map lock_free.Map.type.CTK lock_free.Map.type.CTV[Redefinition of container.Mutable_Map.type.empty]
[Contains abstract features]
¶initialize a new ctrie
(kvs Sequence (tuple lock_free.Map.type.CTK lock_free.Map.type.CTV)) => lock_free.Map lock_free.Map.type.CTK lock_free.Map.type.CTV[Contains abstract features]¶
(kvs Sequence (tuple lock_free.Map.type.CTK lock_free.Map.type.CTV))
=>
lock_free.Map lock_free.Map.type.CTK lock_free.Map.type.CTV[Contains abstract features]
¶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-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)