def first_refusal

bendtorch-core@0.1.0.0 · src/autograd/sgd.bend:80

import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd
import Base

80def first_refusal(found: Maybe<&2, Error>, later: Maybe<&2, Error>) -> Maybe<&2, Error>:
81  match found:
82    case Some{error}:
83      Some{error}
84    case None{}:
85      later

Uses (2)

Used by (1)