pyk.prelude.collections module

list_empty() → KInner

list_item(k: KInner) → KInner

list_of(ks: Iterable[KInner]) → KInner

map_empty() → KInner

map_item(k: KInner, v: KInner) → KInner

map_of(ks: dict[KInner, KInner] | Iterable[tuple[KInner, KInner]]) → KInner

rangemap_empty() → KInner

rangemap_item(k: tuple[KInner, KInner], v: KInner) → KInner

rangemap_of(ks: dict[tuple[KInner, KInner], KInner] | Iterable[tuple[tuple[KInner, KInner], KInner]]) → KInner

set_empty() → KInner

set_item(k: KInner) → KInner

set_of(ks: Iterable[KInner]) → KInner