def storage_inspect

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

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
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

29def storage_inspect(property: Totality.Property, storage: Storage.Storage) -> Totality.Inspection:
30  match property:
31    case Totality.Dimensions{}:
32      Totality.Dims{Nil{}}
33    case Totality.Checked{index}:
34      Totality.Value{Lifecycle.checked_observe(storage, index)}
35    case Totality.Raw{index}:
36      Totality.Value{Lifecycle.observe(storage, index)}