law sgd_step_rate_refused

bendtorch-core@0.1.0.0 · src/autograd/sgd_LAWS.bend:208

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend as TensorBackward
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd

208law sgd_step_rate_refused:
209  for entries: List<&1, Backward.Entry>
210  for +lr: F32
211  for +params: List<&2, Nat>
212  for +error: Sgd.Error
213  for accepted: {Sgd.refusal(TensorBackward.nodes_of(entries), List.length(&2, Backward.Node, TensorBackward.nodes_of(entries)), params) ==
214    None{} : Maybe<&2, Sgd.Error>}
215  for refused: {Sgd.rate_refusal(lr) == Some{error} : Maybe<&2, Sgd.Error>}
216  {Sgd.step(Backward.Tape{entries}, lr, params) == (Backward.Tape{entries}, Fail{error}) :
217    Backward.Tape & Result<&2, &2, Sgd.Error, Unit>}