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

# Namespace: Combinator

## Interfaces

- [ApplySelf](../interfaces/Combinator.ApplySelf.md)
- [FixSequence](../interfaces/Combinator.FixSequence.md)
- [FixSequence\_T](../interfaces/Combinator.FixSequence_T.md)
- [RecursiveKind](../interfaces/Combinator.RecursiveKind.md)
- [Self](../interfaces/Combinator.Self.md)

## Type Aliases

### \_$fixSequence

Ƭ **\_$fixSequence**<`KIND`, `VALUE`, `STATE`, `NEXT_VALUE`, `NEXT_STATE`, `DONE`\>: `DONE` extends ``true`` ? `STATE` : [`_$fixSequence`](Combinator.md#_$fixsequence)<`DONE` extends ``false`` ? `KIND` : `never`, [`_$cast`](Type.md#_$cast)<`NEXT_VALUE`, [`_$inputOf`](Kind.md#_$inputof)<`KIND`\>\>, `NEXT_STATE`\>

#### Type parameters

| Name | Type |
| :------ | :------ |
| `KIND` | extends [`Kind`](../classes/Kind.Kind.md) |
| `VALUE` | extends [`_$inputOf`](Kind.md#_$inputof)<`KIND`\> |
| `STATE` | extends `unknown`[] = [`VALUE`] |
| `NEXT_VALUE` | [`$`](../Home.md#$)<`KIND`, `VALUE`\> |
| `NEXT_STATE` | extends `unknown`[] = [...STATE, `NEXT_VALUE`] |
| `DONE` | extends `boolean` = `NEXT_VALUE` extends `VALUE` ? ``true`` : ``false`` |

#### Defined in

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