def broadcast_checked.align
bendtorch-core@0.1.0.0 · src/shape/core.bend:877
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
877def broadcast_checked.align(+left: Shape, +right: Shape, +left_padding: Nat, +right_padding: Nat, minimal: PadMinimal<left_padding, right_padding>, alignment: Alignment<pad_words(left_padding, dimensions(left)), pad_words(right_padding, dimensions(right))>) -> Result<&2, &2, Error, BroadcastPlan>:
878 match alignment:
879 case Misaligned{}:
880 Fail{IncompatibleBroadcast{}}
881 case Aligns{+output, aligned}:
882 broadcast_checked.construct(left, right, left_padding, right_padding, minimal, output, broadcast_checked.repad(left_padding, right_padding, dimensions(left), dimensions(right), output, aligned), construct(output))