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

# Namespace: Test

## Classes

- [\_](../classes/Test._.md)

## Type Aliases

### Expect

Ƭ **Expect**<`X`, `V`\>: [`_$isNever`](Type.md#_$isnever)<`V`\> extends ``true`` ? `X` : [`_$isNever`](Type.md#_$isnever)<`X`\> extends ``true`` ? [`Expect`](Test.md#expect)<`X`, `V`\> : `X`

#### Type parameters

| Name | Type |
| :------ | :------ |
| `X` | extends [`_$equals`](Conditional.md#_$equals)<`X`, `V`\> extends ``true`` ? `V` : `V` & [`_`](../classes/Test._.md) |
| `V` | ``true`` |

#### Defined in

[test/expect.ts:7](https://github.com/poteat/hkt-toolbelt/blob/61f5028/src/test/expect.ts#L7)

___

### ExpectNot

Ƭ **ExpectNot**<`X`, `V`\>: [`_$isNever`](Type.md#_$isnever)<`V`\> extends ``true`` ? `X` : [`_$isNever`](Type.md#_$isnever)<`X`\> extends ``true`` ? [`ExpectNot`](Test.md#expectnot)<`X`, `V`\> : `X`

#### Type parameters

| Name | Type |
| :------ | :------ |
| `X` | extends [`_$equals`](Conditional.md#_$equals)<`X`, `V`\> extends ``true`` ? `V` : `V` & [`_`](../classes/Test._.md) |
| `V` | ``false`` |

#### Defined in

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