std/data/dict▲toc

String dictionaries.

A dictionary is a map from strings to values.

Append two dictionaries.

Index into a string dictionary.

Create a new empty dictionary.

Create a new dictionary from a liststd/core/list: V -> V of key value pairs.

Create a new dictionary from a vectorstd/core/vector: V -> V of key/value pairs.

Execute action for each key/value pair in a dictionary.

Execute action for each key/value pair in a dictionary until the action returns Juststd/core/Just: forall<a> (value : a) -> maybe<a>.

Convert a dictionary to a list of key/value pairs.

Map a fun over the values in a dictionary.

Convert a dictionary to a vector of key/value pairs.

The type of mutable string dictionaries.

Assign to a string dictionary.

Convert a dictionary to a list of key/value pairs.

Create a mutable string dictionary.

Convert a dictionary to a vector of key/value pairs.

private import std/corestd/core