def result_value

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

import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import Base

125def result_value(result: Result<&2, &2, Error, F32>) -> Maybe<&2, F32>:
126  match result:
127    case Fail{error}:
128      None{}
129    case Done{value}:
130      Some{value}

Uses (4)

Used by (15)