def output_point

bendtorch-core@0.1.0.0 · src/autograd/reduce_fold_LAWS.bend:50

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

50def output_point(result: Core.Dynamic & Result<&2, &1, Reduce.Error, Core.Dynamic>, +index: U32) -> Maybe<&2, F32>:
51  (input, outcome) = result
52  match outcome:
53    case Fail{error}:
54      None{}
55    case Done{output}:
56      Core.dynamic_read_value(Core.read_dynamic(output, index))