#root::data

Map root/data/Map.vi

struct Map[K, V](...);

empty root/data/Map.vi:22

const empty[K, V]: Map[K, V];

from_list root/data/Map.vi:24

impl from_list[K, V; Ord[K], Drop[K], Drop[V]]: Cast[List[(K, V)], Map[K, V]];

clear root/data/Map.vi:30

fn clear[K, V; Ord[K], Drop[K], Drop[V]](self: &Map[K, V]);

len root/data/Map.vi:34

fn len[K, V](self: &Map[K, V]) -> N32;

insert root/data/Map.vi:38

fn insert[K, V; Ord[K], Drop[K]](self: &Map[K, V], key: K, value: V) -> Option[V];

has root/data/Map.vi:42

fn has[K, V; Ord[K]](self: &Map[K, V], key: &K) -> Bool;

at root/data/Map.vi:46

fn at[K, V; Ord[K]](self: &Map[K, V], key: &K) -> Option[&V];

get root/data/Map.vi:50

fn get[K, V; Ord[K], Fork[V]](self: &Map[K, V], key: &K) -> Option[V];

at_or_insert root/data/Map.vi:54

fn at_or_insert[K, V; Ord[K], Drop[K], Drop[V]](self: &Map[K, V], key: K, value: V) -> &V;

get_or_insert root/data/Map.vi:63

fn get_or_insert[K, V; Ord[K], Drop[K], Fork[V], Drop[V]](self: &Map[K, V], key: K, value: V) -> V;

at_le root/data/Map.vi:67

fn at_le[K, V; Ord[K]](self: &Map[K, V], key: &K) -> Option[&(K, V)];

get_le root/data/Map.vi:71

fn get_le[K, V; Ord[K], Fork[K], Fork[V]](self: &Map[K, V], key: &K) -> Option[(K, V)];

at_ge root/data/Map.vi:75

fn at_ge[K, V; Ord[K]](self: &Map[K, V], key: &K) -> Option[&(K, V)];

get_ge root/data/Map.vi:79

fn get_ge[K, V; Ord[K], Fork[K], Fork[V]](self: &Map[K, V], key: &K) -> Option[(K, V)];

remove root/data/Map.vi:83

fn remove[K, V; Ord[K], Drop[K]](self: &Map[K, V], key: &K) -> Option[V];

remove_min root/data/Map.vi:87

fn remove_min[K, V; Ord[K]](self: &Map[K, V]) -> Option[(K, V)];

remove_max root/data/Map.vi:91

fn remove_max[K, V; Ord[K]](self: &Map[K, V]) -> Option[(K, V)];

iter_ref root/data/Map.vi:95

fn iter_ref[K, V; Ord[K]](self: &Map[K, V]) -> IterRef[K, V];

IterRef root/data/Map.vi:99

struct IterRef[K, V](...);

iter root/data/Map.vi:112

fn iter[K, V; Ord[K]](self: Map[K, V]) -> Iter[K, V];

Iter root/data/Map.vi:116

struct Iter[K, V](...);

to_list root/data/Map.vi:126

impl to_list[K, V; Ord[K]]: Cast[Map[K, V], List[(K, V)]];

show root/data/Map.vi:132

impl show[K, V; Ord[K], Show[K], Show[V]]: Show[Map[K, V]];

balanced root/data/Map.vi:143

fn balanced[K, V; Ord[K]](self: &Map[K, V]) -> Bool;