def storage_pair_value

bendtorch-core@0.1.0.0 · src/tensor/read_contract.bend:103

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

103def storage_pair_value(pair: Storage.Storage & Result<&2, &2, Storage.Error, F32>) ->
104  {Lifecycle.read_value(pair) == storage_value(StorageLaws.outcome(Result<&2, &2, Storage.Error, F32>, pair)) : Maybe<&2, F32>}:
105  (storage, result) = pair
106  match result:
107    case Fail{error}:
108      {==}
109    case Done{value}:
110      {==}