def second_of

bendtorch-core@0.1.0.0 · src/autograd/tensor_vjp_LAWS.bend:92

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

92def second_of(pass: Backward.Pass) -> Maybe<&1, Backward.Contribution>:
93  Backward.Pass{saved, g, contributions} = pass
94  match contributions:
95    case Fail{error}:
96      None{}
97    case Done{Nil{}}:
98      None{}
99    case Done{Con{first, Nil{}}}:
100      None{}
101    case Done{Con{first, Con{second, Nil{}}}}:
102      Some{second}
103    case Done{Con{first, Con{second, Con{other, rest}}}}:
104      None{}