Ts.Assert.awaited.exact
Import
typescript
import { Ts } from '@wollybeard/kit'
// Access via namespace
Ts.Assert.awaited.exacttypescript
import { exact } from '@wollybeard/kit/ts'Functions
[F] ofAs
typescript
<$Type>(): DispatchAfterInput<State.SetExpectedType<State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>, $Type>>Constants
[C] any
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetAllowAny<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>
>,
any
>
>[C] bigint
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
bigint
>
>[C] boolean
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
boolean
>
>[C] Date
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
Date
>
>[C] Error
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
Error
>
>[C] never
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetAllowNever<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>
>,
never
>
>[C] noExcess
typescript
never[C] null
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
null
>
>[C] number
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
number
>
>[C] of
typescript
InputExpectedAsValueNarrow<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>
>[C] RegExp
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
RegExp
>
>[C] string
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
string
>
>[C] symbol
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
symbol
>
>[C] undefined
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>,
undefined
>
>[C] unknown
typescript
InputActualAsValueNarrow<
State.SetExpectedType<
State.SetAllowUnknown<
State.SetRelator<State.AddExtractor<State.Empty, Awaited$>, ExactKind>
>,
unknown
>
>Types
[T] any
typescript
type any_<$Actual> = Kind.Apply<
ExactKind,
[any, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for any. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.any<Promise<any>>
// ✗ Fail
type _ = Assert.awaited.exact.any<Promise<string>>[T] bigint
typescript
type bigint_<$Actual> = Kind.Apply<
ExactKind,
[bigint, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for bigint. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.bigint<Promise<bigint>>
// ✗ Fail
type _ = Assert.awaited.exact.bigint<Promise<string>>[T] boolean
typescript
type boolean_<$Actual> = Kind.Apply<
ExactKind,
[boolean, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for boolean. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.boolean<Promise<boolean>>
// ✗ Fail
type _ = Assert.awaited.exact.boolean<Promise<string>>[T] Date
typescript
type Date_<$Actual> = Kind.Apply<
ExactKind,
[Date, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for Date. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.Date<Promise<Date>>
// ✗ Fail
type _ = Assert.awaited.exact.Date<Promise<string>>[T] Error
typescript
type Error_<$Actual> = Kind.Apply<
ExactKind,
[Error, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for Error. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.Error<Promise<Error>>
// ✗ Fail
type _ = Assert.awaited.exact.Error<Promise<string>>[T] never
typescript
type never_<$Actual> = Kind.Apply<
ExactKind,
[never, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for never. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.never<Promise<never>>
// ✗ Fail
type _ = Assert.awaited.exact.never<Promise<string>>[T] noExcess
typescript
type noExcess_ = never[T] null
typescript
type null_<$Actual> = Kind.Apply<
ExactKind,
[null, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for null. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.null<Promise<null>>
// ✗ Fail
type _ = Assert.awaited.exact.null<Promise<string>>[T] number
typescript
type number_<$Actual> = Kind.Apply<
ExactKind,
[number, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for number. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.number<Promise<number>>
// ✗ Fail
type _ = Assert.awaited.exact.number<Promise<string>>[T] of
typescript
type of_<$Expected, $Actual> = Kind.Apply<
ExactKind,
[$Expected, Kind.Apply<Path.Awaited$, [$Actual]>]
>awaited + exact relation matchers.
Extraction: extracts the resolved type from a Promise Relation: exact structural equality
[T] RegExp
typescript
type RegExp_<$Actual> = Kind.Apply<
ExactKind,
[RegExp, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for RegExp. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.RegExp<Promise<RegExp>>
// ✗ Fail
type _ = Assert.awaited.exact.RegExp<Promise<string>>[T] string
typescript
type string_<$Actual> = Kind.Apply<
ExactKind,
[string, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for string. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.string<Promise<string>>
// ✗ Fail
type _ = Assert.awaited.exact.string<Promise<number>>[T] symbol
typescript
type symbol_<$Actual> = Kind.Apply<
ExactKind,
[symbol, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for symbol. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.symbol<Promise<symbol>>
// ✗ Fail
type _ = Assert.awaited.exact.symbol<Promise<string>>[T] undefined
typescript
type undefined_<$Actual> = Kind.Apply<
ExactKind,
[undefined, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for undefined. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.undefined<Promise<undefined>>
// ✗ Fail
type _ = Assert.awaited.exact.undefined<Promise<string>>[T] unknown
typescript
type unknown_<$Actual> = Kind.Apply<
ExactKind,
[unknown, Kind.Apply<Path.Awaited$, [$Actual]>]
>Pre-curried matcher for unknown. Extraction chain: Promise → T
Examples:
typescript
// ✓ Pass
type _ = Assert.awaited.exact.unknown<Promise<unknown>>
// ✗ Fail
type _ = Assert.awaited.exact.unknown<Promise<string>>