Skip to content
Michael Poteat edited this page Feb 27, 2023 · 3 revisions

hkt-toolbelt / Type

Namespace: Type

Interfaces

Type Aliases

_$cast

Ƭ _$cast<T, U>: T extends U ? T : U

Type parameters

Name
T
U

Defined in

type/cast.ts:3


_$display

Ƭ _$display<T>: T extends (...args: never[]) => unknown ? T : T extends (...args: never[]) => unknown ? T : { [key in keyof T]: T[key] }

Type parameters

Name
T

Defined in

type/display.ts:3


_$infer

Ƭ _$infer<X, Narrow>: Narrow extends unknown[] ? { [key in keyof X]: _$infer<X[key]> } : Narrow

Type parameters

Name Type
X X
Narrow _$cast<X, _$inferred> | [..._$cast<X, _$inferredTuple>]

Defined in

type/infer.ts:18


_$isNever

Ƭ _$isNever<X>: _$equals<X, never>

Type parameters

Name
X

Defined in

type/is-never.ts:3


_$valueOf

Ƭ _$valueOf<T>: T extends unknown[] ? T[number] : T[keyof T]

Type parameters

Name
T

Defined in

type/value-of.ts:3

Clone this wiki locally