def left_at

bendtorch-core@0.1.0.0 · src/tensor/elementwise_walk_proof.bend:146

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

146# The slot an input reads for output cell `position`.
147def left_at(+slot: Elementwise.Slot, -left: List<&2, Nat>, -right: List<&2, Nat>, -output: List<&2, Nat>,
148  +map: Shape.Index<left, right, output>, +position: Nat) -> Nat:
149  match slot:
150    case Elementwise.OwnSlot{}:
151      position
152    case Elementwise.FirstSlot{}:
153      0n
154    case Elementwise.WalkedSlot{}:
155      Elementwise.left_walk(left, right, output, map, position)