Skip to content

Instantly share code, notes, and snippets.

@mscolnick

mscolnick/arithmetic.ts

Last active March 15, 2021 04:07
Show Gist options
  • Save mscolnick/b16842ac4492fa4c60d2356565a914e2 to your computer and use it in GitHub Desktop.
Save mscolnick/b16842ac4492fa4c60d2356565a914e2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
arithmetic.ts
type Plus1<A extends any[]> = [true, ...A];
type Add<A extends any[], B extends any[]> = [...A, ...B];
type Minus1<A extends any[]> = A extends readonly [any?, ...infer U] ? U : [...A];
type Minus2<A extends any[]> = Minus1<Minus1<A>>;
// verify
type D = Plus1<A>; // [true, true, true, true]
type E = Minus1<A>; // [true, true]
type F = Minus2<A>; // [true]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment