typia 9.7.1 → 9.7.2

package/lib/functional.d.ts

@@ -4,138 +4,139 @@ import { TypeGuardError } from "./TypeGuardError";
  * Asserts a function.
  *
  * Asserts a function, by wrapping the function and checking its parameters and
- * return value through {@link assert} function. If some parameter or return value
- * does not match the expected type, it throws an {@link TypeGuardError} or a custom
- * error generated by the *errorFactory* parameter.
+ * return value through {@link assert} function. If some parameter or return
+ * value does not match the expected type, it throws an {@link TypeGuardError} or
+ * a custom error generated by the _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assert} function. If the {@link TypeGuardError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`. Otherwise
- * the path would start from `$input.return`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assert} function. If the {@link TypeGuardError} occurs
+ * from some parameter, the path would start from `$input.parameters[number]`.
+ * Otherwise the path would start from `$input.return`.
  *
  * - `$input.parameters[0].~`
  * - `$input.return.~`
  *
  * By the way, if what you want is not just finding the 1st type error through
- * assertion, but also finding every type errors, then use {@link validateFunction}
- * instead. Otherwise, what you want is just asserting parameters or return value
- * only, you can use {@link assertParameters} or {@link assertReturn} instead.
+ * assertion, but also finding every type errors, then use
+ * {@link validateFunction} instead. Otherwise, what you want is just asserting
+ * parameters or return value only, you can use {@link assertParameters} or
+ * {@link assertReturn} instead.
  *
  * On the other hand, if don't want to allow any superfluous properties, utilize
  * {@link assertEqualsFunction} or {@link validateEqualsFunction} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertFunction<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
  * Asserts parameters.
  *
- * Asserts a function, by wrapping the function and checking its parameters through
- * {@link assert} function. If some parameter does not match the expected type, it
- * throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
- * parameter.
+ * Asserts a function, by wrapping the function and checking its parameters
+ * through {@link assert} function. If some parameter does not match the expected
+ * type, it throws an {@link TypeGuardError} or a custom error generated by the
+ * _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assert} function. If the {@link TypeGuardError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assert} function. If the {@link TypeGuardError} occurs
+ * from some parameter, the path would start from `$input.parameters[number]`.
  *
  * By the way, if what you want is not just finding the 1st type error through
- * assertion, but also finding every type errors, then use {@link validateParameters}
- * instead. Otherwise, what you want is not only asserting parameters, but also
- * asserting return value, you can use {@link assertFunction} instead.
+ * assertion, but also finding every type errors, then use
+ * {@link validateParameters} instead. Otherwise, what you want is not only
+ * asserting parameters, but also asserting return value, you can use
+ * {@link assertFunction} instead.
  *
  * On the other hand, if don't want to allow any superfluous properties, utilize
  * {@link assertEqualsParameters} or {@link validateEqualsParameters} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertParameters<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
  * Asserts return value.
  *
- * Asserts a function, by wrapping the function and checking its return value through
- * {@link assert} function. If the return value does not match the expected type, it
- * throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
- * parameter.
+ * Asserts a function, by wrapping the function and checking its return value
+ * through {@link assert} function. If the return value does not match the
+ * expected type, it throws an {@link TypeGuardError} or a custom error generated
+ * by the _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assert} function. If the {@link TypeGuardError} occurs from
- * the return value, the path would start from `$input.return`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assert} function. If the {@link TypeGuardError} occurs
+ * from the return value, the path would start from `$input.return`.
  *
  * By the way, if what you want is not just finding the 1st type error through
  * assertion, but also finding every type errors, then use {@link validateReturn}
- * instead. Otherwise, what you want is not only asserting return value, but also
- * asserting parameters, you can use {@link assertFunction} instead.
+ * instead. Otherwise, what you want is not only asserting return value, but
+ * also asserting parameters, you can use {@link assertFunction} instead.
  *
  * On the other hand, if don't want to allow any superfluous properties, utilize
  * {@link assertEqualsReturn} or {@link validateEqualsReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertReturn<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
  * Asserts a function with strict equality.
  *
- * Asserts a function with strict equality, by wrapping the function and checking
- * its parameters and return value through {@link assertEquals} function. If some
- * parameter or return value does not match the expected type, it throws an
- * {@link TypeGuardError} or a custom error generated by the *errorFactory* parameter.
+ * Asserts a function with strict equality, by wrapping the function and
+ * checking its parameters and return value through {@link assertEquals}
+ * function. If some parameter or return value does not match the expected type,
+ * it throws an {@link TypeGuardError} or a custom error generated by the
+ * _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`. Otherwise
- * the path would start from `$input.return`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assertEquals} function. If the {@link TypeGuardError}
+ * occurs from some parameter, the path would start from
+ * `$input.parameters[number]`. Otherwise the path would start from
+ * `$input.return`.
  *
  * - `$input.parameters[0].~`
  * - `$input.return.~`
  *
  * By the way, if what you want is not just finding the 1st type error through
  * assertion, but also finding every type errors, then use
