def set

bendtorch-core@0.1.0.0 · src/storage/main.bend:101

import Base

101def set(storage: Storage, +i: U32, value: F32) -> Storage & Result<&2, &2, Error, Unit>:
102  match storage:
103    case Empty{}:
104      (Empty{}, Fail{OutOfBounds{}})
105    case Owned{+d, +n, array, balanced, valid}:
106      set_checked(d, n, array, i, value, Nat.is_lt(U32.to_nat(i), n), {==}, balanced, valid)