[hkt-toolbelt](../Home.md) / [NaturalNumber](../modules/NaturalNumber.md) / ToList

# Interface: ToList

[NaturalNumber](../modules/NaturalNumber.md).ToList

## Hierarchy

- [`Kind`](../classes/Kind.Kind.md)

  ↳ **`ToList`**

## Properties

### [\_]

• `Readonly` `Abstract` **[\_]**: `unknown`

#### Inherited from

[Kind](../classes/Kind.Kind.md).[[_]](../classes/Kind.Kind.md#[_])

#### Defined in

[kind/kind.ts:10](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/kind/kind.ts#L10)

## Methods

### f

▸ **f**(`x`): `never`

#### Parameters

| Name | Type |
| :------ | :------ |
| `x` | [`Number`](../modules/Number.md#number) |

#### Returns

`never`

#### Overrides

Kind.Kind.f

#### Defined in

[natural-number/to-list.ts:13](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/natural-number/to-list.ts#L13)