@zeruxjs/validator 0.0.0-stage → 0.0.1

package/dist/actions/trim.d.ts

@@ -0,0 +1,20 @@
+import type { BaseTransformation } from '../types/index.js';
+/**
+ * Trim action interface.
+ */
+export interface TrimAction extends BaseTransformation<string, string, never> {
+    /**
+     * The action type.
+     */
+    readonly type: 'trim';
+    /**
+     * The action reference.
+     */
+    readonly reference: typeof trim;
+}
+/**
+ * Creates a trim transformation action.
+ *
+ * @returns A trim action.
+ */
+export declare function trim(): TrimAction;

package/dist/actions/trim.js

@@ -0,0 +1,19 @@
+/**
+ * Creates a trim transformation action.
+ *
+ * @returns A trim action.
+ */
+// @__NO_SIDE_EFFECTS__
+export function trim() {
+    return {
+        kind: 'transformation',
+        type: 'trim',
+        reference: trim,
+        async: false,
+        '~run'(dataset) {
+            dataset.value = dataset.value.trim();
+            return dataset;
+        },
+    };
+}
+//# sourceMappingURL=trim.js.map

package/dist/actions/trim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trim.js","sourceRoot":"","sources":["../../src/actions/trim.ts"],"names":[],"mappings":"AAgBA;;;;GAIG;AACH,uBAAuB;AACvB,MAAM,UAAU,IAAI;IAClB,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,KAAK;QACZ,MAAM,CAAC,OAAO;YACZ,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/actions/trimEnd.d.ts

@@ -0,0 +1,20 @@
+import type { BaseTransformation } from '../types/index.js';
+/**
+ * Trim end action interface.
+ */
+export interface TrimEndAction extends BaseTransformation<string, string, never> {
+    /**
+     * The action type.
+     */
+    readonly type: 'trim_end';
+    /**
+     * The action reference.
+     */
+    readonly reference: typeof trimEnd;
+}
+/**
+ * Creates a trim end transformation action.
+ *
+ * @returns A trim end action.
+ */
+export declare function trimEnd(): TrimEndAction;

package/dist/actions/trimEnd.js

@@ -0,0 +1,19 @@
+/**
+ * Creates a trim end transformation action.
+ *
+ * @returns A trim end action.
+ */
+// @__NO_SIDE_EFFECTS__
+export function trimEnd() {
+    return {
+        kind: 'transformation',
+        type: 'trim_end',
+        reference: trimEnd,
+        async: false,
+        '~run'(dataset) {
+            dataset.value = dataset.value.trimEnd();
+            return dataset;
+        },
+    };
+}
+//# sourceMappingURL=trimEnd.js.map

package/dist/actions/trimEnd.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trimEnd.js","sourceRoot":"","sources":["../../src/actions/trimEnd.ts"],"names":[],"mappings":"AAiBA;;;;GAIG;AACH,uBAAuB;AACvB,MAAM,UAAU,OAAO;IACrB,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,UAAU;QAChB,SAAS,EAAE,OAAO;QAClB,KAAK,EAAE,KAAK;QACZ,MAAM,CAAC,OAAO;YACZ,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACxC,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/actions/trimStart.d.ts

@@ -0,0 +1,20 @@
+import type { BaseTransformation } from '../types/index.js';
+/**
+ * Trim start action interface.
+ */
+export interface TrimStartAction extends BaseTransformation<string, string, never> {
+    /**
+     * The action type.
+     */
+    readonly type: 'trim_start';
+    /**
+     * The action reference.
+     */
+    readonly reference: typeof trimStart;
+}
+/**
+ * Creates a trim start transformation action.
+ *
+ * @returns A trim start action.
+ */
+export declare function trimStart(): TrimStartAction;

package/dist/actions/trimStart.js

@@ -0,0 +1,19 @@
+/**
+ * Creates a trim start transformation action.
+ *
+ * @returns A trim start action.
+ */
+// @__NO_SIDE_EFFECTS__
+export function trimStart() {
+    return {
+        kind: 'transformation',
+        type: 'trim_start',
+        reference: trimStart,
+        async: false,
+        '~run'(dataset) {
+            dataset.value = dataset.value.trimStart();
+            return dataset;
+        },
+    };
+}
+//# sourceMappingURL=trimStart.js.map

