byteadd.ts

type PartialAdd<
  LHS extends Bit[],
  RHS extends Bit[],
  CF extends CarryFlag = Zero
> = LHS extends [...infer LHSU extends Bit[], infer LHSR extends Bit]
  ? RHS extends [...infer RHSU extends Bit[], infer RHSR extends Bit]
    ? [
        ...PartialAdd<LHSU, RHSU, AddBitsWithCarry<LHSR, RHSR, CF>["cf"]>,
        AddBitsWithCarry<LHSR, RHSR, CF>["value"]
      ]
    : []
  : [];
type Add<LHS extends Byte, RHS extends Byte> = LHS extends [
  ...infer LHSU extends Bit[],
  infer LHSR extends Bit
]
  ? RHS extends [...infer RHSU extends Bit[], infer RHSR extends Bit]
    ? [
        ...PartialAdd<LHSU, RHSU, AddBitsWithCarry<LHSR, RHSR>["cf"]>,
        AddBitsWithCarry<LHSR, RHSR>["value"]
      ]
    : []
  : [];