Home

Jump to bottom

Michael Poteat edited this page Feb 27, 2023 · 4 revisions

hkt-toolbelt

hkt-toolbelt

Namespaces

Type Aliases

$

Ƭ $<F, X>: _$returnType<F & { [_]: X }["f"]>

Type parameters

Name	Type
`F`	extends `Kind`
`X`	extends `_$inputOf`<`F`>

Defined in

$$

Ƭ $$<FX, X>: _$pipe<FX, X>

Type parameters

Name	Type
`FX`	extends `Kind`[]
`X`	extends `FX` extends [] ? `unknown` : `_$inputOf`<`_$first`<`FX`>>

Defined in

Variables

default

• default: Object

Type declaration

Name	Type
`Boolean`	`Boolean`
`Combinator`	`Combinator`
`Conditional`	`Conditional`
`Digit`	`Digit`
`DigitList`	`DigitList`
`Function`	`Function`
`Kind`	`Kind`
`List`	`List`
`NaturalNumber`	`NaturalNumber`
`NaturalNumberTheory`	`NaturalNumberTheory`
`Number`	`Number`
`Object`	`Object`
`Parser`	`Parser`
`Stress`	`Stress`
`String`	`String`
`Test`	`Test`
`Type`	`Type`
`Union`	`Union`

Defined in