def project_right_spec

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

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

99def project_right_spec(+left: List<&2, Nat>, +right: List<&2, Nat>, +output: List<&2, Nat>, +alignment: Shape.Broadcast<left, right, output>, coordinate: Maybe<&2, Shape.Coordinate(output)>) -> Maybe<&2, List<&2, U32>>:
100  match coordinate:
101    case None{}:
102      None{}
103    case Some{coordinate}:
104      Some{Shape.words(Shape.indices(right, Shape.project_right(left, right, output, alignment, coordinate)))}