def align

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

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import 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)