hkt-toolbelt

# hkt-toolbelt

## Namespaces

- [Boolean](modules/Boolean.md)
- [Combinator](modules/Combinator.md)
- [Conditional](modules/Conditional.md)
- [Digit](modules/Digit.md)
- [DigitList](modules/DigitList.md)
- [Function](modules/Function.md)
- [Kind](modules/Kind.md)
- [List](modules/List.md)
- [NaturalNumber](modules/NaturalNumber.md)
- [NaturalNumberTheory](modules/NaturalNumberTheory.md)
- [Number](modules/Number.md)
- [Object](modules/Object.md)
- [Parser](modules/Parser.md)
- [Stress](modules/Stress.md)
- [String](modules/String.md)
- [Test](modules/Test.md)
- [Type](modules/Type.md)
- [Union](modules/Union.md)

## Type Aliases

### $

Ƭ **$**<`F`, `X`\>: [`_$returnType`](modules/Function.md#_$returntype)<`F` & { `[_]`: `X`  }[``"f"``]\>

#### Type parameters

| Name | Type |
| :------ | :------ |
| `F` | extends [`Kind`](classes/Kind.Kind.md) |
| `X` | extends [`_$inputOf`](modules/Kind.md#_$inputof)<`F`\> |

#### Defined in

[$/$.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/$/$.ts#L3)

___

### $$

Ƭ **$$**<`FX`, `X`\>: [`_$pipe`](modules/Kind.md#_$pipe)<`FX`, `X`\>

#### Type parameters

| Name | Type |
| :------ | :------ |
| `FX` | extends [`Kind`](classes/Kind.Kind.md)[] |
| `X` | extends `FX` extends [] ? `unknown` : [`_$inputOf`](modules/Kind.md#_$inputof)<[`_$first`](modules/List.md#_$first)<`FX`\>\> |

#### Defined in

[$/$$.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/$/$$.ts#L3)

## Variables

### default

• **default**: `Object`

#### Type declaration

| Name | Type |
| :------ | :------ |
| `Boolean` | [`Boolean`](modules/Boolean.md) |
| `Combinator` | [`Combinator`](modules/Combinator.md) |
| `Conditional` | [`Conditional`](modules/Conditional.md) |
| `Digit` | [`Digit`](modules/Digit.md) |
| `DigitList` | [`DigitList`](modules/DigitList.md) |
| `Function` | [`Function`](modules/Function.md) |
| `Kind` | [`Kind`](modules/Kind.md) |
| `List` | [`List`](modules/List.md) |
| `NaturalNumber` | [`NaturalNumber`](modules/NaturalNumber.md) |
| `NaturalNumberTheory` | [`NaturalNumberTheory`](modules/NaturalNumberTheory.md) |
| `Number` | [`Number`](modules/Number.md) |
| `Object` | [`Object`](modules/Object.md) |
| `Parser` | [`Parser`](modules/Parser.md) |
| `Stress` | [`Stress`](modules/Stress.md) |
| `String` | [`String`](modules/String.md) |
| `Test` | [`Test`](modules/Test.md) |
| `Type` | [`Type`](modules/Type.md) |
| `Union` | [`Union`](modules/Union.md) |

#### Defined in

[index.ts:58](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/index.ts#L58)