package/dist/actions/trimStart.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trimStart.js","sourceRoot":"","sources":["../../src/actions/trimStart.ts"],"names":[],"mappings":"AAiBA;;;;GAIG;AACH,uBAAuB;AACvB,MAAM,UAAU,SAAS;IACvB,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,YAAY;QAClB,SAAS,EAAE,SAAS;QACpB,KAAK,EAAE,KAAK;QACZ,MAAM,CAAC,OAAO;YACZ,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YAC1C,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/actions/types/check.d.ts

@@ -0,0 +1,22 @@
+import type { BaseIssue, MaybePromise } from '../../types/index.js';
+/**
+ * Check issue interface.
+ */
+export interface CheckIssue<TInput> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'check';
+    /**
+     * The expected property.
+     */
+    readonly expected: null;
+    /**
+     * The validation function.
+     */
+    readonly requirement: (input: TInput) => MaybePromise<boolean>;
+}

package/dist/actions/types/check.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=check.js.map

package/dist/actions/types/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/actions/types/check.ts"],"names":[],"mappings":""}

package/dist/actions/types/checkItems.d.ts

@@ -0,0 +1,23 @@
+import type { BaseIssue } from '../../types/index.js';
+import type { ArrayInput, ArrayRequirementAsync } from '../types.js';
+/**
+ * Check items issue interface.
+ */
+export interface CheckItemsIssue<TInput extends ArrayInput> extends BaseIssue<TInput[number]> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'check_items';
+    /**
+     * The expected input.
+     */
+    readonly expected: null;
+    /**
+     * The validation function.
+     */
+    readonly requirement: ArrayRequirementAsync<TInput>;
+}

package/dist/actions/types/checkItems.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=checkItems.js.map

package/dist/actions/types/checkItems.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkItems.js","sourceRoot":"","sources":["../../../src/actions/types/checkItems.ts"],"names":[],"mappings":""}

package/dist/actions/types/index.d.ts

@@ -0,0 +1,5 @@
+export * from './check.js';
+export * from './checkItems.js';
+export * from './partialCheck.js';
+export * from './rawCheck.js';
+export * from './rawTransform.js';

package/dist/actions/types/index.js

@@ -0,0 +1,6 @@
+export * from './check.js';
+export * from './checkItems.js';
+export * from './partialCheck.js';
+export * from './rawCheck.js';
+export * from './rawTransform.js';
+//# sourceMappingURL=index.js.map

package/dist/actions/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/actions/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}

package/dist/actions/types/partialCheck.d.ts

