Type aliases
Plus
Plus<N1, N2, fmt>: Plus<N1, N2, fmt>
Type parameters
PlusNegative
PlusNegative<N1, N2>: PlusNegative<N1, N2>
Type parameters
PlusPositive
PlusPositive<N1, N2>: PlusPositive<N1, N2>
Type parameters
_Plus
_Plus<N1, N2>: { 0: PlusPositive<N1, N2>; 1: PlusNegative<N1, N2>; }[{ '-': 1; '+': 0; '0': 0; }[N2[4]]]
Type parameters
_PlusNegative
_PlusNegative<N1, N2>: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: any[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[N1[0]][0]][0]]; 2: number; }[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[N1[0]][0]]; 2: number; }[IterationMap[IterationMap[N2[1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[N2[1]][1]][3] ? 2 : 0]; 1: IterationMap[N1[0]]; 2: number; }[IterationMap[N2[1]][3] extends 0 ? 1 : number extends IterationMap[N2[1]][3] ? 2 : 0]; 1: N1; 2: number; }[N2[3] extends 0 ? 1 : number extends N2[3] ? 2 : 0]
Type parameters
_PlusPositive
_PlusPositive<N1, N2>: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: any[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[N1[1]][1]][1]]; 2: number; }[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[N1[1]][1]]; 2: number; }[IterationMap[IterationMap[N2[0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[N2[0]][0]][3] ? 2 : 0]; 1: IterationMap[N1[1]]; 2: number; }[IterationMap[N2[0]][3] extends 0 ? 1 : number extends IterationMap[N2[0]][3] ? 2 : 0]; 1: N1; 2: number; }[N2[3] extends 0 ? 1 : number extends N2[3] ? 2 : 0]
Type parameters
Add a
Number
to another one