@wollybeard/kit

Appearance

Ts.Assert.parameter5.not.sub ​

Import ​

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

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

Functions ​

[F] ofAs
​

typescript
<$Type>(): DispatchAfterInput<State.SetExpectedType<State.SetRelator<State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>, SubKind>, $Type>>

Constants ​

[C] any
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowAny<
      State.SetRelator<
        State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
        SubKind
      >
    >,
    any
  >
>

[C] bigint
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    bigint
  >
>

[C] boolean
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    boolean
  >
>

[C] Date
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    Date
  >
>

[C] Error
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    Error
  >
>

[C] never
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowNever<
      State.SetRelator<
        State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
        SubKind
      >
    >,
    never
  >
>

[C] null
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    null
  >
>

[C] number
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    number
  >
>

[C] of
​

typescript
InputExpectedAsValueNarrow<
  State.SetRelator<
    State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
    SubKind
  >
>

[C] RegExp
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    RegExp
  >
>

[C] string
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    string
  >
>

[C] symbol
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    symbol
  >
>

[C] undefined
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetRelator<
      State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
      SubKind
    >,
    undefined
  >
>

[C] unknown
​

typescript
InputActualAsValueNarrow<
  State.SetExpectedType<
    State.SetAllowUnknown<
      State.SetRelator<
        State.SetNegated<State.AddExtractor<State.Empty, Parameter5>>,
        SubKind
      >
    >,
    unknown
  >
>

Types ​

[T] any
​

typescript
type any_<$Actual> = Kind.Apply<
  SubKind,
  [any, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for any. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
any
<(
arg
: any) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
any
<(
arg
: string) => any>

[T] bigint
​

typescript
type bigint_<$Actual> = Kind.Apply<
  SubKind,
  [bigint, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for bigint. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
bigint
<(
arg
: bigint) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
bigint
<(
arg
: string) => any>

[T] boolean
​

typescript
type boolean_<$Actual> = Kind.Apply<
  SubKind,
  [boolean, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for boolean. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
boolean
<(
arg
: boolean) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
boolean
<(
arg
: string) => any>

[T] Date
​

typescript
type Date_<$Actual> = Kind.Apply<
  SubKind,
  [Date, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for Date. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
Date
<(
arg
: Date) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
Date
<(
arg
: string) => any>

[T] Error
​

typescript
type Error_<$Actual> = Kind.Apply<
  SubKind,
  [Error, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for Error. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
Error
<(
arg
: Error) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
Error
<(
arg
: string) => any>

[T] never
​

typescript
type never_<$Actual> = Kind.Apply<
  SubKind,
  [never, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for never. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
never
<(
arg
: never) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
never
<(
arg
: string) => any>

[T] null
​

typescript
type null_<$Actual> = Kind.Apply<
  SubKind,
  [null, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for null. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
null
<(
arg
: null) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
null
<(
arg
: string) => any>

[T] number
​

typescript
type number_<$Actual> = Kind.Apply<
  SubKind,
  [number, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for number. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
number
<(
arg
: number) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
number
<(
arg
: string) => any>

[T] of
​

typescript
type of_<$Expected, $Actual> = Kind.Apply<
  SubKind,
  [$Expected, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

parameter5 + sub relation matchers.

Extraction: extracts the fifth parameter type from a function Relation: subtype relation (extends)

[T] RegExp
​

typescript
type RegExp_<$Actual> = Kind.Apply<
  SubKind,
  [RegExp, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for RegExp. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
RegExp
<(
arg
: RegExp) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
RegExp
<(
arg
: string) => any>

[T] string
​

typescript
type string_<$Actual> = Kind.Apply<
  SubKind,
  [string, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for string. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
string
<(
arg
: string) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
string
<(
arg
: number) => any>

[T] symbol
​

typescript
type symbol_<$Actual> = Kind.Apply<
  SubKind,
  [symbol, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for symbol. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
symbol
<(
arg
: symbol) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
symbol
<(
arg
: string) => any>

[T] undefined
​

typescript
type undefined_<$Actual> = Kind.Apply<
  SubKind,
  [undefined, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for undefined. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
undefined
<(
arg
: undefined) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
undefined
<(
arg
: string) => any>

[T] unknown
​

typescript
type unknown_<$Actual> = Kind.Apply<
  SubKind,
  [unknown, Kind.Apply<Path.Parameter5, [$Actual]>, true]
>

Pre-curried matcher for unknown. Extraction chain: (p1: any, p2: any, p3: any, p4: any, p5: T) = any → T

Examples:

typescript
// ✓ Pass
type 
_
 = Assert.parameter5.sub.
unknown
<(
arg
: unknown) => any>

// ✗ Fail
type 
_
 = Assert.parameter5.sub.
unknown
<(
arg
: string) => any>