def allocate

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

import Base
import bendtorch-core@0.1.0.0/src/storage/array.bend as ArrayModel

31def allocate(+d: Nat, +n: Nat, +value: F32, valid: Bool,
32  -decision: {valid == bounds(d, n) : Bool}) -> Result<&2, &1, Error, Storage>:
33  match valid:
34    case False{}:
35      Fail{TooLarge{}}
36    case True{}:
37      Done{Owned{d, n, Array.new(F32, d, value), ArrayModel.new_balanced(F32, d, value),
38        Equal.sym(Bool, True{}, bounds(d, n), decision)}}