A tiny set of utility types for working with unions.
npm i gist:5d48bb3b92fa02cd9eb34ee87d3c7050| type BuildTuple< | |
| L extends number, | |
| T extends any[] = [], | |
| F = unknown, | |
| > = `${L}` extends `-${number}` | |
| ? never | |
| : T["length"] extends L | |
| ? T | |
| : BuildTuple<L, [...T, F], F>; |
| import { createWriteStream, writeFileSync } from 'node:fs'; | |
| import { createServer, request } from 'node:http'; | |
| // Settings // | |
| const TARGET_HOST = '127.0.0.1'; | |
| const TARGET_PORT = 8545; | |
| const PROXY_PORT = 8546; | |
| // Server // |
| Hey, I'm ryangoree-3289505 and I have contributed to the Privacy Pools Ceremony. | |
| The following are my contribution signatures: | |
| Circuit # 1 (withdraw) | |
| Contributor # 499 | |
| Contribution Hash: 2a9dc7df 157d1efd e26552c4 3b1f5ee8 | |
| b16eaf2c f9eef243 44e49d7f 0f76aeeb | |
| 10f8272f b1e8363a 3a739711 574bf433 | |
| e0242565 275625c4 e7dbeb83 331dc5c1 |
| /** | |
| * Get a union of value types for `T` by unwrapping it recursively. | |
| * | |
| * @example | |
| * ```ts | |
| * type Scalar = string; | |
| * type ScalarValue = DeepValue<Scalar>; | |
| * // => string | |
| * | |
| * type NestedArray = [string, [number, [boolean]]]; |
| /** | |
| * Extracts and transforms members of a union type `T` based on a filter type | |
| * `F`. It's similar to `Extract<T, U>` but rather than omitting members of `T` | |
| * that aren't wholly assignable to `U`, (e.g., omitting `{ a: string }` when | |
| * `U` is `{ a: 'foo' }`), it narrows values of `T` that the filter type `F` is | |
| * assignable to (e.g., `{ a: string }` is narrowed to `{ a: 'foo' }`). | |
| * | |
| * For each member in `T` (distributing over unions), if it includes all | |
| * required keys (as determined by {@linkcode RequiredValueKey<F>}), the type is | |
| * transformed by applying the filter: |
| /** | |
| * Get {@linkcode T}, ensuring that all keys from {@linkcode K} are present. If | |
| * any keys are missing, a type error will be thrown. | |
| * | |
| * @typeParam K - The keys to ensure are present. | |
| * @typeParam T - An object that should contain all keys from {@linkcode K}. | |
| * @typeParam TDefault - The default value to use for missing keys. | |
| * | |
| * @example | |
| * ```ts |
| import { readdirSync, readFileSync, statSync } from "node:fs"; | |
| import { join } from "node:path"; | |
| export function recursiveRead({ | |
| entryPath, | |
| onDirectory, | |
| onDirectoryExit, | |
| onFile, | |
| onError, | |
| }: { |
| //--- Tuple operations ---// | |
| type BuildTuple< | |
| L extends number, | |
| T extends any[] = [], | |
| F = unknown, | |
| > = `${L}` extends `-${number}` | |
| ? never | |
| : T["length"] extends L | |
| ? T |