def align
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
773def align(+left: List<&2, U32>, +right: List<&2, U32>) -> Alignment<left, right>:
774 match left right:
775 case Nil{} Nil{}:
776 Aligns{Nil{}, Unit{}}
777 case +lh <> +lt +rh <> +rt:
778 align.step(lh, lt, rh, rt, align(lt, rt), axis_choice(lh, rh))
779 case Nil{} rh <> rt:
780 Misaligned{}
781 case lh <> lt Nil{}:
782 Misaligned{}
Uses (6)
Used by (5)
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:broadcast_checked_plan
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:broadcast_checked_complete
- bendtorch-core@0.1.0.0/src/autograd/reduce_to_fold_PROOF:shapes_checked
- bendtorch-core@0.1.0.0/src/shape/core:broadcast_checked.ranked
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:align_complete