def HMap.split.side

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

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

59def HMap.split.side(
60  -K: Data, -V: Data, left: Bool, old: HMap<K, V>, fresh: HMap<K, V>
61) -> HMap<K, V>:
62  match left:
63    case True{}:
64      HBranch{old, fresh}
65    case False{}:
66      HBranch{fresh, old}

Uses (2)

Used by (2)