def assign_if

bend-collections@1.0.0.0 · src/containers/bitset.bend:220

import Base
import bend-collections@1.0.0.0/src/containers/types/bitset.bend as E

220def assign_if(ok: Bool, +n: Nat, +d: Nat, a: Array<Wd>, +i: Nat, +v: Bool) -> Bitset & Result<&2, &2, E.Error, Unit>:
221  match ok:
222    case True{}:
223      assign_read(read(a, d, wordix(i)), n, d, wordix(i), bitix(i), v)
224    case False{}:
225      (BS{n, d, a}, Fail{E.IndexOutOfRange{}})