law sgd_step_accepted

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

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

219law sgd_step_accepted:
220  for entries: List<&1, Backward.Entry>
221  for +lr: F32
222  for +params: List<&2, Nat>
223  for accepted: {Sgd.refusal(TensorBackward.nodes_of(entries), List.length(&2, Backward.Node, TensorBackward.nodes_of(entries)), params) ==
224    None{} : Maybe<&2, Sgd.Error>}
225  for rated: {Sgd.rate_refusal(lr) == None{} : Maybe<&2, Sgd.Error>}
226  {Sgd.step(Backward.Tape{entries}, lr, params) ==
227    Sgd.walked_tape(Sgd.descend_all(lr, List.length(&2, Backward.Node, TensorBackward.nodes_of(entries)), params, entries)) :
228    Backward.Tape & Result<&2, &2, Sgd.Error, Unit>}