def Axis.project_left
bendtorch-core@0.1.0.0 · src/shape/core.bend:210
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
210def Axis.project_left(-left: Nat, -right: Nat, -output: Nat, alignment: Axis<left, right, output>, index: Fin(output)) -> Fin(left):
211 match alignment:
212 case AxisEqual{left_eq, right_eq}:
213 %left_eq : Fin(_)
214 index
215 case AxisLeftOne{one, right_eq}:
216 %one : Fin(_)
217 FZero{}
218 case AxisRightOne{left_eq, one}:
219 %left_eq : Fin(_)
220 index