- * {@link validateEqualsFunction} instead. Otherwise, what you want is just asserting
- * parameters or return value only, you can use {@link assertEqualsParameters} or
- * {@link assertEqualsReturn} instead.
+ * {@link validateEqualsFunction} instead. Otherwise, what you want is just
+ * asserting parameters or return value only, you can use
+ * {@link assertEqualsParameters} or {@link assertEqualsReturn} instead.
  *
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link assertFunction} or {@link validateFunction} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertEqualsFunction<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
  * Asserts parameters with strict equality.
  *
- * Asserts a function, by wrapping the function and checking its parameters through
- * {@link assertEquals} function. If some parameter does not match the expected type,
- * it throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
- * parameter.
+ * Asserts a function, by wrapping the function and checking its parameters
+ * through {@link assertEquals} function. If some parameter does not match the
+ * expected type, it throws an {@link TypeGuardError} or a custom error generated
+ * by the _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assertEquals} function. If the {@link TypeGuardError}
+ * occurs from some parameter, the path would start from
+ * `$input.parameters[number]`.
  *
  * By the way, if what you want is not just finding the 1st type error through
  * assertion, but also finding every type errors, then use
@@ -146,42 +147,41 @@ export declare function assertEqualsFunction<T extends (...args: any[]) => any>(
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link assertParameters} or {@link validateParameters} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertEqualsParameters<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
  * Asserts return value with strict equality.
  *
- * Asserts a function, by wrapping the function and checking its return value through
- * {@link assertEquals} function. If the return value does not match the expected type,
- * it throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
- * parameter.
+ * Asserts a function, by wrapping the function and checking its return value
+ * through {@link assertEquals} function. If the return value does not match the
+ * expected type, it throws an {@link TypeGuardError} or a custom error generated
+ * by the _errorFactory_ parameter.
  *
- * For reference, {@link TypeGuardError.path} would be a little bit different with
- * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
- * the return value, the path would start from `$input.return`.
+ * For reference, {@link TypeGuardError.path} would be a little bit different
+ * with individual {@link assertEquals} function. If the {@link TypeGuardError}
+ * occurs from the return value, the path would start from `$input.return`.
  *
  * By the way, if what you want is not just finding the 1st type error through
