def Aligned

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

import Base

237def Aligned(left: List<&2, Nat>, right: List<&2, Nat>, output: List<&2, Nat>) -> Data:
238  match left right output:
239    case Nil{} Nil{} Nil{}:
240      Unit
241    case lh <> lt rh <> rt oh <> ot:
242      Aligned.Step<lh, lt, rh, rt, oh, ot>
243    case Nil{} Nil{} oh <> ot:
244      Empty
245    case Nil{} rh <> rt Nil{}:
246      Empty
247    case lh <> lt Nil{} Nil{}:
248      Empty
249    case Nil{} rh <> rt oh <> ot:
250      Empty
251    case lh <> lt Nil{} oh <> ot:
252      Empty
253    case lh <> lt rh <> rt Nil{}:
254      Empty