@tsgonest/types 0.9.2 → 0.10.0

package/dist/chunk-CfYAbeIz.mjs

@@ -0,0 +1,13 @@
+//#region \0rolldown/runtime.js
+var __defProp = Object.defineProperty;
+var __exportAll = (all, no_symbols) => {
+	let target = {};
+	for (var name in all) __defProp(target, name, {
+		get: all[name],
+		enumerable: true
+	});
+	if (!no_symbols) __defProp(target, Symbol.toStringTag, { value: "Module" });
+	return target;
+};
+//#endregion
+export { __exportAll as t };

package/dist/index.cjs

@@ -1,9 +1,8 @@
-Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
-const require_tags = require('./tags.cjs');
-
-Object.defineProperty(exports, 'tags', {
-  enumerable: true,
-  get: function () {
-    return require_tags.tags_exports;
-  }
-});
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
+const require_tags = require("./tags.cjs");
+Object.defineProperty(exports, "tags", {
+	enumerable: true,
+	get: function() {
+		return require_tags.tags_exports;
+	}
+});

package/dist/index.d.cts

@@ -1,2 +1,2 @@
-import { t as tags_d_exports } from "./tags.cjs";
+import { lt as tags_d_exports } from "./tags-Bjy_mpjh.cjs";
 export { tags_d_exports as tags };

package/dist/index.mjs

@@ -1,3 +1,2 @@
 import { t as tags_exports } from "./tags.mjs";
-
-export { tags_exports as tags };
+export { tags_exports as tags };

package/dist/tags-Bjy_mpjh.d.cts

