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

# Namespace: NaturalNumberTheory

## Type Aliases

### Collatz

Ƭ **Collatz**: [`$`](../Home.md#$)<[`$`](../Home.md#$)<[`$`](../Home.md#$)<[`If`](../interfaces/Conditional.If.md), [`IsEven`](../interfaces/NaturalNumber.IsEven.md)\>, [`$`](../Home.md#$)<[`DivideBy`](../interfaces/NaturalNumber.DivideBy.md), ``2``\>\>, [`$`](../Home.md#$)<[`Pipe`](../interfaces/Kind.Pipe.md), [[`$`](../Home.md#$)<[`Multiply`](../interfaces/NaturalNumber.Multiply.md), ``3``\>, [`Increment`](../interfaces/NaturalNumber.Increment.md)]\>\>

#### Defined in

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

___

### CollatzSequence

Ƭ **CollatzSequence**: [`$`](../Home.md#$)<[`FixSequence`](../interfaces/Combinator.FixSequence.md), [`$`](../Home.md#$)<[`$`](../Home.md#$)<[`$`](../Home.md#$)<[`If`](../interfaces/Conditional.If.md), [`$`](../Home.md#$)<[`Equals`](../interfaces/Conditional.Equals.md), ``1``\>\>, [`$`](../Home.md#$)<[`Constant`](../interfaces/Function.Constant.md), ``1``\>\>, [`Collatz`](NaturalNumberTheory.md#collatz)\>\>

#### Defined in

[natural-number-theory/collatz.ts:8](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/natural-number-theory/collatz.ts#L8)