def parallel_planned

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

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

393def parallel_planned(+left: Shape.Shape, +right: Shape.Shape, a: Core.Tensor<left>, b: Core.Tensor<right>,
394  result: Result<&2, &2, Error, Plan<left, right>>) ->
395  Result<&2, &1, Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>:
396  match result:
397    case Fail{error}:
398      Fail{error}
399    case Done{+plan}:
400      parallel_multiply(left, right, plan, a, b)