def pair_right

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

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

44def pair_right(~O: Data, ~g: O -> F32 -> F32 -> F32 -> F32, +operation: O,
45  rec: Core.Dynamic -> Core.Dynamic -> F32 -> (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, F32>,
46  left: Core.Dynamic, accumulator: F32, x: F32, pair: Core.Dynamic & Result<&2, &2, Core.Error, F32>) ->
47  (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, F32>:
48  (right, result) = pair
49  match result:
50    case Fail{error}:
51      ((left, right), Fail{error})
52    case Done{y}:
53      rec(left, right, g(operation, accumulator, x, y))