def negated

bendtorch-core@0.1.0.0 · src/autograd/backward.bend:320

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

import Base

320def negated(+entries: List<&2, Entry>, +a: Nat, operand: Result<&2, &2, Error, F32>) -> Tape & Result<&2, &2, Error, Nat>:
321  match operand:
322    case Fail{error}:
323      (Tape{entries}, Fail{UnknownNode{}})
324    case Done{x}:
325      (Tape{Entry{Neg{a}, F32.neg(x), None{}} <> entries}, Done{List.length(&2, Entry, entries)})

Uses (13)

Used by (2)