@@ -0,0 +1,96 @@
+import type { BaseIssue, IsAny, IsNever, MaybePromise } from '../../types/index.js';
+/**
+ * Partial input type.
+ */
+export type PartialInput = Record<string, unknown> | ArrayLike<unknown>;
+/**
+ * Partial check issue interface.
+ */
+export interface PartialCheckIssue<TInput extends PartialInput> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'partial_check';
+    /**
+     * The expected input.
+     */
+    readonly expected: null;
+    /**
+     * The validation function.
+     */
+    readonly requirement: (input: TInput) => MaybePromise<boolean>;
+}
+/**
+ * Extracts the exact keys of a tuple, array or object.
+ */
+type KeyOf<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly unknown[] ? number extends TValue['length'] ? '$' : {
+    [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? TIndex : never;
+}[number] : TValue extends Record<string, unknown> ? keyof TValue & (string | number) : never;
+/**
+ * Path type.
+ */
+type Path = readonly (string | number)[];
+/**
+ * Required path type.
+ */
+type RequiredPath = readonly [string | number, ...Path];
+/**
+ * Paths type.
+ */
+export type Paths = readonly RequiredPath[];
+/**
+ * Required paths type.
+ */
+export type RequiredPaths = readonly [RequiredPath, ...RequiredPath[]];
+/**
+ * Lazily evaluate only the first valid path segment based on the given value.
+ */
+type LazyPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValidPath : TPathToCheck extends readonly [
+    infer TFirstKey extends KeyOf<TValue>,
+    ...infer TPathRest extends Path
+] ? LazyPath<TFirstKey extends keyof TValue ? TValue[TFirstKey] : TFirstKey extends '$' ? TValue extends readonly unknown[] ? TValue[number] : never : never, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<KeyOf<TValue>> extends false ? readonly [...TValidPath, KeyOf<TValue>] : TValidPath;
+/**
+ * Returns the path if valid, otherwise the first possible valid path based on
+ * the given value.
+ */
+type ValidPath<TValue, TPath extends RequiredPath> = TPath extends LazyPath<TValue, TPath> ? TPath : LazyPath<TValue, TPath>;
+/**
+ * Returns a valid path for any given path based on the given value.
+ */
+export type ValidPaths<TValue, TPaths extends RequiredPaths> = {
+    [TKey in keyof TPaths]: ValidPath<TValue, TPaths[TKey]>;
+};
+/**
+ * Deeply picks specific keys.
+ *
+ * Hint: If this type is ever exported and accessible from the outside, it must
+ * be wrapped in `UnionToIntersect` to avoid invalid results.
+ */
+type DeepPick<TValue, TPath extends Path> = TPath extends readonly [
+    infer TFirstKey extends string | number,
+    ...infer TPathRest extends Path
+] ? TValue extends readonly unknown[] ? number extends TValue['length'] ? TPathRest extends readonly [] ? TValue : DeepPick<TValue[number], TPathRest>[] : {
+    [TKey in keyof TValue]: TKey extends `${TFirstKey}` ? TPathRest extends readonly [] ? TValue[TKey] : DeepPick<TValue[TKey], TPathRest> : unknown;
+} : {
+    [TKey in keyof TValue as TKey extends TFirstKey ? TKey : never]: TPathRest extends readonly [] ? TValue[TKey] : DeepPick<TValue[TKey], TPathRest>;
+} : never;
+/**
+ * Deeply merges two types.
+ */
+type DeepMerge<TValue1, TValue2> = TValue1 extends readonly unknown[] ? TValue2 extends readonly unknown[] ? number extends TValue1['length'] | TValue2['length'] ? DeepMerge<TValue1[number], TValue2[number]>[] : {
+    [TKey in keyof TValue1]: TKey extends keyof TValue2 ? unknown extends TValue1[TKey] ? TValue2[TKey] : TValue1[TKey] : never;
+} : never : TValue1 extends Record<string, unknown> ? TValue2 extends Record<string, unknown> ? {
+    [TKey in keyof (TValue1 & TValue2)]: TKey extends keyof TValue1 ? TKey extends keyof TValue2 ? DeepMerge<TValue1[TKey], TValue2[TKey]> : TValue1[TKey] : TKey extends keyof TValue2 ? TValue2[TKey] : never;
+} : never : TValue1 & TValue2;
+/**
+ * Deeply picks N specific keys.
+ */
+export type DeepPickN<TInput, TPaths extends Paths> = TPaths extends readonly [
+    infer TFirstPath extends Path,
+    ...infer TRestPaths extends Paths
+] ? TRestPaths extends readonly [] ? DeepPick<TInput, TFirstPath> : DeepMerge<DeepPick<TInput, TFirstPath>, DeepPickN<TInput, TRestPaths>> : TInput;
+export {};

package/dist/actions/types/partialCheck.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=partialCheck.js.map

package/dist/actions/types/partialCheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"partialCheck.js","sourceRoot":"","sources":["../../../src/actions/types/partialCheck.ts"],"names":[],"mappings":""}

package/dist/actions/types/rawCheck.d.ts

@@ -0,0 +1,37 @@
+import type { BaseIssue, Config, ErrorMessage, IssuePathItem, OutputDataset } from '../../types/index.js';
+/**
+ * Raw check issue interface.
+ */
+export interface RawCheckIssue<TInput> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'raw_check';
+}
+/**
+ * Raw check issue info interface.
+ */
+export interface RawCheckIssueInfo<TInput> {
+    label?: string | undefined;
+    input?: unknown | undefined;
+    expected?: string | undefined;
+    received?: string | undefined;
+    message?: ErrorMessage<RawCheckIssue<TInput>> | undefined;
+    path?: [IssuePathItem, ...IssuePathItem[]] | undefined;
+}
+/**
+ * Raw check add issue type.
+ */
+export type RawCheckAddIssue<TInput> = (info?: RawCheckIssueInfo<TInput>) => void;
+/**
+ * Raw check context interface.
+ */
+export interface RawCheckContext<TInput> {
+    readonly dataset: OutputDataset<TInput, BaseIssue<unknown>>;
+    readonly config: Config<RawCheckIssue<TInput>>;
+    readonly addIssue: RawCheckAddIssue<TInput>;
+}

package/dist/actions/types/rawCheck.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rawCheck.js.map

package/dist/actions/types/rawCheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rawCheck.js","sourceRoot":"","sources":["../../../src/actions/types/rawCheck.ts"],"names":[],"mappings":""}

package/dist/actions/types/rawTransform.d.ts

