def accumulated
import bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend as GradientLAWSimport Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
82def accumulated(outcome: Gradient.Outcome) -> Bool:
83 match outcome:
84 case Gradient.Accumulated{after}:
85 True{}
86 case Gradient.Refused{after, returned, error}:
87 False{}
Uses (2)
Used by (7)
- bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS:Success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:held_checked_success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:accumulated_keeps
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:continue_success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:decided_success
- …