typia 5.1.0-dev.20230922 → 5.1.0-dev.20230924

package/lib/http.d.ts

@@ -0,0 +1,872 @@
+import { Atomic } from "./typings/Atomic";
+import { IValidation } from "./IValidation";
+import { Resolved } from "./Resolved";
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * URL query decoder.
+ *
+ * `typia.http.query()` is a function decoding a query string or an `URLSearchParams`
+ * instance, with automatic type casting to the expected type. When property type be
+ * defined as `boolean` or `number` type, `typia.http.query()` will cast the value to
+ * the expected type when decoding.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.query()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * Also, `typia.http.query()` function does not perform validation about the decoded
+ * value. Therefore, if you can't sure that input data is following the `T` type,
+ * it would better to call one of below functions intead.
+ *
+ *  - {@link assertQuery}
+ *  - {@link isQuery}
+ *  - {@link validateQuery}
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function query(): never;
+/**
+ * URL query decoder.
+ *
+ * `typia.http.query()` is a function decoding a query string or an `URLSearchParams`
+ * instance, with automatic type casting to the expected type. When property type be
+ * defined as `boolean` or `number` type, `typia.http.query()` will cast the value to
+ * the expected type when decoding.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.query()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * Also, `typia.http.query()` function does not perform validation about the decoded
+ * value. Therefore, if you can't sure that input data is following the `T` type,
+ * it would better to call one of below functions intead.
+ *
+ *  - {@link assertQuery}
+ *  - {@link isQuery}
+ *  - {@link validateQuery}
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function query<T extends object>(input: string | URLSearchParams): Resolved<T>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * URL query decoder with type assertion.
+ *
+ * `typia.http.assertQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.assertQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.assertQuery()` performs type assertion to the
+ * decoded value by combining with {@link assert} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link TypeGuardError} would be
+ * thrown.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.assertQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function assertQuery(): never;
+/**
+ * URL query decoder with type assertion.
+ *
+ * `typia.http.assertQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.assertQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.assertQuery()` performs type assertion to the
+ * decoded value by combining with {@link assert} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link TypeGuardError} would be
+ * thrown.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.assertQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function assertQuery<T extends object>(input: string | URLSearchParams): Resolved<T>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * URL query decoder with type checking.
+ *
+ * `typia.http.isQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.isQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.isQuery()` performs type checking to the
+ * decoded value by combining with {@link is} function. Therefore, when the
+ * decoded value is not following the `T` type, `null` value would be returned.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.isQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object or `null` value
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function isQuery(): never;
+/**
+ * URL query decoder with type checking.
+ *
+ * `typia.http.isQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.isQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.isQuery()` performs type checking to the
+ * decoded value by combining with {@link is} function. Therefore, when the
+ * decoded value is not following the `T` type, `null` value would be returned.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.isQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded query object or `null` value
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function isQuery<T extends object>(input: string | URLSearchParams): Resolved<T> | null;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * URL query decoder with type validation.
+ *
+ * `typia.http.validateQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.validateQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.validateQuery()` performs type validation to the
+ * decoded value by combining with {@link validate} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link IValidation.IFailure} would
+ * be returned. Otherwise, {@link IValidation.ISuccess} would be returned.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.validateQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Validation result with decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function validateQuery(): never;
+/**
+ * URL query decoder with type validation.
+ *
+ * `typia.http.validateQuery()` is a function decoding a query string or an
+ * `URLSearchParams` instance, with automatic type casting to the expected type.
+ * When property type be defined as `boolean` or `number` type,
+ * `typia.http.validateQuery()` will cast the value to the expected type when decoding.
+ *
+ * Also, after decoding, `typia.http.validateQuery()` performs type validation to the
+ * decoded value by combining with {@link validate} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link IValidation.IFailure} would
+ * be returned. Otherwise, {@link IValidation.ISuccess} would be returned.
+ *
+ * By the way, as URL query is not enough to express complex data structures,
+ * `typia.http.validateQuery()` function has some limitations. If target type `T` is
+ * notfollowing those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  4. By the way, union type never be not allowed
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Validation result with decoded query object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function validateQuery<T extends object>(input: string | URLSearchParams): IValidation<Resolved<T>>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Headers decoder.
+ *
+ * `typia.http.headers()` is a function decoding an header instance, with automatic
+ * type casting to the expected type. When property type be defined as `boolean` or
+ * `number` type, `typia.http.headers()` will cast the value to the expected type.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * Also, `typia.http.headers()` function does not perform validation about the decoded
+ * value. Therefore, if you can't sure that input data is following the `T` type,
+ * it would better to call one of below functions intead.
+ *
+ *  - {@link assertHeaders}
+ *  - {@link isHeaders}
+ *  - {@link validateHeaders}
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function headers(): never;
+/**
+ * Headers decoder.
+ *
+ * `typia.http.headers()` is a function decoding an header instance, with automatic
+ * type casting to the expected type. When property type be defined as `boolean` or
+ * `number` type, `typia.http.headers()` will cast the value to the expected type.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * Also, `typia.http.headers()` function does not perform validation about the decoded
+ * value. Therefore, if you can't sure that input data is following the `T` type,
+ * it would better to call one of below functions intead.
+ *
+ *  - {@link assertHeaders}
+ *  - {@link isHeaders}
+ *  - {@link validateHeaders}
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function headers<T extends object>(input: Record<string, string | string[] | undefined>): Resolved<T>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Headers decoder with type assertion.
+ *
+ * `typia.http.assertHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.assertHeaders()` performs type assertion to the
+ * decoded value by combining with {@link assert} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link TypeGuardError} would be
+ * thrown.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function assertHeaders(): never;
+/**
+ * Headers decoder with type assertion.
+ *
+ * `typia.http.assertHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.assertHeaders()` performs type assertion to the
+ * decoded value by combining with {@link assert} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link TypeGuardError} would be
+ * thrown.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function assertHeaders<T extends object>(input: Record<string, string | string[] | undefined>): Resolved<T>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Headers decoder with type checking.
+ *
+ * `typia.http.isHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.isHeaders()` performs type checking to the
+ * decoded value by combining with {@link is} function. Therefore, when the
+ * decoded value is not following the `T` type, `null` value would be returned.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object or `null` value
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function isHeaders(): never;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Headers decoder with type checking.
+ *
+ * `typia.http.isHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.isHeaders()` performs type checking to the
+ * decoded value by combining with {@link is} function. Therefore, when the
+ * decoded value is not following the `T` type, `null` value would be returned.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object or `null` value
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function isHeaders<T extends object>(input: Record<string, string | string[] | undefined>): Resolved<T> | null;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Headers decoder with type validation.
+ *
+ * `typia.http.validateHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.validateHeaders()` performs type assertion to the
+ * decoded value by combining with {@link validate} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link IValidation.IError} would be
+ * returned. Otherwise, {@link IValidation.ISuccess} be returned.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function validateHeaders(): never;
+/**
+ * Headers decoder with type validation.
+ *
+ * `typia.http.validateHeaders()` is a function decoding an header instance, with
+ * automatic type casting to the expected type. When property type be defined as
+ * `boolean` or `number` type, `typia.http.headers()` will cast the value to the
+ * expected type.
+ *
+ * Also, after decoding, `typia.http.validateHeaders()` performs type assertion to the
+ * decoded value by combining with {@link validate} function. Therefore, when the
+ * decoded value is not following the `T` type, {@link IValidation.IError} would be
+ * returned. Otherwise, {@link IValidation.ISuccess} be returned.
+ *
+ * By the way, as HTTP headers are not enough to express complex data structures,
+ * `typia.http.headers()` function has some limitations. If target type `T` is not
+ * following those restrictions, compilation errors would be occured.
+ *
+ *  1. Type `T` must be an object type
+ *  2. Do not allow dynamic property
+ *  3. Property key must be lower case
+ *  4. Property value cannot be `null`, but `undefined` is possible
+ *  5. Only `boolean`, `bigint`, `number`, `string` or their array types are allowed
+ *  6. By the way, union type never be not allowed
+ *  7. Property `set-cookie` must be array type
+ *  8. Those properties cannot be array type
+ *    - age
+ *    - authorization
+ *    - content-length
+ *    - content-type
+ *    - etag
+ *    - expires
+ *    - from
+ *    - host
+ *    - if-modified-since
+ *    - if-unmodified-since
+ *    - last-modified
+ *    - location
+ *    - max-forwards
+ *    - proxy-authorization
+ *    - referer
+ *    - retry-after
+ *    - server
+ *    - user-agent
+ *
+ * @template T Expected type of decoded value
+ * @param input Query string or URLSearchParams instance
+ * @returns Decoded headers object
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function validateHeaders<T extends object>(input: Record<string, string | string[] | undefined>): IValidation<Resolved<T>>;
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * URL path parameter decoder.
+ *
+ * `typia.http.parameter()` is a function decoding a path parameter, with automatic
+ * type casting to the expected type. When type `T` has beeen defined as `boolean` or
+ * `number` type, `typia.http.parameter()` will cast the value to the expected type.
+ *
+ * Also, `typia.http.parameter()` performs type assertion to the decoded value by
+ * combining with {@link assert} function. Therefore, when the decoded value is not
+ * following the `T` type, {@link TypeGuardError} would be thrown.
+ *
+ * @template T Expected type of decoded value
+ * @param input Path parameter string
+ * @returns Decoded path parameter value
+ */
+export declare function parameter(): never;
+/**
+ * URL path parameter decoder.
+ *
+ * `typia.http.parameter()` is a function decoding a path parameter, with automatic
+ * type casting to the expected type. When type `T` has beeen defined as `boolean` or
+ * `number` type, `typia.http.parameter()` will cast the value to the expected type.
+ *
+ * Also, `typia.http.parameter()` performs type assertion to the decoded value by
+ * combining with {@link assert} function. Therefore, when the decoded value is not
+ * following the `T` type, {@link TypeGuardError} would be thrown.
+ *
+ * @template T Expected type of decoded value
+ * @param input Path parameter string
+ * @returns Decoded path parameter value
+ */
+export declare function parameter<T extends Atomic.Type>(input: string): Resolved<T>;
+/**
+ * Creates a reusable {@link query} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the query object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createQuery(): never;
+/**
+ * Creates a reusable {@link query} function.
+ *
+ * @template T The type of the query object
+ * @returns A reusable `query` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createQuery<T extends object>(): (input: string | URLSearchParams) => T;
+/**
+ * Creates a reusable {@link assertQuery} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the query object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createAssertQuery(): never;
+/**
+ * Creates a reusable {@link assertQuery} function.
+ *
+ * @template T The type of the query object
+ * @returns A reusable `assertQuery` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createAssertQuery<T extends object>(): (input: string | URLSearchParams) => T;
+/**
+ * Creates a reusable {@link isQuery} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the query object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createIsQuery(): never;
+/**
+ * Creates a reusable {@link isQuery} function.
+ *
+ * @template T The type of the query object
+ * @returns A reusable `isQuery` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createIsQuery<T extends object>(): (input: string | URLSearchParams) => T | null;
+/**
+ * Creates a reusable {@link validateQuery} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the query object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createValidateQuery(): never;
+/**
+ * Creates a reusable {@link validateQuery} function.
+ *
+ * @template T The type of the query object
+ * @returns A reusable `validateQuery` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createValidateQuery<T extends object>(): (input: string | URLSearchParams) => IValidation<Resolved<T>>;
+/**
+ * Creates a reusable {@link headers} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the headers object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createHeaders(): never;
+/**
+ * Creates a reusable {@link headers} function.
+ *
+ * @template T The type of the headers object
+ * @returns A reusable `headers` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createHeaders<T extends object>(): (input: Record<string, string | string[] | undefined>) => T;
+/**
+ * Creates a reusable {@link assertHeaders} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the headers object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createAssertHeaders(): never;
+/**
+ * Creates a reusable {@link assertHeaders} function.
+ *
+ * @template T The type of the headers object
+ * @returns A reusable `assertHeaders` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createAssertHeaders<T extends object>(): (input: Record<string, string | string[] | undefined>) => T;
+/**
+ * Creates a reusable {@link isHeaders} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the headers object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createIsHeaders(): never;
+/**
+ * Creates a reusable {@link isHeaders} function.
+ *
+ * @template T The type of the headers object
+ * @returns A reusable `isHeaders` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createIsHeaders<T extends object>(): (input: Record<string, string | string[] | undefined>) => T | null;
+/**
+ * Creates a reusable {@link validateHeaders} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the headers object
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createValidateHeaders(): never;
+/**
+ * Creates a reusable {@link validateHeaders} function.
+ *
+ * @template T The type of the headers object
+ * @returns A reusable `validateHeaders` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createValidateHeaders<T extends object>(): (input: Record<string, string | string[] | undefined>) => IValidation<Resolved<T>>;
+/**
+ * Creates a reusable {@link parameter} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @template T The type of the parameter value
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createParameter(): never;
+/**
+ * Creates a reusable {@link parameter} function.
+ *
+ * @template T The type of the parameter value
+ * @returns A reusable `parameter` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare function createParameter<T extends Atomic.Type>(): (input: string) => T;