@@ -0,0 +1,38 @@
+import type { BaseIssue, Config, ErrorMessage, IssuePathItem, SuccessDataset } from '../../types/index.js';
+/**
+ * Raw transform issue interface.
+ */
+export interface RawTransformIssue<TInput> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'transformation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'raw_transform';
+}
+/**
+ * Raw transform issue info interface.
+ */
+export interface RawTransformIssueInfo<TInput> {
+    label?: string | undefined;
+    input?: unknown | undefined;
+    expected?: string | undefined;
+    received?: string | undefined;
+    message?: ErrorMessage<RawTransformIssue<TInput>> | undefined;
+    path?: [IssuePathItem, ...IssuePathItem[]] | undefined;
+}
+/**
+ * Raw transform add issue type.
+ */
+export type RawTransformAddIssue<TInput> = (info?: RawTransformIssueInfo<TInput>) => void;
+/**
+ * Raw transform context interface.
+ */
+export interface RawTransformContext<TInput> {
+    readonly dataset: SuccessDataset<TInput>;
+    readonly config: Config<RawTransformIssue<TInput>>;
+    readonly addIssue: RawTransformAddIssue<TInput>;
+    readonly NEVER: never;
+}

package/dist/actions/types/rawTransform.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rawTransform.js.map

package/dist/actions/types/rawTransform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rawTransform.js","sourceRoot":"","sources":["../../../src/actions/types/rawTransform.ts"],"names":[],"mappings":""}

package/dist/actions/types.d.ts

@@ -0,0 +1,37 @@
+import type { MaybePromise, MaybeReadonly } from '../types/index.js';
+/**
+ * Array input type.
+ */
+export type ArrayInput = MaybeReadonly<unknown[]>;
+/**
+ * Array requirement type.
+ */
+export type ArrayRequirement<TInput extends ArrayInput> = (item: TInput[number], index: number, array: TInput) => boolean;
+/**
+ * Array requirement async type.
+ */
+export type ArrayRequirementAsync<TInput extends ArrayInput> = (item: TInput[number], index: number, array: TInput) => MaybePromise<boolean>;
+/**
+ * Content input type.
+ */
+export type ContentInput = string | MaybeReadonly<unknown[]>;
+/**
+ * Content requirement type.
+ */
+export type ContentRequirement<TInput extends ContentInput> = TInput extends readonly unknown[] ? TInput[number] : TInput;
+/**
+ * Entries input type.
+ */
+export type EntriesInput = Record<string | number, unknown>;
+/**
+ * Length input type.
+ */
+export type LengthInput = string | ArrayLike<unknown>;
+/**
+ * Size input type.
+ */
+export type SizeInput = Blob | Map<unknown, unknown> | Set<unknown>;
+/**
+ * Value input type.
+ */
+export type ValueInput = string | number | bigint | boolean | Date;

package/dist/actions/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/actions/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/actions/types.ts"],"names":[],"mappings":""}

package/dist/actions/ulid.d.ts

@@ -0,0 +1,65 @@
+import type { BaseIssue, BaseValidation, ErrorMessage } from '../types/index.js';
+/**
+ * ULID issue interface.
+ */
+export interface UlidIssue<TInput extends string> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'ulid';
+    /**
+     * The expected property.
+     */
+    readonly expected: null;
+    /**
+     * The received property.
+     */
+    readonly received: `"${string}"`;
+    /**
+     * The ULID regex.
+     */
+    readonly requirement: RegExp;
+}
+/**
+ * ULID action interface.
+ */
+export interface UlidAction<TInput extends string, TMessage extends ErrorMessage<UlidIssue<TInput>> | undefined> extends BaseValidation<TInput, TInput, UlidIssue<TInput>> {
+    /**
+     * The action type.
+     */
+    readonly type: 'ulid';
+    /**
+     * The action reference.
+     */
+    readonly reference: typeof ulid;
+    /**
+     * The expected property.
+     */
+    readonly expects: null;
+    /**
+     * The ULID regex.
+     */
+    readonly requirement: RegExp;
+    /**
+     * The error message.
+     */
+    readonly message: TMessage;
+}
+/**
+ * Creates an [ULID](https://github.com/ulid/spec) validation action.
+ *
+ * @returns An ULID action.
+ */
+export declare function ulid<TInput extends string>(): UlidAction<TInput, undefined>;
+/**
+ * Creates an [ULID](https://github.com/ulid/spec) validation action.
+ *
+ * @param message The error message.
+ *
+ * @returns An ULID action.
+ */
+export declare function ulid<TInput extends string, const TMessage extends ErrorMessage<UlidIssue<TInput>> | undefined>(message: TMessage): UlidAction<TInput, TMessage>;

package/dist/actions/ulid.js

