def project_left_coordinate

bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:110

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

110def project_left_coordinate(+left: List<&2, Nat>, +right: List<&2, Nat>, +output: List<&2, Nat>, +alignment: Shape.Broadcast<left, right, output>, index: Maybe<&2, Shape.Fin(Shape.numel(output))>) -> Maybe<&2, Shape.Coordinate(left)>:
111  match index:
112    case None{}:
113      None{}
114    case Some{index}:
115      Some{Shape.project_left(left, right, output, alignment, Shape.unflatten(output, index))}