def project_left_spec

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

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

92def project_left_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>>:
93  match coordinate:
94    case None{}:
95      None{}
96    case Some{coordinate}:
97      Some{Shape.words(Shape.indices(left, Shape.project_left(left, right, output, alignment, coordinate)))}