Added non-generic overloads for each function

Author: JamesMessinger

src/number.ts

@@ -13,6 +13,12 @@ export interface AssertNumber {
    */
   <T extends number>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a numeric value
+   * (positive or negative, integer or float, finite or infinite, but **not** `NaN`).
+   */
+  (value: unknown, fieldName?: string, defaultValue?: unknown): number;
+
   /**
    * Asserts that a value is an integer value (positive or negative).
    */
@@ -28,15 +34,30 @@ export interface AssertInteger {
    */
   <T extends number>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is an integer value (positive or negative).
+   */
+  (value: unknown, fieldName?: string, defaultValue?: unknown): number;
+
   /**
    * Asserts that a value is a positive integer value (one or more).
    */
   positive<T extends number>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a positive integer value (one or more).
+   */
+  positive(value: unknown, fieldName?: string, defaultValue?: unknown): number;
+
   /**
    * Asserts that a value is an integer value that is zero or greater.
    */
   nonNegative<T extends number>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
+
+  /**
+   * Asserts that a value is an integer value that is zero or greater.
+   */
+  nonNegative(value: unknown, fieldName?: string, defaultValue?: unknown): number;
 }
 
 

src/string.ts

@@ -11,31 +11,61 @@ export interface AssertString {
    */
   <T extends string>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string value (including empty strings).
+   */
+  (value: unknown, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a string with at least one character (including whitespace).
    */
   nonEmpty<T extends string>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string with at least one character (including whitespace).
+   */
+  nonEmpty(value: unknown, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a string with at least one non-whitespace character.
    */
   nonWhitespace<T extends string>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string with at least one non-whitespace character.
+   */
+  nonWhitespace(value: unknown, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a string with at least the specified number of characters.
    */
   minLength<T extends string>(value: T | undefined, minLength: number, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string with at least the specified number of characters.
+   */
+  minLength(value: unknown, minLength: number, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a string with no more than the specified number of characters.
    */
   maxLength<T extends string>(value: T | undefined, maxLength: number, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string with no more than the specified number of characters.
+   */
+  maxLength(value: unknown, maxLength: number, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a string with the specified number of characters.
    */
   length<T extends string>(
     value: T | undefined, minLength: number, maxLength: number, fieldName?: string, defaultValue?: T): T;
+
+  /**
+   * Asserts that a value is a string with the specified number of characters.
+   */
+  length(value: unknown, minLength: number, maxLength: number, fieldName?: string, defaultValue?: unknown): string;
 }
 
 

src/type.ts

@@ -22,26 +22,52 @@ export interface AssertType {
    */
   string<T extends string>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a string (including empty strings).
+   */
+  string(value: unknown, fieldName?: string, defaultValue?: unknown): string;
+
   /**
    * Asserts that a value is a numeric value
    * (positive or negative, integer or float, finite or infinite, but **not** `NaN`).
    */
   number<T extends number>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a numeric value
+   * (positive or negative, integer or float, finite or infinite, but **not** `NaN`).
+   */
+  number(value: unknown, fieldName?: string, defaultValue?: unknown): number;
+
   /**
    * Asserts that a value is a boolean (must be exactly `true` or `false`, not just "truthy" or "falsy").
    */
   boolean<T extends boolean>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is a boolean (must be exactly `true` or `false`, not just "truthy" or "falsy").
+   */
+  boolean(value: unknown, fieldName?: string, defaultValue?: unknown): boolean;
+
   /**
    * Asserts that a value is an object (including empty objects, but **not** including `null`).
    */
   object<T extends object>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
 
+  /**
+   * Asserts that a value is an object (including empty objects, but **not** including `null`).
+   */
+  object(value: unknown, fieldName?: string, defaultValue?: unknown): object;
+
   /**
    * Asserts that a value is a function (including classes, async functions, arrow functions, generator functions).
    */
   function<T extends Function>(value: T | undefined, fieldName?: string, defaultValue?: T): T;
+
+  /**
+   * Asserts that a value is a function (including classes, async functions, arrow functions, generator functions).
+   */
+  function(value: unknown, fieldName?: string, defaultValue?: unknown): Function;
 }