def merged
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
234def merged(entries: List<&2, Entry>, result: Result<&2, &2, Error, List<&2, Maybe<&2, F32>>>) -> Result<&2, &2, Error, Tape>:
235 match result:
236 case Fail{error}:
237 Fail{error}
238 case Done{found}:
239 Done{Tape{merge(entries, found)}}
Uses (8)
Used by (5)
- bendtorch-core@0.1.0.0/src/autograd/backward:backward
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_dangling
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_success
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_twice_accumulates
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_unknown