def HMap.size

bend-kit-collections@0.1.4.1 · hmap.bend:204

import bend-kit-collections@0.1.4.1/hmap.bend as Hmap

import Base

204def HMap.size(-K: Data, -V: Data, m: HMap<K, V>) -> Nat:
205  match m:
206    case HNil{}:
207      0n
208    case HLeaf{hash, entries}:
209      List.length(&2, Entry<K, V>, entries)
210    case HBranch{lo, hi}:
211      Nat.add(HMap.size(K, V, lo), HMap.size(K, V, hi))

Uses (5)

Used by (6)