[hkt-toolbelt](../Home.md) / Conditional # Namespace: Conditional ## Interfaces - [Equals](../interfaces/Conditional.Equals.md) - [Extends](../interfaces/Conditional.Extends.md) - [If](../interfaces/Conditional.If.md) - [If\_T1](../interfaces/Conditional.If_T1.md) - [If\_T2](../interfaces/Conditional.If_T2.md) - [If\_T3](../interfaces/Conditional.If_T3.md) - [NotEquals](../interfaces/Conditional.NotEquals.md) ## Type Aliases ### \_$equals Ƭ **\_$equals**<`T`, `U`\>: [`T`, `U`] extends [`U`, `T`] ? ``true`` : ``false`` #### Type parameters | Name | | :------ | | `T` | | `U` | #### Defined in [conditional/equals.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/conditional/equals.ts#L3) ___ ### \_$extends Ƭ **\_$extends**<`T`, `X`\>: `X` extends `unknown` ? `X` : `never` extends `T` ? ``true`` : ``false`` #### Type parameters | Name | | :------ | | `T` | | `X` | #### Defined in [conditional/extends.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/conditional/extends.ts#L3) ___ ### \_$if Ƭ **\_$if**<`Predicate`, `Then`, `Else`, `X`\>: [`$`](../Home.md#$)<`Predicate`, `X`\> extends ``true`` ? [`$`](../Home.md#$)<`Then`, [`_$cast`](Type.md#_$cast)<`X`, [`_$inputOf`](Kind.md#_$inputof)<`Then`\>\>\> : [`$`](../Home.md#$)<`Else`, [`_$cast`](Type.md#_$cast)<`X`, [`_$inputOf`](Kind.md#_$inputof)<`Else`\>\>\> #### Type parameters | Name | Type | | :------ | :------ | | `Predicate` | extends [`Kind`](../classes/Kind.Kind.md)<(`x`: `never`) => `boolean`\> | | `Then` | extends [`Kind`](../classes/Kind.Kind.md) | | `Else` | extends [`Kind`](../classes/Kind.Kind.md) | | `X` | extends [`_$inputOf`](Kind.md#_$inputof)<`Predicate`\> | #### Defined in [conditional/if.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/conditional/if.ts#L3) ___ ### \_$notEquals Ƭ **\_$notEquals**<`T`, `U`\>: [`T`, `U`] extends [`U`, `T`] ? ``false`` : ``true`` #### Type parameters | Name | | :------ | | `T` | | `U` | #### Defined in [conditional/not-equals.ts:3](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/conditional/not-equals.ts#L3)