@@ -0,0 +1,21 @@
+import { ULID_REGEX } from '../regex.js';
+import { _addIssue } from '../utils/index.js';
+// @__NO_SIDE_EFFECTS__
+export function ulid(message) {
+    return {
+        kind: 'validation',
+        type: 'ulid',
+        reference: ulid,
+        async: false,
+        expects: null,
+        requirement: ULID_REGEX,
+        message,
+        '~run'(dataset, config) {
+            if (dataset.typed && !this.requirement.test(dataset.value)) {
+                _addIssue(this, 'ULID', dataset, config);
+            }
+            return dataset;
+        },
+    };
+}
+//# sourceMappingURL=ulid.js.map

package/dist/actions/ulid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ulid.js","sourceRoot":"","sources":["../../src/actions/ulid.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMzC,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AA4E9C,uBAAuB;AACvB,MAAM,UAAU,IAAI,CAClB,OAAyC;IAEzC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,UAAU;QACvB,OAAO;QACP,MAAM,CAAC,OAAO,EAAE,MAAM;YACpB,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3D,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/actions/url.d.ts

@@ -0,0 +1,71 @@
+import type { BaseIssue, BaseValidation, ErrorMessage } from '../types/index.js';
+/**
+ * URL issue interface.
+ */
+export interface UrlIssue<TInput extends string> extends BaseIssue<TInput> {
+    /**
+     * The issue kind.
+     */
+    readonly kind: 'validation';
+    /**
+     * The issue type.
+     */
+    readonly type: 'url';
+    /**
+     * The expected property.
+     */
+    readonly expected: null;
+    /**
+     * The received property.
+     */
+    readonly received: `"${string}"`;
+    /**
+     * The validation function.
+     */
+    readonly requirement: (input: string) => boolean;
+}
+/**
+ * URL action interface.
+ */
+export interface UrlAction<TInput extends string, TMessage extends ErrorMessage<UrlIssue<TInput>> | undefined> extends BaseValidation<TInput, TInput, UrlIssue<TInput>> {
+    /**
+     * The action type.
+     */
+    readonly type: 'url';
+    /**
+     * The action reference.
+     */
+    readonly reference: typeof url;
+    /**
+     * The expected property.
+     */
+    readonly expects: null;
+    /**
+     * The validation function.
+     */
+    readonly requirement: (input: string) => boolean;
+    /**
+     * The error message.
+     */
+    readonly message: TMessage;
+}
+/**
+ * Creates an [URL](https://en.wikipedia.org/wiki/URL) validation action.
+ *
+ * Hint: The value is passed to the URL constructor to check if it is valid.
+ * This check is not perfect. For example, values like "abc:1234" are accepted.
+ *
+ * @returns An URL action.
+ */
+export declare function url<TInput extends string>(): UrlAction<TInput, undefined>;
+/**
+ * Creates an [URL](https://en.wikipedia.org/wiki/URL) validation action.
+ *
+ * Hint: The value is passed to the URL constructor to check if it is valid.
+ * This check is not perfect. For example, values like "abc:1234" are accepted.
+ *
+ * @param message The error message.
+ *
+ * @returns An URL action.
+ */
+export declare function url<TInput extends string, const TMessage extends ErrorMessage<UrlIssue<TInput>> | undefined>(message: TMessage): UrlAction<TInput, TMessage>;

package/dist/actions/url.js

@@ -0,0 +1,28 @@
+import { _addIssue } from '../utils/index.js';
+// @__NO_SIDE_EFFECTS__
+export function url(message) {
+    return {
+        kind: 'validation',
+        type: 'url',
+        reference: url,
+        async: false,
+        expects: null,
+        requirement(input) {
+            try {
+                new URL(input);
+                return true;
+            }
+            catch {
+                return false;
+            }
+        },
+        message,
+        '~run'(dataset, config) {
+            if (dataset.typed && !this.requirement(dataset.value)) {
+                _addIssue(this, 'URL', dataset, config);
+            }
+            return dataset;
+        },
+    };
+}
+//# sourceMappingURL=url.js.map

package/dist/actions/url.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"url.js","sourceRoot":"","sources":["../../src/actions/url.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAkF9C,uBAAuB;AACvB,MAAM,UAAU,GAAG,CACjB,OAAoD;IAEpD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,GAAG;QACd,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,IAAI;QACb,WAAW,CAAC,KAAK;YACf,IAAI,CAAC;gBACH,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBACf,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO;QACP,MAAM,CAAC,OAAO,EAAE,MAAM;YACpB,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtD,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}