def array_inspect

bendtorch-core@0.1.0.0 · src/tensor/elementwise_PROOF.bend:47

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as Totality
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

47def array_inspect(+depth: Nat, +length: Nat, property: Totality.Property, array: Array<F32>) -> Totality.Inspection:
48  match property:
49    case Totality.Dimensions{}:
50      Totality.Dims{Nil{}}
51    case Totality.Checked{index}:
52      Totality.Value{Lifecycle.checked_observe_array(depth, length, array, index)}
53    case Totality.Raw{index}:
54      Totality.Value{Model.observe(F32, depth, array, Refinement.route(depth, index))}