TypeAlias.BinaryFullAdderParser

umt / BinaryFullAdderParser

Type Alias: BinaryFullAdderParser<X, Y, A, C>

BinaryFullAdderParser<X, Y, A, C> = X extends `${infer F}${infer R}` ? Y extends `${infer F2}${infer R2}` ? BinaryHalfAdderParser<F, F2> extends `${infer F3}${infer R3}` ? BinaryHalfAdderParser<R3, C> extends `${infer F4}${infer R4}` ? BinaryFullAdderParser<R, R2, `${A}${R4}`, Binary1bitOrParser<F3, F4>> : never : never : never : `${A}${C}`

Defined in: types/logic/binaryFullAdder.ts:29

Type Parameters

X

X extends string

Y

Y extends string

A

A extends string = ""

C

C extends string = "0"