def observe_new

bendtorch-core@0.1.0.0 · src/storage/api.bend:342

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

342def observe_new(+d: Nat, +value: F32, +path: Model.Path(d)) ->
343  {Some{value} == Model.observe(F32, d, Array.new(F32, d, value), path) : Maybe<&2, F32>}:
344  match d:
345    case 0n:
346      {==}
347    case 1n+p:
348      Model.Step{+bit, +rest} = path
349      match bit:
350        case False{}:
351          observe_new(p, value, rest)
352        case True{}:
353          observe_new(p, value, rest)