Fuzion • Library Modules • lock_free • lock_free • Map

lock_free.Map

(CTK

type

:

Type, CTV

type

:

ref

:

Mutable_Map CTK, CTV

is

[Contains abstract features]

[Private constructor]

the ctrie

Type Parameters

CTK

CTV

Fields

read_only

Functions

(k CTK)

=>

[Redefinition of container.Mutable_Map.get]

lookup key k

redefines:

container.Mutable_Map.get

=>

Sequence (tuple CTK CTV)

[Redefinition of container.Mutable_Map.items]

a snapshot of the ctrie as sequence auf key-value tuples

redefines:

container.Mutable_Map.items

(k CTK, v CTV)

=>

[Redefinition of container.Mutable_Map.put]

add key value
if key is already present value is updated

redefines:

container.Mutable_Map.put

(k CTK)

=>

[Redefinition of container.Mutable_Map.remove]

remove key from ctrie

redefines:

container.Mutable_Map.remove

=>

[Redefinition of container.Mutable_Map.size]

the size of the ctrie

redefines:

container.Mutable_Map.size

(read_only bool)

=>

lock_free.this.Map CTK CTV ¶

take a snapshot of the ctrie

Type Functions

=>

lock_free.Map CTK CTV

[Redefinition of container.Mutable_Map.type.empty]

initialize a new ctrie

redefines:

container.Mutable_Map.type.empty

type.from_entries

(kvs Sequence (tuple CTK CTV))

=>

lock_free.Map CTK CTV ¶

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)]

0.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c built by fridi@fzen)