def both

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:168

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base

168def both(first: Result<&2, &1, Error, Contribution>, second: Result<&2, &1, Error, Contribution>) ->
169  Result<&2, &1, Error, List<&1, Contribution>>:
170  match first second:
171    case Fail{error} second:
172      Fail{error}
173    case Done{left} Fail{error}:
174      Fail{error}
175    case Done{left} Done{right}:
176      Done{[left, right]}

Uses (4)

Used by (12)