def Map.seek

Base · base.bend:2840

import Base

2840def Map.seek(-a: Quant, -V: Kind(a), m: Map<a, V>, key: String) ->
2841  Map<a, V> & String & Maybe<&2, String>:
2842  match m:
2843    case MTip{}:
2844      (MTip{}, key, None{})
2845    case MLeaf{+k, v}:
2846      (MLeaf{k, v}, key, Some{k})
2847    case MNode{+pos, lo, hi}:
2848      Map.seek.go(a, V, MNode{pos, lo, hi}, Map.bit(key, pos))

Uses (7)

Used by (19)