@@ -0,0 +1,544 @@
+declare namespace tags_d_exports {
+  export { Between, Coerce, Cuid, Cuid2, DateOnly, DateTime, Default, Double, Duration, Email, EndsWith, Error, ExclusiveMaximum, ExclusiveMinimum, Finite, Format, FormatValue, Gt, Gte, IPv4, IPv6, Includes, Int, Jwt, Length, Lowercase, Lt, Lte, Max, MaxItems, MaxLength, Maximum, Min, MinItems, MinLength, Minimum, MultipleOf, NanoId, Negative, NonNegative, NonPositive, NumericTypeValue, Pattern, Positive, Range, SafeInt, StartsWith, Step, Time, ToLowerCase, ToUpperCase, Trim, Type, Uint, Ulid, Unique, UniqueItems, Uppercase, Uri, Url, Uuid, Validate };
+}
+/**
+ * @tsgonest/types — Zero-runtime branded types for type-safe validation.
+ *
+ * These types exist purely at compile time. They produce NO runtime code.
+ * The tsgonest compiler reads phantom properties (`__tsgonest_*`) to generate validators.
+ *
+ * All phantom properties are optional (`?`) so that branded types remain
+ * assignable from their base types (e.g. `string` → `string & Email`).
+ * This follows the same pattern as typia's optional `"typia.tag"` property.
+ *
+ * Every constraint supports two forms:
+ *   - Simple:   Min<0>              — clean, no custom error
+ *   - Extended: Min<{value: 0, error: "Must be positive"}>  — with per-constraint error
+ *
+ * @example
+ *   import { Email, Min, Max, Trim, Coerce } from "@tsgonest/types";
+ *
+ *   interface CreateUserDto {
+ *     email: string & Email;
+ *     name: string & Trim & Min<1> & Max<255>;
+ *     age: number & Min<0> & Max<150>;
+ *   }
+ *
+ *   // With per-constraint errors:
+ *   interface StrictDto {
+ *     email: string & Format<{type: "email", error: "Must be a valid email"}>;
+ *     age: number & Min<{value: 0, error: "Age cannot be negative"}>;
+ *   }
+ *
+ *   // Query params with coercion:
+ *   interface QueryDto {
+ *     page: number & Coerce;
+ *     active: boolean & Coerce;
+ *   }
+ */
+/** All supported string format values. */
+type FormatValue = "email" | "idn-email" | "url" | "uri" | "uri-reference" | "uri-template" | "iri" | "iri-reference" | "uuid" | "ipv4" | "ipv6" | "hostname" | "idn-hostname" | "date-time" | "date" | "time" | "duration" | "json-pointer" | "relative-json-pointer" | "byte" | "password" | "regex" | "nanoid" | "cuid" | "cuid2" | "ulid" | "jwt" | "base64url" | "hex" | "mac" | "cidrv4" | "cidrv6" | "emoji";
+/**
+ * Validate a string matches a specific format.
+ *
+ * @example
+ *   Format<"email">
+ *   Format<{type: "email", error: "Must be a valid email"}>
+ */
+type Format<F extends FormatValue | {
+  type: FormatValue;
+  error?: string;
+}> = F extends {
+  type: infer V;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_format?: V;
+  readonly __tsgonest_format_error?: E;
+} : {
+  readonly __tsgonest_format?: F extends {
+    type: infer V;
+  } ? V : F;
+};
+/**
+ * Minimum string length.
+ * @example MinLength<1>  or  MinLength<{value: 1, error: "Cannot be empty"}>
+ */
+type MinLength<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_minLength?: V;
+  readonly __tsgonest_minLength_error?: E;
+} : {
+  readonly __tsgonest_minLength?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Maximum string length.
+ * @example MaxLength<255>  or  MaxLength<{value: 255, error: "Too long"}>
+ */
+type MaxLength<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_maxLength?: V;
+  readonly __tsgonest_maxLength_error?: E;
+} : {
+  readonly __tsgonest_maxLength?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Regex pattern constraint.
+ * @example Pattern<"^[a-z]+$">  or  Pattern<{value: "^[a-z]+$", error: "Letters only"}>
+ */
+type Pattern<P extends string | {
+  value: string;
+  error?: string;
+}> = P extends {
+  value: infer V extends string;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_pattern?: V;
+  readonly __tsgonest_pattern_error?: E;
+} : {
+  readonly __tsgonest_pattern?: P extends {
+    value: infer V;
+  } ? V : P;
+};
+/**
+ * String must start with prefix.
+ * @example StartsWith<"https://">
+ */
+type StartsWith<S extends string | {
+  value: string;
+  error?: string;
+}> = S extends {
+  value: infer V extends string;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_startsWith?: V;
+  readonly __tsgonest_startsWith_error?: E;
+} : {
+  readonly __tsgonest_startsWith?: S extends {
+    value: infer V;
+  } ? V : S;
+};
+/**
+ * String must end with suffix.
+ * @example EndsWith<".json">
+ */
+type EndsWith<S extends string | {
+  value: string;
+  error?: string;
+}> = S extends {
+  value: infer V extends string;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_endsWith?: V;
+  readonly __tsgonest_endsWith_error?: E;
+} : {
+  readonly __tsgonest_endsWith?: S extends {
+    value: infer V;
+  } ? V : S;
+};
+/**
+ * String must contain substring.
+ * @example Includes<"@">
+ */
+type Includes<S extends string | {
+  value: string;
+  error?: string;
+}> = S extends {
+  value: infer V extends string;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_includes?: V;
+  readonly __tsgonest_includes_error?: E;
+} : {
+  readonly __tsgonest_includes?: S extends {
+    value: infer V;
+  } ? V : S;
+};
+/**
+ * Minimum value (inclusive): value >= N.
+ * @example Minimum<0>  or  Min<0>  or  Min<{value: 0, error: "Must be non-negative"}>
+ */
+type Minimum<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_minimum?: V;
+  readonly __tsgonest_minimum_error?: E;
+} : {
+  readonly __tsgonest_minimum?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Maximum value (inclusive): value <= N.
+ * @example Maximum<100>  or  Max<100>
+ */
+type Maximum<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_maximum?: V;
+  readonly __tsgonest_maximum_error?: E;
+} : {
+  readonly __tsgonest_maximum?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Exclusive minimum: value > N.
+ * @example ExclusiveMinimum<0>  or  Gt<0>
+ */
+type ExclusiveMinimum<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_exclusiveMinimum?: V;
+  readonly __tsgonest_exclusiveMinimum_error?: E;
+} : {
+  readonly __tsgonest_exclusiveMinimum?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Exclusive maximum: value < N.
+ * @example ExclusiveMaximum<100>  or  Lt<100>
+ */
+type ExclusiveMaximum<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_exclusiveMaximum?: V;
+  readonly __tsgonest_exclusiveMaximum_error?: E;
+} : {
+  readonly __tsgonest_exclusiveMaximum?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Value must be a multiple of N.
+ * @example MultipleOf<2>  or  Step<0.01>
+ */
+type MultipleOf<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_multipleOf?: V;
+  readonly __tsgonest_multipleOf_error?: E;
+} : {
+  readonly __tsgonest_multipleOf?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/** Valid numeric type values. */
+type NumericTypeValue = "int32" | "uint32" | "int64" | "uint64" | "float" | "double";
+/**
+ * Constrain number to a specific numeric type.
+ * @example Type<"int32">  or  Type<{type: "int32", error: "Must be integer"}>
+ */
+type Type<T extends NumericTypeValue | {
+  type: NumericTypeValue;
+  error?: string;
+}> = T extends {
+  type: infer V;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_type?: V;
+  readonly __tsgonest_type_error?: E;
+} : {
+  readonly __tsgonest_type?: T extends {
+    type: infer V;
+  } ? V : T;
+};
+/**
+ * Minimum array length.
+ * @example MinItems<1>
+ */
+type MinItems<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_minItems?: V;
+  readonly __tsgonest_minItems_error?: E;
+} : {
+  readonly __tsgonest_minItems?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Maximum array length.
+ * @example MaxItems<100>
+ */
+type MaxItems<N extends number | {
+  value: number;
+  error?: string;
+}> = N extends {
+  value: infer V extends number;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_maxItems?: V;
+  readonly __tsgonest_maxItems_error?: E;
+} : {
+  readonly __tsgonest_maxItems?: N extends {
+    value: infer V;
+  } ? V : N;
+};
+/**
+ * Array items must be unique.
+ * @example UniqueItems  or  Unique  or  Unique<{error: "No duplicates"}>
+ */
+type UniqueItems<C extends {
+  error?: string;
+} = {}> = C extends {
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_uniqueItems?: true;
+  readonly __tsgonest_uniqueItems_error?: E;
+} : {
+  readonly __tsgonest_uniqueItems?: true;
+};
+/**
+ * String must be all uppercase.
+ * @example Uppercase  or  Uppercase<{error: "Must be uppercase"}>
+ */
+type Uppercase<C extends {
+  error?: string;
+} = {}> = C extends {
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_uppercase?: true;
+  readonly __tsgonest_uppercase_error?: E;
+} : {
+  readonly __tsgonest_uppercase?: true;
+};
+/**
+ * String must be all lowercase.
+ * @example Lowercase  or  Lowercase<{error: "Must be lowercase"}>
+ */
+type Lowercase<C extends {
+  error?: string;
+} = {}> = C extends {
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_lowercase?: true;
+  readonly __tsgonest_lowercase_error?: E;
+} : {
+  readonly __tsgonest_lowercase?: true;
+};
+/** Trim whitespace before validation. */
+type Trim = {
+  readonly __tsgonest_transform_trim?: true;
+};
+/** Convert to lowercase before validation. */
+type ToLowerCase = {
+  readonly __tsgonest_transform_toLowerCase?: true;
+};
+/** Convert to uppercase before validation. */
+type ToUpperCase = {
+  readonly __tsgonest_transform_toUpperCase?: true;
+};
+/**
+ * Coerce string inputs to the declared type before validation.
+ * - "123" → 123 (string to number)
+ * - "true"/"false" → true/false (string to boolean)
+ *
+ * @example
+ *   page: number & Coerce
+ *   active: boolean & Coerce
+ */
+type Coerce = {
+  readonly __tsgonest_coerce?: true;
+};
+/**
+ * Validate using a custom function. The function must be a predicate:
+ * `(value: T) => boolean`. tsgonest resolves the function's source file
+ * and emits an import + call in the generated validator.
+ *
+ * @example
+ *   import { isValidCard } from "./validators/credit-card";
+ *
+ *   interface PaymentDto {
+ *     card: string & Validate<typeof isValidCard>;
+ *     card: string & Validate<{fn: typeof isValidCard, error: "Invalid card"}>;
+ *   }
+ */
+type Validate<F extends ((...args: any[]) => boolean) | {
+  fn: (...args: any[]) => boolean;
+  error?: string;
+}> = F extends {
+  fn: infer Fn;
+  error: infer E extends string;
+} ? {
+  readonly __tsgonest_validate?: Fn;
+  readonly __tsgonest_validate_error?: E;
+} : {
+  readonly __tsgonest_validate?: F extends {
+    fn: infer Fn;
+  } ? Fn : F;
+};
+/**
+ * Global error message — applies to all validation failures on this property.
+ * Per-constraint errors (via `error` field) take precedence.
+ * @example string & Format<"email"> & Error<"Invalid email">
+ */
+type Error<M extends string> = {
+  readonly __tsgonest_error?: M;
+};
+/**
+ * Default value for optional properties. Assigned when value is undefined.
+ * @example theme?: string & Default<"light">
+ */
+type Default<V extends string | number | boolean> = {
+  readonly __tsgonest_default?: V;
+};
+/**
+ * Exact length (sets both MinLength and MaxLength).
+ * @example Length<2>  or  Length<{value: 2, error: "Must be exactly 2 chars"}>
+ */
+type Length<N extends number | {
+  value: number;
+  error?: string;
+}> = MinLength<N> & MaxLength<N>;
+/**
+ * Numeric range (inclusive). Sets Minimum and Maximum.
+ * @example Range<{min: 0, max: 100}>  or  Range<{min: 0, max: 100, error: "Out of range"}>
+ */
+type Range<R extends {
+  min: number;
+  max: number;
+  error?: string;
+}> = Minimum<R extends {
+  error: string;
+} ? {
+  value: R["min"];
+  error: R["error"];
+} : R["min"]> & Maximum<R extends {
+  error: string;
+} ? {
+  value: R["max"];
+  error: R["error"];
+} : R["max"]>;
+/**
+ * String length range. Sets MinLength and MaxLength.
+ * @example Between<{min: 1, max: 255}>  or  Between<{min: 1, max: 255, error: "Bad length"}>
+ */
+type Between<R extends {
+  min: number;
+  max: number;
+  error?: string;
+}> = MinLength<R extends {
+  error: string;
+} ? {
+  value: R["min"];
+  error: R["error"];
+} : R["min"]> & MaxLength<R extends {
+  error: string;
+} ? {
+  value: R["max"];
+  error: R["error"];
+} : R["max"]>;
+/** Alias for Minimum. `Min<0>` = `Minimum<0>` */
+type Min<N extends number | {
+  value: number;
+  error?: string;
+}> = Minimum<N>;
+/** Alias for Maximum. `Max<100>` = `Maximum<100>` */
+type Max<N extends number | {
+  value: number;
+  error?: string;
+}> = Maximum<N>;
+/** Alias for ExclusiveMinimum. `Gt<0>` = "greater than 0" */
+type Gt<N extends number | {
+  value: number;
+  error?: string;
+}> = ExclusiveMinimum<N>;
+/** Alias for ExclusiveMaximum. `Lt<100>` = "less than 100" */
+type Lt<N extends number | {
+  value: number;
+  error?: string;
+}> = ExclusiveMaximum<N>;
+/** Alias for Minimum + ExclusiveMinimum combo. `Gte<0>` = `Min<0>` */
+type Gte<N extends number | {
+  value: number;
+  error?: string;
+}> = Minimum<N>;
+/** Alias for Maximum + ExclusiveMaximum combo. `Lte<100>` = `Max<100>` */
+type Lte<N extends number | {
+  value: number;
+  error?: string;
+}> = Maximum<N>;
+/** Alias for MultipleOf. `Step<0.01>` */
+type Step<N extends number | {
+  value: number;
+  error?: string;
+}> = MultipleOf<N>;
+/** Alias for UniqueItems. `Unique` */
+type Unique<C extends {
+  error?: string;
+} = {}> = UniqueItems<C>;
+type Email = Format<"email">;
+type Uuid = Format<"uuid">;
+type Url = Format<"url">;
+type Uri = Format<"uri">;
+type IPv4 = Format<"ipv4">;
+type IPv6 = Format<"ipv6">;
+type DateTime = Format<"date-time">;
+type DateOnly = Format<"date">;
+type Time = Format<"time">;
+type Duration = Format<"duration">;
+type Jwt = Format<"jwt">;
+type Ulid = Format<"ulid">;
+type Cuid = Format<"cuid">;
+type Cuid2 = Format<"cuid2">;
+type NanoId = Format<"nanoid">;
+/** number & Gt<0> */
+type Positive = ExclusiveMinimum<0>;
+/** number & Lt<0> */
+type Negative = ExclusiveMaximum<0>;
+/** number & Min<0> */
+type NonNegative = Minimum<0>;
+/** number & Max<0> */
+type NonPositive = Maximum<0>;
+/** number & Type<"int32"> */
+type Int = Type<"int32">;
+/** number & Type<"int64"> (JS safe integer range) */
+type SafeInt = Type<"int64">;
+/** number & Type<"float"> (finite, no Infinity/NaN) */
+type Finite = Type<"float">;
+/** number & Type<"uint32"> */
+type Uint = Type<"uint32">;
+/** number & Type<"double"> */
+type Double = Type<"double">;
+//#endregion
+export { Type as $, MaxItems as A, NonNegative as B, Int as C, Lt as D, Lowercase as E, MinLength as F, Range as G, NumericTypeValue as H, Minimum as I, Step as J, SafeInt as K, MultipleOf as L, Maximum as M, Min as N, Lte as O, MinItems as P, Trim as Q, NanoId as R, Includes as S, Length as T, Pattern as U, NonPositive as V, Positive as W, ToLowerCase as X, Time as Y, ToUpperCase as Z, FormatValue as _, DateOnly as a, Uri as at, IPv4 as b, Double as c, Validate as ct, EndsWith as d, Uint as et, Error as f, Format as g, Finite as h, Cuid2 as i, Uppercase as it, MaxLength as j, Max as k, Duration as l, tags_d_exports as lt, ExclusiveMinimum as m, Coerce as n, Unique as nt, DateTime as o, Url as ot, ExclusiveMaximum as p, StartsWith as q, Cuid as r, UniqueItems as rt, Default as s, Uuid as st, Between as t, Ulid as tt, Email as u, Gt as v, Jwt as w, IPv6 as x, Gte as y, Negative as z };
+//# sourceMappingURL=tags-Bjy_mpjh.d.cts.map

package/dist/tags-Bjy_mpjh.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tags-Bjy_mpjh.d.cts","names":[],"sources":["../src/tags.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAoDY,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA,KAC9D,CAAA;EAAY,IAAA;EAAe,KAAA;AAAA;EAAA,SACZ,iBAAA,GAAoB,CAAA;EAAA,SAAY,uBAAA,GAA0B,CAAA;AAAA;EAAA,SAC1D,iBAAA,GAAoB,CAAA;IAAY,IAAA;EAAA,IAAkB,CAAA,GAAI,CAAA;AAAA;;;;;KAU3D,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA,KACxD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,oBAAA,GAAuB,CAAA;EAAA,SAAY,0BAAA,GAA6B,CAAA;AAAA;EAAA,SAChE,oBAAA,GAAuB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM/D,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA,KACxD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,oBAAA,GAAuB,CAAA;EAAA,SAAY,0BAAA,GAA6B,CAAA;AAAA;EAAA,SAChE,oBAAA,GAAuB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM/D,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA,KACzD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,qBAAA,GAAwB,CAAA;EAAA,SAAY,2BAAA,GAA8B,CAAA;AAAA;EAAA,SAClE,qBAAA,GAAwB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAMhE,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;AA9B1E;KAoCY,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAU9D,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA,KAC/D,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,2BAAA,GAA8B,CAAA;EAAA,SAAY,iCAAA,GAAoC,CAAA;AAAA;EAAA,SAC9E,2BAAA,GAA8B,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAMtE,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA,KAC/D,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,2BAAA,GAA8B,CAAA;EAAA,SAAY,iCAAA,GAAoC,CAAA;AAAA;EAAA,SAC9E,2BAAA,GAA8B,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;AApDlF;KA0DY,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA,KACzD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,qBAAA,GAAwB,CAAA;EAAA,SAAY,2BAAA,GAA8B,CAAA;AAAA;EAAA,SAClE,qBAAA,GAAwB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;KAOhE,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA,KACtE,CAAA;EAAY,IAAA;EAAe,KAAA;AAAA;EAAA,SACZ,eAAA,GAAkB,CAAA;EAAA,SAAY,qBAAA,GAAwB,CAAA;AAAA;EAAA,SACtD,eAAA,GAAkB,CAAA;IAAY,IAAA;EAAA,IAAkB,CAAA,GAAI,CAAA;AAAA;;;;;KAUzD,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM9D,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM9D,WAAA;EAAwB,KAAA;AAAA,UAClC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,sBAAA;EAAA,SAAwC,4BAAA,GAA+B,CAAA;AAAA;EAAA,SACvE,sBAAA;AAAA;;;;;KAUL,SAAA;EAAsB,KAAA;AAAA,UAChC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,oBAAA;EAAA,SAAsC,0BAAA,GAA6B,CAAA;AAAA;EAAA,SACnE,oBAAA;AAAA;;;;;KAML,SAAA;EAAsB,KAAA;AAAA,UAChC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,oBAAA;EAAA,SAAsC,0BAAA,GAA6B,CAAA;AAAA;EAAA,SACnE,oBAAA;AAAA;;KAOL,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA;;KAGzB,WAAA;EAAA,SAAyB,gCAAA;AAAA;;;;;;;;;;KAezB,MAAA;EAAA,SAAoB,iBAAA;AAAA;;;;;;;;;;;;;;KAmBpB,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA,KAC3E,CAAA;EAAY,EAAA;EAAc,KAAA;AAAA;EAAA,SACb,mBAAA,GAAsB,EAAA;EAAA,SAAa,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC/D,mBAAA,GAAsB,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA;;;;;;KAW7D,KAAA;EAAA,SAAqC,gBAAA,GAAmB,CAAA;AAAA;;;;;KAMxD,OAAA;EAAA,SACD,kBAAA,GAAqB,CAAA;AAAA;;AA9IhC;;;KAyJY,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KACrD,SAAA,CAAU,CAAA,IAAK,SAAA,CAAU,CAAA;;;;;KAMf,KAAA;EAAkB,GAAA;EAAa,GAAA;EAAa,KAAA;AAAA,KACtD,OAAA,CAAQ,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA,WAC7E,OAAA,CAAQ,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA;;;;;KAMvE,OAAA;EAAoB,GAAA;EAAa,GAAA;EAAa,KAAA;AAAA,KACxD,SAAA,CAAU,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA,WAC/E,SAAA,CAAU,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA;;KAOzE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,EAAA;EAAwB,KAAA;EAAe,KAAA;AAAA,KAAoB,gBAAA,CAAiB,CAAA;;KAG5E,EAAA;EAAwB,KAAA;EAAe,KAAA;AAAA,KAAoB,gBAAA,CAAiB,CAAA;;KAG5E,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,IAAA;EAA0B,KAAA;EAAe,KAAA;AAAA,KAAoB,UAAA,CAAW,CAAA;;KAGxE,MAAA;EAAmB,KAAA;AAAA,UAAyB,WAAA,CAAY,CAAA;AAAA,KAMxD,KAAA,GAAQ,MAAA;AAAA,KACR,IAAA,GAAO,MAAA;AAAA,KACP,GAAA,GAAM,MAAA;AAAA,KACN,GAAA,GAAM,MAAA;AAAA,KACN,IAAA,GAAO,MAAA;AAAA,KACP,IAAA,GAAO,MAAA;AAAA,KACP,QAAA,GAAW,MAAA;AAAA,KACX,QAAA,GAAW,MAAA;AAAA,KACX,IAAA,GAAO,MAAA;AAAA,KACP,QAAA,GAAW,MAAA;AAAA,KACX,GAAA,GAAM,MAAA;AAAA,KACN,IAAA,GAAO,MAAA;AAAA,KACP,IAAA,GAAO,MAAA;AAAA,KACP,KAAA,GAAQ,MAAA;AAAA,KACR,MAAA,GAAS,MAAA;AAnLrB;AAAA,KA0LY,QAAA,GAAW,gBAAA;;KAGX,QAAA,GAAW,gBAAA;;KAGX,WAAA,GAAc,OAAA;;KAGd,WAAA,GAAc,OAAA;;KAGd,GAAA,GAAM,IAAA;;KAGN,OAAA,GAAU,IAAA;;KAGV,MAAA,GAAS,IAAA;;KAGT,IAAA,GAAO,IAAA;;KAGP,MAAA,GAAS,IAAA"}

package/dist/tags.cjs

@@ -1,29 +1,22 @@
-Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
 //#region \0rolldown/runtime.js
 var __defProp = Object.defineProperty;
 var __exportAll = (all, no_symbols) => {
 	let target = {};
-	for (var name in all) {
-		__defProp(target, name, {
-			get: all[name],
-			enumerable: true
-		});
-	}
-	if (!no_symbols) {
-		__defProp(target, Symbol.toStringTag, { value: "Module" });
-	}
+	for (var name in all) __defProp(target, name, {
+		get: all[name],
+		enumerable: true
+	});
+	if (!no_symbols) __defProp(target, Symbol.toStringTag, { value: "Module" });
 	return target;
 };
-
 //#endregion
-
 //#region src/tags.ts
 var tags_exports = /* @__PURE__ */ __exportAll({});
-
 //#endregion
-Object.defineProperty(exports, 'tags_exports', {
-  enumerable: true,
-  get: function () {
-    return tags_exports;
-  }
-});
+Object.defineProperty(exports, "tags_exports", {
+	enumerable: true,
+	get: function() {
+		return tags_exports;
+	}
+});

package/dist/tags.d.cts

@@ -1,544 +1,2 @@
-declare namespace tags_d_exports {
-  export { Between, Coerce, Cuid, Cuid2, DateOnly, DateTime, Default, Double, Duration, Email, EndsWith, Error, ExclusiveMaximum, ExclusiveMinimum, Finite, Format, FormatValue, Gt, Gte, IPv4, IPv6, Includes, Int, Jwt, Length, Lowercase, Lt, Lte, Max, MaxItems, MaxLength, Maximum, Min, MinItems, MinLength, Minimum, MultipleOf, NanoId, Negative, NonNegative, NonPositive, NumericTypeValue, Pattern, Positive, Range, SafeInt, StartsWith, Step, Time, ToLowerCase, ToUpperCase, Trim, Type, Uint, Ulid, Unique, UniqueItems, Uppercase, Uri, Url, Uuid, Validate };
-}
-/**
- * @tsgonest/types — Zero-runtime branded types for type-safe validation.
- *
- * These types exist purely at compile time. They produce NO runtime code.
- * The tsgonest compiler reads phantom properties (`__tsgonest_*`) to generate validators.
- *
- * All phantom properties are optional (`?`) so that branded types remain
- * assignable from their base types (e.g. `string` → `string & Email`).
- * This follows the same pattern as typia's optional `"typia.tag"` property.
- *
- * Every constraint supports two forms:
- *   - Simple:   Min<0>              — clean, no custom error
- *   - Extended: Min<{value: 0, error: "Must be positive"}>  — with per-constraint error
- *
- * @example
- *   import { Email, Min, Max, Trim, Coerce } from "@tsgonest/types";
- *
- *   interface CreateUserDto {
- *     email: string & Email;
- *     name: string & Trim & Min<1> & Max<255>;
- *     age: number & Min<0> & Max<150>;
- *   }
- *
- *   // With per-constraint errors:
- *   interface StrictDto {
- *     email: string & Format<{type: "email", error: "Must be a valid email"}>;
- *     age: number & Min<{value: 0, error: "Age cannot be negative"}>;
- *   }
- *
- *   // Query params with coercion:
- *   interface QueryDto {
- *     page: number & Coerce;
- *     active: boolean & Coerce;
- *   }
- */
-/** All supported string format values. */
-type FormatValue = "email" | "idn-email" | "url" | "uri" | "uri-reference" | "uri-template" | "iri" | "iri-reference" | "uuid" | "ipv4" | "ipv6" | "hostname" | "idn-hostname" | "date-time" | "date" | "time" | "duration" | "json-pointer" | "relative-json-pointer" | "byte" | "password" | "regex" | "nanoid" | "cuid" | "cuid2" | "ulid" | "jwt" | "base64url" | "hex" | "mac" | "cidrv4" | "cidrv6" | "emoji";
-/**
- * Validate a string matches a specific format.
- *
- * @example
- *   Format<"email">
- *   Format<{type: "email", error: "Must be a valid email"}>
- */
-type Format<F extends FormatValue | {
-  type: FormatValue;
-  error?: string;
-}> = F extends {
-  type: infer V;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_format?: V;
-  readonly __tsgonest_format_error?: E;
-} : {
-  readonly __tsgonest_format?: F extends {
-    type: infer V;
-  } ? V : F;
-};
-/**
- * Minimum string length.
- * @example MinLength<1>  or  MinLength<{value: 1, error: "Cannot be empty"}>
- */
-type MinLength<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_minLength?: V;
-  readonly __tsgonest_minLength_error?: E;
-} : {
-  readonly __tsgonest_minLength?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Maximum string length.
- * @example MaxLength<255>  or  MaxLength<{value: 255, error: "Too long"}>
- */
-type MaxLength<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_maxLength?: V;
-  readonly __tsgonest_maxLength_error?: E;
-} : {
-  readonly __tsgonest_maxLength?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Regex pattern constraint.
- * @example Pattern<"^[a-z]+$">  or  Pattern<{value: "^[a-z]+$", error: "Letters only"}>
- */
-type Pattern<P extends string | {
-  value: string;
-  error?: string;
-}> = P extends {
-  value: infer V extends string;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_pattern?: V;
-  readonly __tsgonest_pattern_error?: E;
-} : {
-  readonly __tsgonest_pattern?: P extends {
-    value: infer V;
-  } ? V : P;
-};
-/**
- * String must start with prefix.
- * @example StartsWith<"https://">
- */
-type StartsWith<S extends string | {
-  value: string;
-  error?: string;
-}> = S extends {
-  value: infer V extends string;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_startsWith?: V;
-  readonly __tsgonest_startsWith_error?: E;
-} : {
-  readonly __tsgonest_startsWith?: S extends {
-    value: infer V;
-  } ? V : S;
-};
-/**
- * String must end with suffix.
- * @example EndsWith<".json">
- */
-type EndsWith<S extends string | {
-  value: string;
-  error?: string;
-}> = S extends {
-  value: infer V extends string;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_endsWith?: V;
-  readonly __tsgonest_endsWith_error?: E;
-} : {
-  readonly __tsgonest_endsWith?: S extends {
-    value: infer V;
-  } ? V : S;
-};
-/**
- * String must contain substring.
- * @example Includes<"@">
- */
-type Includes<S extends string | {
-  value: string;
-  error?: string;
-}> = S extends {
-  value: infer V extends string;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_includes?: V;
-  readonly __tsgonest_includes_error?: E;
-} : {
-  readonly __tsgonest_includes?: S extends {
-    value: infer V;
-  } ? V : S;
-};
-/**
- * Minimum value (inclusive): value >= N.
- * @example Minimum<0>  or  Min<0>  or  Min<{value: 0, error: "Must be non-negative"}>
- */
-type Minimum<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_minimum?: V;
-  readonly __tsgonest_minimum_error?: E;
-} : {
-  readonly __tsgonest_minimum?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Maximum value (inclusive): value <= N.
- * @example Maximum<100>  or  Max<100>
- */
-type Maximum<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_maximum?: V;
-  readonly __tsgonest_maximum_error?: E;
-} : {
-  readonly __tsgonest_maximum?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Exclusive minimum: value > N.
- * @example ExclusiveMinimum<0>  or  Gt<0>
- */
-type ExclusiveMinimum<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_exclusiveMinimum?: V;
-  readonly __tsgonest_exclusiveMinimum_error?: E;
-} : {
-  readonly __tsgonest_exclusiveMinimum?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Exclusive maximum: value < N.
- * @example ExclusiveMaximum<100>  or  Lt<100>
- */
-type ExclusiveMaximum<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_exclusiveMaximum?: V;
-  readonly __tsgonest_exclusiveMaximum_error?: E;
-} : {
-  readonly __tsgonest_exclusiveMaximum?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Value must be a multiple of N.
- * @example MultipleOf<2>  or  Step<0.01>
- */
-type MultipleOf<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_multipleOf?: V;
-  readonly __tsgonest_multipleOf_error?: E;
-} : {
-  readonly __tsgonest_multipleOf?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/** Valid numeric type values. */
-type NumericTypeValue = "int32" | "uint32" | "int64" | "uint64" | "float" | "double";
-/**
- * Constrain number to a specific numeric type.
- * @example Type<"int32">  or  Type<{type: "int32", error: "Must be integer"}>
- */
-type Type<T extends NumericTypeValue | {
-  type: NumericTypeValue;
-  error?: string;
-}> = T extends {
-  type: infer V;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_type?: V;
-  readonly __tsgonest_type_error?: E;
-} : {
-  readonly __tsgonest_type?: T extends {
-    type: infer V;
-  } ? V : T;
-};
-/**
- * Minimum array length.
- * @example MinItems<1>
- */
-type MinItems<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_minItems?: V;
-  readonly __tsgonest_minItems_error?: E;
-} : {
-  readonly __tsgonest_minItems?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Maximum array length.
- * @example MaxItems<100>
- */
-type MaxItems<N extends number | {
-  value: number;
-  error?: string;
-}> = N extends {
-  value: infer V extends number;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_maxItems?: V;
-  readonly __tsgonest_maxItems_error?: E;
-} : {
-  readonly __tsgonest_maxItems?: N extends {
-    value: infer V;
-  } ? V : N;
-};
-/**
- * Array items must be unique.
- * @example UniqueItems  or  Unique  or  Unique<{error: "No duplicates"}>
- */
-type UniqueItems<C extends {
-  error?: string;
-} = {}> = C extends {
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_uniqueItems?: true;
-  readonly __tsgonest_uniqueItems_error?: E;
-} : {
-  readonly __tsgonest_uniqueItems?: true;
-};
-/**
- * String must be all uppercase.
- * @example Uppercase  or  Uppercase<{error: "Must be uppercase"}>
- */
-type Uppercase<C extends {
-  error?: string;
-} = {}> = C extends {
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_uppercase?: true;
-  readonly __tsgonest_uppercase_error?: E;
-} : {
-  readonly __tsgonest_uppercase?: true;
-};
-/**
- * String must be all lowercase.
- * @example Lowercase  or  Lowercase<{error: "Must be lowercase"}>
- */
-type Lowercase<C extends {
-  error?: string;
-} = {}> = C extends {
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_lowercase?: true;
-  readonly __tsgonest_lowercase_error?: E;
-} : {
-  readonly __tsgonest_lowercase?: true;
-};
-/** Trim whitespace before validation. */
-type Trim = {
-  readonly __tsgonest_transform_trim?: true;
-};
-/** Convert to lowercase before validation. */
-type ToLowerCase = {
-  readonly __tsgonest_transform_toLowerCase?: true;
-};
-/** Convert to uppercase before validation. */
-type ToUpperCase = {
-  readonly __tsgonest_transform_toUpperCase?: true;
-};
-/**
- * Coerce string inputs to the declared type before validation.
- * - "123" → 123 (string to number)
- * - "true"/"false" → true/false (string to boolean)
- *
- * @example
- *   page: number & Coerce
- *   active: boolean & Coerce
- */
-type Coerce = {
-  readonly __tsgonest_coerce?: true;
-};
-/**
- * Validate using a custom function. The function must be a predicate:
- * `(value: T) => boolean`. tsgonest resolves the function's source file
- * and emits an import + call in the generated validator.
- *
- * @example
- *   import { isValidCard } from "./validators/credit-card";
- *
- *   interface PaymentDto {
- *     card: string & Validate<typeof isValidCard>;
- *     card: string & Validate<{fn: typeof isValidCard, error: "Invalid card"}>;
- *   }
- */
-type Validate<F extends ((...args: any[]) => boolean) | {
-  fn: (...args: any[]) => boolean;
-  error?: string;
-}> = F extends {
-  fn: infer Fn;
-  error: infer E extends string;
-} ? {
-  readonly __tsgonest_validate?: Fn;
-  readonly __tsgonest_validate_error?: E;
-} : {
-  readonly __tsgonest_validate?: F extends {
-    fn: infer Fn;
-  } ? Fn : F;
-};
-/**
- * Global error message — applies to all validation failures on this property.
- * Per-constraint errors (via `error` field) take precedence.
- * @example string & Format<"email"> & Error<"Invalid email">
- */
-type Error<M extends string> = {
-  readonly __tsgonest_error?: M;
-};
-/**
- * Default value for optional properties. Assigned when value is undefined.
- * @example theme?: string & Default<"light">
- */
-type Default<V extends string | number | boolean> = {
-  readonly __tsgonest_default?: V;
-};
-/**
- * Exact length (sets both MinLength and MaxLength).
- * @example Length<2>  or  Length<{value: 2, error: "Must be exactly 2 chars"}>
- */
-type Length<N extends number | {
-  value: number;
-  error?: string;
-}> = MinLength<N> & MaxLength<N>;
-/**
- * Numeric range (inclusive). Sets Minimum and Maximum.
- * @example Range<{min: 0, max: 100}>  or  Range<{min: 0, max: 100, error: "Out of range"}>
- */
-type Range<R extends {
-  min: number;
-  max: number;
-  error?: string;
-}> = Minimum<R extends {
-  error: string;
-} ? {
-  value: R["min"];
-  error: R["error"];
-} : R["min"]> & Maximum<R extends {
-  error: string;
-} ? {
-  value: R["max"];
-  error: R["error"];
-} : R["max"]>;
-/**
- * String length range. Sets MinLength and MaxLength.
- * @example Between<{min: 1, max: 255}>  or  Between<{min: 1, max: 255, error: "Bad length"}>
- */
-type Between<R extends {
-  min: number;
-  max: number;
-  error?: string;
-}> = MinLength<R extends {
-  error: string;
-} ? {
-  value: R["min"];
-  error: R["error"];
-} : R["min"]> & MaxLength<R extends {
-  error: string;
-} ? {
-  value: R["max"];
-  error: R["error"];
-} : R["max"]>;
-/** Alias for Minimum. `Min<0>` = `Minimum<0>` */
-type Min<N extends number | {
-  value: number;
-  error?: string;
-}> = Minimum<N>;
-/** Alias for Maximum. `Max<100>` = `Maximum<100>` */
-type Max<N extends number | {
-  value: number;
-  error?: string;
-}> = Maximum<N>;
-/** Alias for ExclusiveMinimum. `Gt<0>` = "greater than 0" */
-type Gt<N extends number | {
-  value: number;
-  error?: string;
-}> = ExclusiveMinimum<N>;
-/** Alias for ExclusiveMaximum. `Lt<100>` = "less than 100" */
-type Lt<N extends number | {
-  value: number;
-  error?: string;
-}> = ExclusiveMaximum<N>;
-/** Alias for Minimum + ExclusiveMinimum combo. `Gte<0>` = `Min<0>` */
-type Gte<N extends number | {
-  value: number;
-  error?: string;
-}> = Minimum<N>;
-/** Alias for Maximum + ExclusiveMaximum combo. `Lte<100>` = `Max<100>` */
-type Lte<N extends number | {
-  value: number;
-  error?: string;
-}> = Maximum<N>;
-/** Alias for MultipleOf. `Step<0.01>` */
-type Step<N extends number | {
-  value: number;
-  error?: string;
-}> = MultipleOf<N>;
-/** Alias for UniqueItems. `Unique` */
-type Unique<C extends {
-  error?: string;
-} = {}> = UniqueItems<C>;
-type Email = Format<"email">;
-type Uuid = Format<"uuid">;
-type Url = Format<"url">;
-type Uri = Format<"uri">;
-type IPv4 = Format<"ipv4">;
-type IPv6 = Format<"ipv6">;
-type DateTime = Format<"date-time">;
-type DateOnly = Format<"date">;
-type Time = Format<"time">;
-type Duration = Format<"duration">;
-type Jwt = Format<"jwt">;
-type Ulid = Format<"ulid">;
-type Cuid = Format<"cuid">;
-type Cuid2 = Format<"cuid2">;
-type NanoId = Format<"nanoid">;
-/** number & Gt<0> */
-type Positive = ExclusiveMinimum<0>;
-/** number & Lt<0> */
-type Negative = ExclusiveMaximum<0>;
-/** number & Min<0> */
-type NonNegative = Minimum<0>;
-/** number & Max<0> */
-type NonPositive = Maximum<0>;
-/** number & Type<"int32"> */
-type Int = Type<"int32">;
-/** number & Type<"int64"> (JS safe integer range) */
-type SafeInt = Type<"int64">;
-/** number & Type<"float"> (finite, no Infinity/NaN) */
-type Finite = Type<"float">;
-/** number & Type<"uint32"> */
-type Uint = Type<"uint32">;
-/** number & Type<"double"> */
-type Double = Type<"double">;
-//#endregion
-export { Between, Coerce, Cuid, Cuid2, DateOnly, DateTime, Default, Double, Duration, Email, EndsWith, Error, ExclusiveMaximum, ExclusiveMinimum, Finite, Format, FormatValue, Gt, Gte, IPv4, IPv6, Includes, Int, Jwt, Length, Lowercase, Lt, Lte, Max, MaxItems, MaxLength, Maximum, Min, MinItems, MinLength, Minimum, MultipleOf, NanoId, Negative, NonNegative, NonPositive, NumericTypeValue, Pattern, Positive, Range, SafeInt, StartsWith, Step, Time, ToLowerCase, ToUpperCase, Trim, Type, Uint, Ulid, Unique, UniqueItems, Uppercase, Uri, Url, Uuid, Validate, tags_d_exports as t };
-//# sourceMappingURL=tags.d.cts.map
+import { $ as Type, A as MaxItems, B as NonNegative, C as Int, D as Lt, E as Lowercase, F as MinLength, G as Range, H as NumericTypeValue, I as Minimum, J as Step, K as SafeInt, L as MultipleOf, M as Maximum, N as Min, O as Lte, P as MinItems, Q as Trim, R as NanoId, S as Includes, T as Length, U as Pattern, V as NonPositive, W as Positive, X as ToLowerCase, Y as Time, Z as ToUpperCase, _ as FormatValue, a as DateOnly, at as Uri, b as IPv4, c as Double, ct as Validate, d as EndsWith, et as Uint, f as Error, g as Format, h as Finite, i as Cuid2, it as Uppercase, j as MaxLength, k as Max, l as Duration, m as ExclusiveMinimum, n as Coerce, nt as Unique, o as DateTime, ot as Url, p as ExclusiveMaximum, q as StartsWith, r as Cuid, rt as UniqueItems, s as Default, st as Uuid, t as Between, tt as Ulid, u as Email, v as Gt, w as Jwt, x as IPv6, y as Gte, z as Negative } from "./tags-Bjy_mpjh.cjs";
+export { Between, Coerce, Cuid, Cuid2, DateOnly, DateTime, Default, Double, Duration, Email, EndsWith, Error, ExclusiveMaximum, ExclusiveMinimum, Finite, Format, FormatValue, Gt, Gte, IPv4, IPv6, Includes, Int, Jwt, Length, Lowercase, Lt, Lte, Max, MaxItems, MaxLength, Maximum, Min, MinItems, MinLength, Minimum, MultipleOf, NanoId, Negative, NonNegative, NonPositive, NumericTypeValue, Pattern, Positive, Range, SafeInt, StartsWith, Step, Time, ToLowerCase, ToUpperCase, Trim, Type, Uint, Ulid, Unique, UniqueItems, Uppercase, Uri, Url, Uuid, Validate };

package/dist/tags.mjs

@@ -1,8 +1,7 @@
-import { t as __exportAll } from "./chunk-DQk6qfdC.mjs";
-
+import { t as __exportAll } from "./chunk-CfYAbeIz.mjs";
 //#region src/tags.ts
 var tags_exports = /* @__PURE__ */ __exportAll({});
-
 //#endregion
 export { tags_exports as t };
+
 //# sourceMappingURL=tags.mjs.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsgonest/types",
-  "version": "0.9.2",
+  "version": "0.10.0",
   "description": "Zero-runtime branded types for tsgonest validation constraints — type-safe alternative to JSDoc tags",
   "main": "dist/index.cjs",
   "module": "dist/index.mjs",
@@ -45,7 +45,7 @@
     "url": "https://github.com/tsgonest/tsgonest"
   },
   "devDependencies": {
-    "tsdown": "^0.20.3",
+    "tsdown": "^0.21.4",
     "typescript": "^5.7.0"
   },
   "scripts": {

package/dist/chunk-DQk6qfdC.mjs

@@ -1,18 +0,0 @@
-//#region \0rolldown/runtime.js
-var __defProp = Object.defineProperty;
-var __exportAll = (all, no_symbols) => {
-	let target = {};
-	for (var name in all) {
-		__defProp(target, name, {
-			get: all[name],
-			enumerable: true
-		});
-	}
-	if (!no_symbols) {
-		__defProp(target, Symbol.toStringTag, { value: "Module" });
-	}
-	return target;
-};
-
-//#endregion
-export { __exportAll as t };

package/dist/tags.d.cts.map

@@ -1 +0,0 @@
-{"version":3,"file":"tags.d.cts","names":[],"sources":["../src/tags.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAoDY,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA,KAC9D,CAAA;EAAY,IAAA;EAAe,KAAA;AAAA;EAAA,SACZ,iBAAA,GAAoB,CAAA;EAAA,SAAY,uBAAA,GAA0B,CAAA;AAAA;EAAA,SAC1D,iBAAA,GAAoB,CAAA;IAAY,IAAA;EAAA,IAAkB,CAAA,GAAI,CAAA;AAAA;;;;;KAU3D,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA,KACxD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,oBAAA,GAAuB,CAAA;EAAA,SAAY,0BAAA,GAA6B,CAAA;AAAA;EAAA,SAChE,oBAAA,GAAuB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM/D,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA,KACxD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,oBAAA,GAAuB,CAAA;EAAA,SAAY,0BAAA,GAA6B,CAAA;AAAA;EAAA,SAChE,oBAAA,GAAuB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM/D,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA,KACzD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,qBAAA,GAAwB,CAAA;EAAA,SAAY,2BAAA,GAA8B,CAAA;AAAA;EAAA,SAClE,qBAAA,GAAwB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAMhE,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM9D,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;AA9B1E;;;;AAAA,KAwCY,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA,KACtD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,kBAAA,GAAqB,CAAA;EAAA,SAAY,wBAAA,GAA2B,CAAA;AAAA;EAAA,SAC5D,kBAAA,GAAqB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM7D,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA,KAC/D,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,2BAAA,GAA8B,CAAA;EAAA,SAAY,iCAAA,GAAoC,CAAA;AAAA;EAAA,SAC9E,2BAAA,GAA8B,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAMtE,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA,KAC/D,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,2BAAA,GAA8B,CAAA;EAAA,SAAY,iCAAA,GAAoC,CAAA;AAAA;EAAA,SAC9E,2BAAA,GAA8B,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAMtE,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA,KACzD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,qBAAA,GAAwB,CAAA;EAAA,SAAY,2BAAA,GAA8B,CAAA;AAAA;EAAA,SAClE,qBAAA,GAAwB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;AApD5E;AAAA,KA2DY,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA,KACtE,CAAA;EAAY,IAAA;EAAe,KAAA;AAAA;EAAA,SACZ,eAAA,GAAkB,CAAA;EAAA,SAAY,qBAAA,GAAwB,CAAA;AAAA;EAAA,SACtD,eAAA,GAAkB,CAAA;IAAY,IAAA;EAAA,IAAkB,CAAA,GAAI,CAAA;AAAA;;;;;KAUzD,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM9D,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA,KACvD,CAAA;EAAY,KAAA;EAA+B,KAAA;AAAA;EAAA,SAC5B,mBAAA,GAAsB,CAAA;EAAA,SAAY,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC9D,mBAAA,GAAsB,CAAA;IAAY,KAAA;EAAA,IAAmB,CAAA,GAAI,CAAA;AAAA;;;;;KAM9D,WAAA;EAAwB,KAAA;AAAA,UAClC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,sBAAA;EAAA,SAAwC,4BAAA,GAA+B,CAAA;AAAA;EAAA,SACvE,sBAAA;AAAA;;;;;KAUL,SAAA;EAAsB,KAAA;AAAA,UAChC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,oBAAA;EAAA,SAAsC,0BAAA,GAA6B,CAAA;AAAA;EAAA,SACnE,oBAAA;AAAA;;;;;KAML,SAAA;EAAsB,KAAA;AAAA,UAChC,CAAA;EAAY,KAAA;AAAA;EAAA,SACG,oBAAA;EAAA,SAAsC,0BAAA,GAA6B,CAAA;AAAA;EAAA,SACnE,oBAAA;AAAA;;KAOL,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA;;KAGzB,WAAA;EAAA,SAAyB,gCAAA;AAAA;;;;;;;;;;KAezB,MAAA;EAAA,SAAoB,iBAAA;AAAA;;;;;;;;;;;;;;KAmBpB,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA,KAC3E,CAAA;EAAY,EAAA;EAAc,KAAA;AAAA;EAAA,SACb,mBAAA,GAAsB,EAAA;EAAA,SAAa,yBAAA,GAA4B,CAAA;AAAA;EAAA,SAC/D,mBAAA,GAAsB,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA;;AA5HzE;;;;KAuIY,KAAA;EAAA,SAAqC,gBAAA,GAAmB,CAAA;AAAA;;;;;KAMxD,OAAA;EAAA,SACD,kBAAA,GAAqB,CAAA;AAAA;;;;;KAWpB,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KACrD,SAAA,CAAU,CAAA,IAAK,SAAA,CAAU,CAAA;;;;;KAMf,KAAA;EAAkB,GAAA;EAAa,GAAA;EAAa,KAAA;AAAA,KACtD,OAAA,CAAQ,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA,WAC7E,OAAA,CAAQ,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA;;;;;KAMvE,OAAA;EAAoB,GAAA;EAAa,GAAA;EAAa,KAAA;AAAA,KACxD,SAAA,CAAU,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA,WAC/E,SAAA,CAAU,CAAA;EAAY,KAAA;AAAA;EAAoB,KAAA,EAAO,CAAA;EAAU,KAAA,EAAO,CAAA;AAAA,IAAe,CAAA;;KAOzE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,EAAA;EAAwB,KAAA;EAAe,KAAA;AAAA,KAAoB,gBAAA,CAAiB,CAAA;;KAG5E,EAAA;EAAwB,KAAA;EAAe,KAAA;AAAA,KAAoB,gBAAA,CAAiB,CAAA;;KAG5E,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA;;KAGpE,IAAA;EAA0B,KAAA;EAAe,KAAA;AAAA,KAAoB,UAAA,CAAW,CAAA;;KAGxE,MAAA;EAAmB,KAAA;AAAA,UAAyB,WAAA,CAAY,CAAA;AAAA,KAMxD,KAAA,GAAQ,MAAA;AAAA,KACR,IAAA,GAAO,MAAA;AAAA,KACP,GAAA,GAAM,MAAA;AAAA,KACN,GAAA,GAAM,MAAA;AAAA,KACN,IAAA,GAAO,MAAA;AAAA,KACP,IAAA,GAAO,MAAA;AAAA,KACP,QAAA,GAAW,MAAA;AAAA,KACX,QAAA,GAAW,MAAA;AAAA,KACX,IAAA,GAAO,MAAA;AAAA,KACP,QAAA,GAAW,MAAA;AAAA,KACX,GAAA,GAAM,MAAA;AAAA,KACN,IAAA,GAAO,MAAA;AAAA,KACP,IAAA,GAAO,MAAA;AAAA,KACP,KAAA,GAAQ,MAAA;AAAA,KACR,MAAA,GAAS,MAAA;;KAOT,QAAA,GAAW,gBAAA;;KAGX,QAAA,GAAW,gBAAA;;KAGX,WAAA,GAAc,OAAA;;KAGd,WAAA,GAAc,OAAA;;KAGd,GAAA,GAAM,IAAA;;KAGN,OAAA,GAAU,IAAA;;KAGV,MAAA,GAAS,IAAA;;KAGT,IAAA,GAAO,IAAA;;KAGP,MAAA,GAAS,IAAA"}