def read_value

bendtorch-core@0.1.0.0 · src/tensor/lifecycle.bend:156

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

156def read_value(pair: Storage.Storage & Result<&2, &2, Storage.Error, F32>) -> Maybe<&2, F32>:
157  (storage, result) = pair
158  match result:
159    case Fail{error}:
160      None{}
161    case Done{value}:
162      Some{value}