@wollybeard/kit

Appearance

Ts.Assert.equiv ​

Import ​

typescript
import { Ts } from '@wollybeard/kit'

// Access via namespace
Ts.Assert.equiv
typescript
import { equiv } from '@wollybeard/kit/ts'

Functions ​

[F] noExcessAs
​

typescript
<$Type>(): DispatchAfterInput<State.SetExpectedType<State.SetRelator<State.SetRelator<State.Empty, EquivKind>, EquivNoExcessKind>, $Type>>

[F] ofAs
​

typescript
<$Type>(): DispatchAfterInput<State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, $Type>>

Constants ​

[C] any
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowAny<State.SetRelator<State.Empty, EquivKind>>,
    any
  >
>

[C] bigint
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, bigint>
>

[C] boolean
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, boolean>
>

[C] Date
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, Date>
>

[C] Error
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, Error>
>

[C] false
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, false>
>

[C] never
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowNever<State.SetRelator<State.Empty, EquivKind>>,
    never
  >
>

[C] noExcess
​

typescript
InputExpectedAsValueNarrow<
  State.SetRelator<State.SetRelator<State.Empty, EquivKind>, EquivNoExcessKind>
>

[C] null
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, null>
>

[C] number
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, number>
>

[C] of
​

typescript
InputExpectedAsValueNarrow<State.SetRelator<State.Empty, EquivKind>>

[C] RegExp
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, RegExp>
>

[C] string
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, string>
>

[C] symbol
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, symbol>
>

[C] true
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, true>
>

[C] undefined
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<State.SetRelator<State.Empty, EquivKind>, undefined>
>

[C] unknown
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowUnknown<State.SetRelator<State.Empty, EquivKind>>,
    unknown
  >
>

Types ​

[T] any
​

typescript
type any_<$Actual> = Kind.Apply<EquivKind, [any, $Actual]>

Pre-curried matcher for any.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
any
<any>

// ✗ Fail
type 
_
 = Assert.equiv.
any
<string>

[T] bigint
​

typescript
type bigint_<$Actual> = Kind.Apply<EquivKind, [bigint, $Actual]>

Pre-curried matcher for bigint.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
bigint
<bigint>

// ✗ Fail
type 
_
 = Assert.equiv.
bigint
<string>

[T] boolean
​

typescript
type boolean_<$Actual> = Kind.Apply<EquivKind, [boolean, $Actual]>

Pre-curried matcher for boolean.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
boolean
<boolean>

// ✗ Fail
type 
_
 = Assert.equiv.
boolean
<string>

[T] Date
​

typescript
type Date_<$Actual> = Kind.Apply<EquivKind, [Date, $Actual]>

Pre-curried matcher for Date.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
Date
<Date>

// ✗ Fail
type 
_
 = Assert.equiv.
Date
<string>

[T] Error
​

typescript
type Error_<$Actual> = Kind.Apply<EquivKind, [Error, $Actual]>

Pre-curried matcher for Error.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
Error
<Error>

// ✗ Fail
type 
_
 = Assert.equiv.
Error
<string>

[T] false
​

typescript
type false_<$Actual> = Kind.Apply<EquivKind, [false, $Actual]>

Pre-curried matcher for false literal.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
false
<false>

// ✗ Fail
type 
_
 = Assert.equiv.
false
<true>

[T] never
​

typescript
type never_<$Actual> = Kind.Apply<EquivKind, [never, $Actual]>

Pre-curried matcher for never.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
never
<never>

// ✗ Fail
type 
_
 = Assert.equiv.
never
<string>

[T] noExcess
​

typescript
type noExcess_<$Expected, $Actual> = Kind.Apply<
  EquivNoExcessKind,
  [$Expected, $Actual]
>

No-excess variant of equiv relation. Checks that actual has no excess properties beyond expected.

[T] null
​

typescript
type null_<$Actual> = Kind.Apply<EquivKind, [null, $Actual]>

Pre-curried matcher for null.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
null
<null>

// ✗ Fail
type 
_
 = Assert.equiv.
null
<string>

[T] number
​

typescript
type number_<$Actual> = Kind.Apply<EquivKind, [number, $Actual]>

Pre-curried matcher for number.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
number
<number>

// ✗ Fail
type 
_
 = Assert.equiv.
number
<string>

[T] of
​

typescript
type of_<$Expected, $Actual> = Kind.Apply<EquivKind, [$Expected, $Actual]>

base + equiv relation matchers.

Direct type assertion Relation: mutual assignability (equivalent types)

[T] RegExp
​

typescript
type RegExp_<$Actual> = Kind.Apply<EquivKind, [RegExp, $Actual]>

Pre-curried matcher for RegExp.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
RegExp
<RegExp>

// ✗ Fail
type 
_
 = Assert.equiv.
RegExp
<string>

[T] string
​

typescript
type string_<$Actual> = Kind.Apply<EquivKind, [string, $Actual]>

Pre-curried matcher for string.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
string
<string>

// ✗ Fail
type 
_
 = Assert.equiv.
string
<number>

[T] symbol
​

typescript
type symbol_<$Actual> = Kind.Apply<EquivKind, [symbol, $Actual]>

Pre-curried matcher for symbol.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
symbol
<symbol>

// ✗ Fail
type 
_
 = Assert.equiv.
symbol
<string>

[T] true
​

typescript
type true_<$Actual> = Kind.Apply<EquivKind, [true, $Actual]>

Pre-curried matcher for true literal.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
true
<true>

// ✗ Fail
type 
_
 = Assert.equiv.
true
<false>

[T] undefined
​

typescript
type undefined_<$Actual> = Kind.Apply<EquivKind, [undefined, $Actual]>

Pre-curried matcher for undefined.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
undefined
<undefined>

// ✗ Fail
type 
_
 = Assert.equiv.
undefined
<string>

[T] unknown
​

typescript
type unknown_<$Actual> = Kind.Apply<EquivKind, [unknown, $Actual]>

Pre-curried matcher for unknown.

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.equiv.
unknown
<unknown>

// ✗ Fail
type 
_
 = Assert.equiv.
unknown
<string>