def output_point

bendtorch-core@0.1.0.0 · src/autograd/broadcast_pointwise_LAWS.bend:23

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

23def output_point(result: Core.Dynamic & Result<&2, &1, Broadcast.Error, Core.Dynamic>, +index: U32) -> Maybe<&2, F32>:
24  (input, outcome) = result
25  match outcome:
26    case Fail{error}:
27      None{}
28    case Done{output}:
29      Core.dynamic_read_value(Core.read_dynamic(output, index))