def somes
import bendtorch-core@0.1.0.0/src/autograd/backward_LAWS.bend as BackwardLAWSimport Base
108def somes(gradients: List<&2, Maybe<&2, F32>>) -> List<&2, Bool>:
109 match gradients:
110 case Nil{}:
111 Nil{}
112 case Con{gradient, rest}:
113 Maybe.is_some(&2, F32, gradient) <> somes(rest)
Uses (5)
Used by (9)
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:chosen_reached
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:pass_reached
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:somes_bump
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:somes_bumped
- bendtorch-core@0.1.0.0/src/autograd/backward_PROOF:somes_contribute
- …