def pair_left

bendtorch-core@0.1.0.0 · src/tensor/contracts/fold.bend:55

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

55def pair_left(~O: Data, ~g: O -> F32 -> F32 -> F32 -> F32, +operation: O, +right_index: U32,
56  rec: Core.Dynamic -> Core.Dynamic -> F32 -> (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, F32>,
57  right: Core.Dynamic, accumulator: F32, pair: Core.Dynamic & Result<&2, &2, Core.Error, F32>) ->
58  (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, F32>:
59  (left, result) = pair
60  match result:
61    case Fail{error}:
62      ((left, right), Fail{error})
63    case Done{x}:
64      pair_right(~O, ~g, operation, rec, left, accumulator, x, Core.read_dynamic(right, right_index))