[hkt-toolbelt](../Home.md) / Type

# Namespace: Type

## Interfaces

- [Cast](../interfaces/Type.Cast.md)
- [Display](../interfaces/Type.Display.md)
- [Infer](../interfaces/Type.Infer.md)
- [IsNever](../interfaces/Type.IsNever.md)
- [ValueOf](../interfaces/Type.ValueOf.md)

## Type Aliases

### \_$cast

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

#### Type parameters

| Name |
| :------ |
| `T` |
| `U` |

#### Defined in

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

___

### \_$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](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/type/display.ts#L3)

___

### \_$infer

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

#### Type parameters

| Name | Type |
| :------ | :------ |
| `X` | `X` |
| `Narrow` | [`_$cast`](Type.md#_$cast)<`X`, `_$inferred`\> \| [...\_$cast<X, \_$inferredTuple\>] |

#### Defined in

[type/infer.ts:18](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/type/infer.ts#L18)

___

### \_$isNever

Ƭ **\_$isNever**<`X`\>: [`_$equals`](Conditional.md#_$equals)<`X`, `never`\>

#### Type parameters

| Name |
| :------ |
| `X` |

#### Defined in

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

___

### \_$valueOf

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

#### Type parameters

| Name |
| :------ |
| `T` |

#### Defined in

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