The map library

Functions for the Map type.

A Map(a, b) maps keys of type a to values of type b.

Synopsis

as_tuples :: for_type a, b: (Map(a, b)) -> List(Tuple(a, b))
empty_map :: for_type s, t: () -> Map(s, t)
from_tuples :: for_type a, b: (List(Tuple(a, b))) -> Map(a, b)
keys :: for_type s, t: (Map(s, t)) -> List(s)
lookup :: for_type s, t: (s, Map(s, t)) -> Maybe(t)
map_size :: for_type s, t: (Map(s, t)) -> 1
store :: for_type s, t: (s, t, Map(s, t)) -> Void

Functions

as_tuples

:: for_type a, b: (Map(a, b)) -> List(Tuple(a, b))

A list with all key value pairs that are stored in the map.

empty_map

:: for_type s, t: () -> Map(s, t)

Constructs an empty map.

Primitive function

from_tuples

:: for_type a, b: (List(Tuple(a, b))) -> Map(a, b)

Create a map from a list of key value pairs.

keys

:: for_type s, t: (Map(s, t)) -> List(s)

All keys in the map.

Primitive function

lookup

:: for_type s, t: (s, Map(s, t)) -> Maybe(t)

Retrieves a previously stored item from a map.

Primitive function

map_size

:: for_type s, t: (Map(s, t)) -> 1

The number of items in the map.

Primitive function

store

:: for_type s, t: (s, t, Map(s, t)) -> Void

Stores an item in the map under the given key.

Primitive function

Version v0.6.0, 2026-03-05T15:49:19.138204288+01:00[Europe/Amsterdam]