millsp

import {
    A,
    F,
    B,
    O,
    I,
} from 'ts-toolbelt';

type OnlyUserKeys<O> =
    O extends L.List

millsp

#!/bin/bash

mkdir -p out

npx tsc src/index.ts -d --emitDeclarationOnly --module amd --outFile out/index.d.ts &&

echo "
declare module '<npm package name>' {
    import main = require('index');
    export = main;

millsp

import {Object, Tuple, Number} from 'ts-toolbelt'

// Merge two types together
type merge = Object.MergeUp<{name: string}, {age?: number}>

// Update the type of a field
type update = Object.Update<{age: string}, 'age', number>

// Make some fields optional
type optional = Object.Optional<{name: string, age: number}, 'age'>

millsp

{"lastUpload":"2020-08-16T14:05:01.885Z","extensionVersion":"v3.4.3"}

millsp

import {Any, Number} from 'ts-toolbelt'

/** 512000 Minus Operations
 *  80 * 80 * 80 Operations
 *  ~ 10 240 000 Iterations
 *  ~ 1.30sec
 *  @ 3.80GHz
 * typescript@3.8.0
 */
type test = NestNestTest<'-20'> // 1.3s

millsp

declare function curry<F extends (...args: any) => any>(f: F): void

class Test {
    a?: string
    b?: object
    c?: number
    d?: [string, Test]
    e?: [object, Test]
    f?: [number, Test]

millsp

type Head<T extends any[]> =
    T extends [any, ...any[]]
    ? T[0]
    : never

type Tail<T extends any[]> =
    ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any)
    ? TT
    : []

millsp

type Head<T extends any[]> =
    T extends [any, ...any[]]
    ? T[0]
    : never

type Tail<T extends any[]> =
    ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any)
    ? TT
    : []

millsp

type Head<T extends any[]> =
    T extends [any, ...any[]]
    ? T[0]
    : never

type Tail<T extends any[]> =
    ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any)
    ? TT
    : []

millsp

type Head<T extends any[]> =
    T extends [any, ...any[]]
    ? T[0]
    : never

type Tail<T extends any[]> =
    ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any)
    ? TT
    : []