- * assertion, but also finding every type errors, then use {@link validateEqualsReturn}
- * instead. Otherwise, what you want is not only asserting return value, but also
- * asserting parameters, you can use {@link assertEqualsFunction} instead.
+ * assertion, but also finding every type errors, then use
+ * {@link validateEqualsReturn} instead. Otherwise, what you want is not only
+ * asserting return value, but also asserting parameters, you can use
+ * {@link assertEqualsFunction} instead.
  *
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link assertReturn} or {@link validateReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to assert
  * @param errorFactory Custom error factory. Default is `TypeGuardError`
  * @returns The wrapper function with type assertions
- * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
- *
- * @author Jeongho Nam - https://github.com/samchon
+ * @throws A {@link TypeGuardError} or a custom error generated by _errorFactory_
  */
 export declare function assertEqualsReturn<T extends (...args: any[]) => any>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
 /**
@@ -200,20 +200,19 @@ export declare function assertEqualsReturn<T extends (...args: any[]) => any>(fu
  * utilize {@link equalsFunction}, {@link assertEqualsFunction} or
  * {@link validateEqualsFunction} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function isFunction<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Tests parameters.
  *
- * Tests a function, by wrapping the function and checking its parameters through
- * {@link is} function. If some parameter does not match the expected type, it
- * returns `null`. Otherwise there's no type error, it returns the result of the
- * function.
+ * Tests a function, by wrapping the function and checking its parameters
+ * through {@link is} function. If some parameter does not match the expected
+ * type, it returns `null`. Otherwise there's no type error, it returns the
+ * result of the function.
  *
  * By the way, if you want is not just testing type checking, but also finding
  * detailed type error reason(s), then use {@link assertParameters} or
@@ -223,20 +222,19 @@ export declare function isFunction<T extends (...args: any[]) => any>(func: T):
  * utilize {@link equalsParameters}, {@link assertEqualsParameters} or
  * {@link validateEqualsParameters} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function isParameters<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Tests return value.
  *
- * Tests a function, by wrapping the function and checking its return value through
- * {@link is} function. If the return value does not match the expected type, it
- * returns `null`. Otherwise there's no type error, it returns the result of the
- * function.
+ * Tests a function, by wrapping the function and checking its return value
+ * through {@link is} function. If the return value does not match the expected
+ * type, it returns `null`. Otherwise there's no type error, it returns the
+ * result of the function.
  *
  * By the way, if you want is not just testing type checking, but also finding
  * detailed type error reason(s), then use {@link assertReturn} or
@@ -246,20 +244,20 @@ export declare function isParameters<T extends (...args: any[]) => any>(func: T)
  * utilize {@link equalsReturn}, {@link assertEqualsReturn} or
  * {@link validateEqualsReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function isReturn<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Tests a function with strict equality.
  *
- * Tests a function with strict equality, by wrapping the function and checking its
- * parameters and return value through {@link isEquals} function. If some parameter
- * or return value does not match the expected type, it returns `null`. Otherwise
- * there's no type error, it returns the result of the function.
+ * Tests a function with strict equality, by wrapping the function and checking
+ * its parameters and return value through {@link isEquals} function. If some
+ * parameter or return value does not match the expected type, it returns
+ * `null`. Otherwise there's no type error, it returns the result of the
+ * function.
  *
  * By the way, if you want is not just testing type checking, but also finding
  * detailed type error reason(s), then use {@link assertEqualsFunction} or
@@ -268,39 +266,37 @@ export declare function isReturn<T extends (...args: any[]) => any>(func: T): T
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link isFunction}, {@link assertFunction} or {@link validateFunction} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function equalsFunction<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Tests parameters with strict equality.
  *
- * Tests a function, by wrapping the function and checking its parameters through
- * {@link isEquals} function. If some parameter does not match the expected type,
- * it returns `null`. Otherwise there's no type error, it returns the result of the
- * function.
+ * Tests a function, by wrapping the function and checking its parameters
+ * through {@link isEquals} function. If some parameter does not match the
+ * expected type, it returns `null`. Otherwise there's no type error, it returns
+ * the result of the function.
  *
  * By the way, if you want is not just testing type checking, but also finding
  * detailed type error reason(s), then use {@link assertEqualsParameters} or
  * {@link validateEqualsParameters} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function equalsParameters<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Tests return value with strict equality.
  *
- * Tests a function, by wrapping the function and checking its return value through
- * {@link isEquals} function. If the return value does not match the expected type,
- * it returns `null`. Otherwise there's no type error, it returns the result of the
- * function.
+ * Tests a function, by wrapping the function and checking its return value
+ * through {@link isEquals} function. If the return value does not match the
+ * expected type, it returns `null`. Otherwise there's no type error, it returns
+ * the result of the function.
  *
  * By the way, if you want is not just testing type checking, but also finding
  * detailed type error reason(s), then use {@link assertEqualsReturn} or
@@ -309,182 +305,187 @@ export declare function equalsParameters<T extends (...args: any[]) => any>(func
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link isReturn}, {@link assertReturn} or {@link validateReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to test
  * @returns The wrapper function with type tests
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function equalsReturn<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<R | null> : (...args: Arguments) => Output | null : never;
 /**
  * Validates a function.
  *
- * Validates a function, by wrapping the function and checking its parameters and
- * return value through {@link validate} function. If some parameter or return value
- * does not match the expected type, it returns {@link IValidation.IError} typed
- * object. Otherwise there's no type error, it returns {@link IValidation.ISuccess}
- * typed object instead.
+ * Validates a function, by wrapping the function and checking its parameters
+ * and return value through {@link validate} function. If some parameter or
+ * return value does not match the expected type, it returns
+ * {@link IValidation.IError} typed object. Otherwise there's no type error, it
+ * returns {@link IValidation.ISuccess} typed object instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validate} function. If the {@link IValidation.IError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`. Otherwise
- * the path would start from `$input.return`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validate} function. If the {@link IValidation.IError}
+ * occurs from some parameter, the path would start from
+ * `$input.parameters[number]`. Otherwise the path would start from
+ * `$input.return`.
  *
  * - `$input.parameters[0].~`
  * - `$input.return.~`
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertFunction} instead. Otherwise, what you
- * want is just validating parameters or return value only, you can use
- * {@link validateParameters} or {@link validateReturn} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertFunction} instead.
+ * Otherwise, what you want is just validating parameters or return value only,
+ * you can use {@link validateParameters} or {@link validateReturn} instead.
  *
- * On the other hand, if you don't want to allow any superfluous properties, utilize
- * {@link validateEqualsFunction} or {@link assertEqualsFunction} instead.
+ * On the other hand, if you don't want to allow any superfluous properties,
+ * utilize {@link validateEqualsFunction} or {@link assertEqualsFunction}
+ * instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateFunction<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
 /**
  * Validates parameters.
  *
- * Validates a function, by wrapping the function and checking its parameters through
- * {@link validate} function. If some parameter does not match the expected type, it
- * returns {@link IValidation.IError} typed object. Otherwise there's no type error,
- * it returns {@link IValidation.ISuccess} typed object instead.
+ * Validates a function, by wrapping the function and checking its parameters
+ * through {@link validate} function. If some parameter does not match the
+ * expected type, it returns {@link IValidation.IError} typed object. Otherwise
+ * there's no type error, it returns {@link IValidation.ISuccess} typed object
+ * instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validate} function. If the {@link IValidation.IError} occurs from
- * some parameter, the path would start from `$input.parameters[number]`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validate} function. If the {@link IValidation.IError}
+ * occurs from some parameter, the path would start from
+ * `$input.parameters[number]`.
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertParameters} instead. Otherwise, what you
- * want is not only validating parameters, but also validating return value, you can
- * use {@link validateFunction} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertParameters} instead.
+ * Otherwise, what you want is not only validating parameters, but also
+ * validating return value, you can use {@link validateFunction} instead.
  *
- * On the other hand, if you don't want to allow any superfluous properties, utilize
- * {@link validateEqualsParameters} or {@link assertEqualsParameters} instead.
+ * On the other hand, if you don't want to allow any superfluous properties,
+ * utilize {@link validateEqualsParameters} or {@link assertEqualsParameters}
+ * instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateParameters<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
 /**
  * Validates return value.
  *
- * Validates a function, by wrapping the function and checking its return value through
- * {@link validate} function. If the return value does not match the expected type, it
- * returns {@link IValidation.IError} typed object. Otherwise there's no type error,
- * it returns {@link IValidation.ISuccess} typed object instead.
+ * Validates a function, by wrapping the function and checking its return value
+ * through {@link validate} function. If the return value does not match the
+ * expected type, it returns {@link IValidation.IError} typed object. Otherwise
+ * there's no type error, it returns {@link IValidation.ISuccess} typed object
+ * instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validate} function. If the {@link IValidation.IError} occurs from
- * the return value, the path would start from `$input.return`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validate} function. If the {@link IValidation.IError}
+ * occurs from the return value, the path would start from `$input.return`.
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertReturn} instead. Otherwise, what you want
- * is not only validating return value, but also validating parameters, you can use
- * {@link validateFunction} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertReturn} instead. Otherwise,
+ * what you want is not only validating return value, but also validating
+ * parameters, you can use {@link validateFunction} instead.
  *
- * On the other hand, if you don't want to allow any superfluous properties, utilize
- * {@link validateEqualsReturn} or {@link assertEqualsReturn} instead.
+ * On the other hand, if you don't want to allow any superfluous properties,
+ * utilize {@link validateEqualsReturn} or {@link assertEqualsReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateReturn<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
 /**
  * Validates a function with strict equality.
  *
- * Validates a function with strict equality, by wrapping the function and checking
- * its parameters and return value through {@link validateEquals} function. If some
- * parameter or return value does not match the expected type, it returns
- * {@link IValidation.IError} typed object. Otherwise there's no type error, it
- * returns {@link IValidation.ISuccess} typed object instead.
+ * Validates a function with strict equality, by wrapping the function and
+ * checking its parameters and return value through {@link validateEquals}
+ * function. If some parameter or return value does not match the expected type,
+ * it returns {@link IValidation.IError} typed object. Otherwise there's no type
+ * error, it returns {@link IValidation.ISuccess} typed object instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
- * from some parameter, the path would start from `$input.parameters[number]`. Otherwise
- * the path would start from `$input.return`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validateEquals} function. If the
+ * {@link IValidation.IError} occurs from some parameter, the path would start
+ * from `$input.parameters[number]`. Otherwise the path would start from
+ * `$input.return`.
  *
  * - `$input.parameters[0].~`
  * - `$input.return.~`
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertEqualsFunction} instead. Otherwise, what
- * you want is just validating parameters or return value only, you can use
- * {@link validateEqualsParameters} or {@link validateEqualsReturn} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertEqualsFunction} instead.
+ * Otherwise, what you want is just validating parameters or return value only,
+ * you can use {@link validateEqualsParameters} or {@link validateEqualsReturn}
+ * instead.
  *
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link validateFunction} or {@link assertFunction} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateEqualsFunction<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
 /**
  * Validates parameters with strict equality.
  *
- * Validates a function, by wrapping the function and checking its parameters through
- * {@link validateEquals} function. If some parameter does not match the expected type,
- * it returns {@link IValidation.IError} typed object. Otherwise there's no type error,
- * it returns {@link IValidation.ISuccess} typed object instead.
+ * Validates a function, by wrapping the function and checking its parameters
+ * through {@link validateEquals} function. If some parameter does not match the
+ * expected type, it returns {@link IValidation.IError} typed object. Otherwise
+ * there's no type error, it returns {@link IValidation.ISuccess} typed object
+ * instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
- * from some parameter, the path would start from `$input.parameters[number]`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validateEquals} function. If the
+ * {@link IValidation.IError} occurs from some parameter, the path would start
+ * from `$input.parameters[number]`.
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertEqualsParameters} instead. Otherwise,
- * what you want is not only validating parameters, but also validating return value,
- * you can use {@link validateEqualsFunction} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertEqualsParameters} instead.
+ * Otherwise, what you want is not only validating parameters, but also
+ * validating return value, you can use {@link validateEqualsFunction} instead.
  *
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link validateParameters} or {@link assertParameters} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateEqualsParameters<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
 /**
  * Validates return value with strict equality.
  *
- * Validates a function, by wrapping the function and checking its return value through
- * {@link validateEquals} function. If the return value does not match the expected type,
- * it returns {@link IValidation.IError} typed object. Otherwise there's no type error,
- * it returns {@link IValidation.ISuccess} typed object instead.
+ * Validates a function, by wrapping the function and checking its return value
+ * through {@link validateEquals} function. If the return value does not match
+ * the expected type, it returns {@link IValidation.IError} typed object.
+ * Otherwise there's no type error, it returns {@link IValidation.ISuccess} typed
+ * object instead.
  *
- * For reference, {@link IValidation.IError.path} would be a little bit different with
- * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
- * from the return value, the path would start from `$input.return`.
+ * For reference, {@link IValidation.IError.path} would be a little bit different
+ * with individual {@link validateEquals} function. If the
+ * {@link IValidation.IError} occurs from the return value, the path would start
+ * from `$input.return`.
  *
- * By the way, if what you want is not finding every type errors, but just finding
- * the 1st type error, then use {@link assertEqualsReturn} instead. Otherwise, what you
- * want is not only validating return value, but also validating parameters, you can use
- * {@link validateEqualsFunction} instead.
+ * By the way, if what you want is not finding every type errors, but just
+ * finding the 1st type error, then use {@link assertEqualsReturn} instead.
+ * Otherwise, what you want is not only validating return value, but also
+ * validating parameters, you can use {@link validateEqualsFunction} instead.
  *
  * On the other hand, if you want to allow any superfluous properties, utilize
  * {@link validateReturn} or {@link assertReturn} instead.
  *
+ * @author Jeongho Nam - https://github.com/samchon
  * @template T Target function type
  * @param func Target function to validate
  * @returns The wrapper function with type validations
- *
- * @author Jeongho Nam - https://github.com/samchon
  */
 export declare function validateEqualsReturn<T extends (...args: any[]) => any>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;