Rellum Rellum

use collections

Generated from crates/rellum-sema/src/stdlib/collections/mod.rlm.

Declarations

pub intrinsic fn new_map[K, V]() : HashMap[K, V] where K: hash, K: eq
pub intrinsic fn insert[K, V](map: HashMap[K, V], key: K, value: V) : HashMap[K, V] where K: hash, K: eq
pub intrinsic fn get[K, V](map: &HashMap[K, V], key: K) : Option[V] where K: hash, K: eq
intrinsic fn get_shared[K, V](map: &HashMap[K, V], key: Shared[K]) : Option[V] where K: hash, K: eq
pub intrinsic fn clone_map[K, V](map: &HashMap[K, V]) : HashMap[K, V] where K: hash, K: eq
pub intrinsic fn contains_key[K, V](map: &HashMap[K, V], key: K) : Bool where K: hash, K: eq
pub intrinsic fn remove[K, V](map: HashMap[K, V], key: K) : HashMap[K, V] where K: hash, K: eq
pub intrinsic fn map_len[K, V](map: &HashMap[K, V]) : Int
pub intrinsic fn keys[K, V](map: &HashMap[K, V]) : [K] where K: hash, K: eq
pub intrinsic fn values[K, V](map: &HashMap[K, V]) : [V]
pub update_or[K, V](map: HashMap[K, V], key: K, default: V, f: V -> V) : HashMap[K, V] where K: hash, K: eq = {