npm - @tsgonest/types - Versions diffs - 0.4.3 → 0.5.0 - Mend

@tsgonest/types 0.4.3 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (6) hide show

package/dist/tags.d.cts CHANGED Viewed

@@ -7,6 +7,10 @@ declare namespace tags_d_exports {
  * 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
@@ -50,10 +54,10 @@ type StrVal<S extends string | {
 type TypeVal<T, Base> = T extends {
   type: infer V;
 } ? V : T;
-/** Conditionally add a _error phantom property. */
+/** Conditionally add an optional _error phantom property. */
 type WithErr<Prefix extends string, C> = C extends {
   error: infer E extends string;
-} ? { readonly [K in `${Prefix}_error`]: E } : {};
+} ? { readonly [K in `${Prefix}_error`]?: E } : {};
 /** 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";
 /**
@@ -67,7 +71,7 @@ type Format<F extends FormatValue | {
   type: FormatValue;
   error?: string;
 }> = {
-  readonly __tsgonest_format: TypeVal<F, FormatValue>;
+  readonly __tsgonest_format?: TypeVal<F, FormatValue>;
 } & WithErr<"__tsgonest_format", F>;
 /**
  * Minimum string length.
@@ -77,7 +81,7 @@ type MinLength<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minLength: NumVal<N>;
+  readonly __tsgonest_minLength?: NumVal<N>;
 } & WithErr<"__tsgonest_minLength", N>;
 /**
  * Maximum string length.
@@ -87,7 +91,7 @@ type MaxLength<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maxLength: NumVal<N>;
+  readonly __tsgonest_maxLength?: NumVal<N>;
 } & WithErr<"__tsgonest_maxLength", N>;
 /**
  * Regex pattern constraint.
@@ -97,7 +101,7 @@ type Pattern<P extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_pattern: StrVal<P>;
+  readonly __tsgonest_pattern?: StrVal<P>;
 } & WithErr<"__tsgonest_pattern", P>;
 /**
  * String must start with prefix.
@@ -107,7 +111,7 @@ type StartsWith<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_startsWith: StrVal<S>;
+  readonly __tsgonest_startsWith?: StrVal<S>;
 } & WithErr<"__tsgonest_startsWith", S>;
 /**
  * String must end with suffix.
@@ -117,7 +121,7 @@ type EndsWith<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_endsWith: StrVal<S>;
+  readonly __tsgonest_endsWith?: StrVal<S>;
 } & WithErr<"__tsgonest_endsWith", S>;
 /**
  * String must contain substring.
@@ -127,7 +131,7 @@ type Includes<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_includes: StrVal<S>;
+  readonly __tsgonest_includes?: StrVal<S>;
 } & WithErr<"__tsgonest_includes", S>;
 /**
  * Minimum value (inclusive): value >= N.
@@ -137,7 +141,7 @@ type Minimum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minimum: NumVal<N>;
+  readonly __tsgonest_minimum?: NumVal<N>;
 } & WithErr<"__tsgonest_minimum", N>;
 /**
  * Maximum value (inclusive): value <= N.
@@ -147,7 +151,7 @@ type Maximum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maximum: NumVal<N>;
+  readonly __tsgonest_maximum?: NumVal<N>;
 } & WithErr<"__tsgonest_maximum", N>;
 /**
  * Exclusive minimum: value > N.
@@ -157,7 +161,7 @@ type ExclusiveMinimum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_exclusiveMinimum: NumVal<N>;
+  readonly __tsgonest_exclusiveMinimum?: NumVal<N>;
 } & WithErr<"__tsgonest_exclusiveMinimum", N>;
 /**
  * Exclusive maximum: value < N.
@@ -167,7 +171,7 @@ type ExclusiveMaximum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_exclusiveMaximum: NumVal<N>;
+  readonly __tsgonest_exclusiveMaximum?: NumVal<N>;
 } & WithErr<"__tsgonest_exclusiveMaximum", N>;
 /**
  * Value must be a multiple of N.
@@ -177,7 +181,7 @@ type MultipleOf<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_multipleOf: NumVal<N>;
+  readonly __tsgonest_multipleOf?: NumVal<N>;
 } & WithErr<"__tsgonest_multipleOf", N>;
 /** Valid numeric type values. */
 type NumericTypeValue = "int32" | "uint32" | "int64" | "uint64" | "float" | "double";
@@ -189,7 +193,7 @@ type Type<T extends NumericTypeValue | {
   type: NumericTypeValue;
   error?: string;
 }> = {
-  readonly __tsgonest_type: TypeVal<T, NumericTypeValue>;
+  readonly __tsgonest_type?: TypeVal<T, NumericTypeValue>;
 } & WithErr<"__tsgonest_type", T>;
 /**
  * Minimum array length.
@@ -199,7 +203,7 @@ type MinItems<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minItems: NumVal<N>;
+  readonly __tsgonest_minItems?: NumVal<N>;
 } & WithErr<"__tsgonest_minItems", N>;
 /**
  * Maximum array length.
@@ -209,7 +213,7 @@ type MaxItems<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maxItems: NumVal<N>;
+  readonly __tsgonest_maxItems?: NumVal<N>;
 } & WithErr<"__tsgonest_maxItems", N>;
 /**
  * Array items must be unique.
@@ -218,7 +222,7 @@ type MaxItems<N extends number | {
 type UniqueItems<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_uniqueItems: true;
+  readonly __tsgonest_uniqueItems?: true;
 } & WithErr<"__tsgonest_uniqueItems", C>;
 /**
  * String must be all uppercase.
@@ -227,7 +231,7 @@ type UniqueItems<C extends {
 type Uppercase<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_uppercase: true;
+  readonly __tsgonest_uppercase?: true;
 } & WithErr<"__tsgonest_uppercase", C>;
 /**
  * String must be all lowercase.
@@ -236,19 +240,19 @@ type Uppercase<C extends {
 type Lowercase<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_lowercase: true;
+  readonly __tsgonest_lowercase?: true;
 } & WithErr<"__tsgonest_lowercase", C>;
 /** Trim whitespace before validation. */
 type Trim = {
-  readonly __tsgonest_transform_trim: true;
+  readonly __tsgonest_transform_trim?: true;
 };
 /** Convert to lowercase before validation. */
 type ToLowerCase = {
-  readonly __tsgonest_transform_toLowerCase: true;
+  readonly __tsgonest_transform_toLowerCase?: true;
 };
 /** Convert to uppercase before validation. */
 type ToUpperCase = {
-  readonly __tsgonest_transform_toUpperCase: true;
+  readonly __tsgonest_transform_toUpperCase?: true;
 };
 /**
  * Coerce string inputs to the declared type before validation.
@@ -260,7 +264,7 @@ type ToUpperCase = {
  *   active: boolean & Coerce
  */
 type Coerce = {
-  readonly __tsgonest_coerce: true;
+  readonly __tsgonest_coerce?: true;
 };
 /**
  * Validate using a custom function. The function must be a predicate:
@@ -279,7 +283,7 @@ type Validate<F extends ((...args: any[]) => boolean) | {
   fn: (...args: any[]) => boolean;
   error?: string;
 }> = {
-  readonly __tsgonest_validate: F extends {
+  readonly __tsgonest_validate?: F extends {
     fn: infer Fn;
   } ? Fn : F;
 } & WithErr<"__tsgonest_validate", F>;
@@ -289,14 +293,14 @@ type Validate<F extends ((...args: any[]) => boolean) | {
  * @example string & Format<"email"> & Error<"Invalid email">
  */
 type Error<M extends string> = {
-  readonly __tsgonest_error: M;
+  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;
+  readonly __tsgonest_default?: V;
 };
 /**
  * Exact length (sets both MinLength and MaxLength).

package/dist/tags.d.cts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"tags.d.cts","names":[],"sources":["../src/tags.ts"],"mappings":"~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAqCK~~,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,OAAA,YACH,CAAA;EAAY,IAAA;AAAA,IAAkB,CAAA,GAAI,CAAA;;KAG/B,OAAA,6BACH,CAAA;EAAY,KAAA;AAAA,wBACY,MAAA,~~WAAiB~~,CAAA;;~~KAQ/B~~,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA;EAAA,SACrD,iBAAA,~~EAAmB~~,OAAA,CAAQ,CAAA,EAAG,WAAA;AAAA,~~IACrC~~,OAAA,sBAA6B,CAAA;;;;;KAUrB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,~~EAAsB~~,MAAA,CAAO,CAAA;AAAA,~~IACpC~~,OAAA,yBAAgC,CAAA~~;;AAvDE;;;KA6D1B~~,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,~~EAAsB~~,MAAA,CAAO,CAAA;AAAA,~~IACpC~~,OAAA,yBAAgC,CAAA~~;;;;;KAMxB~~,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA;;;;;KAMtB,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,~~EAAuB~~,MAAA,CAAO,CAAA;AAAA,~~IACrC~~,OAAA,0BAAiC,CAAA;;;;;KAMzB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;;;;KAMvB~~,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;AAtDnC;;;KAgEY~~,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA;;;;;KAMtB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA~~;;;;;KAMtB~~,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,~~EAA6B~~,MAAA,CAAO,CAAA;AAAA,~~IAC3C~~,OAAA,gCAAuC,CAAA;;;;;KAM/B,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,~~EAA6B~~,MAAA,CAAO,CAAA;AAAA,~~IAC3C~~,OAAA,gCAAuC,CAAA~~;;;;;KAM/B~~,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,~~EAAuB~~,MAAA,CAAO,CAAA;AAAA,~~IACrC~~,OAAA,0BAAiC,CAAA;;KAOzB,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA;EAAA,SAC7D,eAAA,~~EAAiB~~,OAAA,CAAQ,CAAA,EAAG,gBAAA;AAAA,~~IACnC~~,OAAA,oBAA2B,CAAA~~;;;AAtF/B;;KAgGY~~,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA;;;;;KAMvB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;AAlGnC;;;KAwGY~~,WAAA;EAAwB,KAAA;AAAA;EAAA,SACzB,sBAAA;AAAA,IACP,OAAA,2BAAkC,CAAA;;;;;KAU1B,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA~~;;;AA9GpC;;KAoHY~~,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;KAOxB,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA~~;;KAGzB~~,WAAA;EAAA,SAAyB,gCAAA;AAAA~~;AA3HrC;;;;;;;;;AAAA~~,~~KA0IY,~~MAAA;EAAA,SAAoB,iBAAA;AAAA~~;;;;;;;;~~AA9HhC~~;;;;;;~~KAiJY,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA;EAAA,SAEpE,mBAAA,~~EAAqB~~,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA,~~IAC9D~~,OAAA,wBAA+B,CAAA~~;;;;;;KAWvB~~,KAAA;EAAA,SAAqC,gBAAA,~~EAAkB~~,CAAA;AAAA;;;;;~~KAMvD~~,OAAA;EAAA,SACD,kBAAA,~~EAAoB~~,CAAA;AAAA;;;;;~~KAWnB~~,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KACrD,SAAA,CAAU,CAAA,IAAK,SAAA,CAAU,CAAA~~;;AAnK3B;;;KAyKY~~,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~~;;AAnKnF;;;KAyKY~~,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~~;AA1KxF;AAAA~~,~~KA6KY,~~GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA~~;AAtKhF;AAAA~~,~~KAyKY,~~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"}
1	+ {"version":3,"file":"tags.d.cts","names":[],"sources":["../src/tags.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAyCK,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,OAAA,YACH,CAAA;EAAY,IAAA;AAAA,IAAkB,CAAA,GAAI,CAAA;;KAG/B,OAAA,6BACH,CAAA;EAAY,KAAA;AAAA,wBACY,MAAA,YAAkB,CAAA;;KAQhC,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA;EAAA,SACrD,iBAAA,GAAoB,OAAA,CAAQ,CAAA,EAAG,WAAA;AAAA,IACtC,OAAA,sBAA6B,CAAA;;;;;KAUrB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,GAAuB,MAAA,CAAO,CAAA;AAAA,IACrC,OAAA,yBAAgC,CAAA;;;;;KAMxB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,GAAuB,MAAA,CAAO,CAAA;AAAA,IACrC,OAAA,yBAAgC,CAAA;;AA3DE;;;KAiE1B,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;;;KAMtB,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,GAAwB,MAAA,CAAO,CAAA;AAAA,IACtC,OAAA,0BAAiC,CAAA;;;;;KAMzB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;AAlEnC;;KAwEY,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAUvB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;;;KAMtB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;AA9DlC;;KAoEY,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,GAA8B,MAAA,CAAO,CAAA;AAAA,IAC5C,OAAA,gCAAuC,CAAA;;;;;KAM/B,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,GAA8B,MAAA,CAAO,CAAA;AAAA,IAC5C,OAAA,gCAAuC,CAAA;;AAtE3C;;;KA4EY,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,GAAwB,MAAA,CAAO,CAAA;AAAA,IACtC,OAAA,0BAAiC,CAAA;;KAOzB,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA;EAAA,SAC7D,eAAA,GAAkB,OAAA,CAAQ,CAAA,EAAG,gBAAA;AAAA,IACpC,OAAA,oBAA2B,CAAA;;;;;KAUnB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAMvB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAMvB,WAAA;EAAwB,KAAA;AAAA;EAAA,SACzB,sBAAA;AAAA,IACP,OAAA,2BAAkC,CAAA;;;;;KAU1B,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;;;;KAMxB,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;KAOxB,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA;AAxHrC;AAAA,KA2HY,WAAA;EAAA,SAAyB,gCAAA;AAAA;;;;;;;;;;KAezB,MAAA;EAAA,SAAoB,iBAAA;AAAA;;;;AA9HhC;;;;;;;;;;KAiJY,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA;EAAA,SAEpE,mBAAA,GAAsB,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA,IAC/D,OAAA,wBAA+B,CAAA;;AA7InC;;;;KAwJY,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"}

package/dist/tags.d.mts CHANGED Viewed

@@ -7,6 +7,10 @@ declare namespace tags_d_exports {
  * 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
@@ -50,10 +54,10 @@ type StrVal<S extends string | {
 type TypeVal<T, Base> = T extends {
   type: infer V;
 } ? V : T;
-/** Conditionally add a _error phantom property. */
+/** Conditionally add an optional _error phantom property. */
 type WithErr<Prefix extends string, C> = C extends {
   error: infer E extends string;
-} ? { readonly [K in `${Prefix}_error`]: E } : {};
+} ? { readonly [K in `${Prefix}_error`]?: E } : {};
 /** 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";
 /**
@@ -67,7 +71,7 @@ type Format<F extends FormatValue | {
   type: FormatValue;
   error?: string;
 }> = {
-  readonly __tsgonest_format: TypeVal<F, FormatValue>;
+  readonly __tsgonest_format?: TypeVal<F, FormatValue>;
 } & WithErr<"__tsgonest_format", F>;
 /**
  * Minimum string length.
@@ -77,7 +81,7 @@ type MinLength<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minLength: NumVal<N>;
+  readonly __tsgonest_minLength?: NumVal<N>;
 } & WithErr<"__tsgonest_minLength", N>;
 /**
  * Maximum string length.
@@ -87,7 +91,7 @@ type MaxLength<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maxLength: NumVal<N>;
+  readonly __tsgonest_maxLength?: NumVal<N>;
 } & WithErr<"__tsgonest_maxLength", N>;
 /**
  * Regex pattern constraint.
@@ -97,7 +101,7 @@ type Pattern<P extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_pattern: StrVal<P>;
+  readonly __tsgonest_pattern?: StrVal<P>;
 } & WithErr<"__tsgonest_pattern", P>;
 /**
  * String must start with prefix.
@@ -107,7 +111,7 @@ type StartsWith<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_startsWith: StrVal<S>;
+  readonly __tsgonest_startsWith?: StrVal<S>;
 } & WithErr<"__tsgonest_startsWith", S>;
 /**
  * String must end with suffix.
@@ -117,7 +121,7 @@ type EndsWith<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_endsWith: StrVal<S>;
+  readonly __tsgonest_endsWith?: StrVal<S>;
 } & WithErr<"__tsgonest_endsWith", S>;
 /**
  * String must contain substring.
@@ -127,7 +131,7 @@ type Includes<S extends string | {
   value: string;
   error?: string;
 }> = {
-  readonly __tsgonest_includes: StrVal<S>;
+  readonly __tsgonest_includes?: StrVal<S>;
 } & WithErr<"__tsgonest_includes", S>;
 /**
  * Minimum value (inclusive): value >= N.
@@ -137,7 +141,7 @@ type Minimum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minimum: NumVal<N>;
+  readonly __tsgonest_minimum?: NumVal<N>;
 } & WithErr<"__tsgonest_minimum", N>;
 /**
  * Maximum value (inclusive): value <= N.
@@ -147,7 +151,7 @@ type Maximum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maximum: NumVal<N>;
+  readonly __tsgonest_maximum?: NumVal<N>;
 } & WithErr<"__tsgonest_maximum", N>;
 /**
  * Exclusive minimum: value > N.
@@ -157,7 +161,7 @@ type ExclusiveMinimum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_exclusiveMinimum: NumVal<N>;
+  readonly __tsgonest_exclusiveMinimum?: NumVal<N>;
 } & WithErr<"__tsgonest_exclusiveMinimum", N>;
 /**
  * Exclusive maximum: value < N.
@@ -167,7 +171,7 @@ type ExclusiveMaximum<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_exclusiveMaximum: NumVal<N>;
+  readonly __tsgonest_exclusiveMaximum?: NumVal<N>;
 } & WithErr<"__tsgonest_exclusiveMaximum", N>;
 /**
  * Value must be a multiple of N.
@@ -177,7 +181,7 @@ type MultipleOf<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_multipleOf: NumVal<N>;
+  readonly __tsgonest_multipleOf?: NumVal<N>;
 } & WithErr<"__tsgonest_multipleOf", N>;
 /** Valid numeric type values. */
 type NumericTypeValue = "int32" | "uint32" | "int64" | "uint64" | "float" | "double";
@@ -189,7 +193,7 @@ type Type<T extends NumericTypeValue | {
   type: NumericTypeValue;
   error?: string;
 }> = {
-  readonly __tsgonest_type: TypeVal<T, NumericTypeValue>;
+  readonly __tsgonest_type?: TypeVal<T, NumericTypeValue>;
 } & WithErr<"__tsgonest_type", T>;
 /**
  * Minimum array length.
@@ -199,7 +203,7 @@ type MinItems<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_minItems: NumVal<N>;
+  readonly __tsgonest_minItems?: NumVal<N>;
 } & WithErr<"__tsgonest_minItems", N>;
 /**
  * Maximum array length.
@@ -209,7 +213,7 @@ type MaxItems<N extends number | {
   value: number;
   error?: string;
 }> = {
-  readonly __tsgonest_maxItems: NumVal<N>;
+  readonly __tsgonest_maxItems?: NumVal<N>;
 } & WithErr<"__tsgonest_maxItems", N>;
 /**
  * Array items must be unique.
@@ -218,7 +222,7 @@ type MaxItems<N extends number | {
 type UniqueItems<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_uniqueItems: true;
+  readonly __tsgonest_uniqueItems?: true;
 } & WithErr<"__tsgonest_uniqueItems", C>;
 /**
  * String must be all uppercase.
@@ -227,7 +231,7 @@ type UniqueItems<C extends {
 type Uppercase<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_uppercase: true;
+  readonly __tsgonest_uppercase?: true;
 } & WithErr<"__tsgonest_uppercase", C>;
 /**
  * String must be all lowercase.
@@ -236,19 +240,19 @@ type Uppercase<C extends {
 type Lowercase<C extends {
   error?: string;
 } = {}> = {
-  readonly __tsgonest_lowercase: true;
+  readonly __tsgonest_lowercase?: true;
 } & WithErr<"__tsgonest_lowercase", C>;
 /** Trim whitespace before validation. */
 type Trim = {
-  readonly __tsgonest_transform_trim: true;
+  readonly __tsgonest_transform_trim?: true;
 };
 /** Convert to lowercase before validation. */
 type ToLowerCase = {
-  readonly __tsgonest_transform_toLowerCase: true;
+  readonly __tsgonest_transform_toLowerCase?: true;
 };
 /** Convert to uppercase before validation. */
 type ToUpperCase = {
-  readonly __tsgonest_transform_toUpperCase: true;
+  readonly __tsgonest_transform_toUpperCase?: true;
 };
 /**
  * Coerce string inputs to the declared type before validation.
@@ -260,7 +264,7 @@ type ToUpperCase = {
  *   active: boolean & Coerce
  */
 type Coerce = {
-  readonly __tsgonest_coerce: true;
+  readonly __tsgonest_coerce?: true;
 };
 /**
  * Validate using a custom function. The function must be a predicate:
@@ -279,7 +283,7 @@ type Validate<F extends ((...args: any[]) => boolean) | {
   fn: (...args: any[]) => boolean;
   error?: string;
 }> = {
-  readonly __tsgonest_validate: F extends {
+  readonly __tsgonest_validate?: F extends {
     fn: infer Fn;
   } ? Fn : F;
 } & WithErr<"__tsgonest_validate", F>;
@@ -289,14 +293,14 @@ type Validate<F extends ((...args: any[]) => boolean) | {
  * @example string & Format<"email"> & Error<"Invalid email">
  */
 type Error<M extends string> = {
-  readonly __tsgonest_error: M;
+  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;
+  readonly __tsgonest_default?: V;
 };
 /**
  * Exact length (sets both MinLength and MaxLength).

package/dist/tags.d.mts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"tags.d.mts","names":[],"sources":["../src/tags.ts"],"mappings":"~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAqCK~~,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,OAAA,YACH,CAAA;EAAY,IAAA;AAAA,IAAkB,CAAA,GAAI,CAAA;;KAG/B,OAAA,6BACH,CAAA;EAAY,KAAA;AAAA,wBACY,MAAA,~~WAAiB~~,CAAA;;~~KAQ/B~~,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA;EAAA,SACrD,iBAAA,~~EAAmB~~,OAAA,CAAQ,CAAA,EAAG,WAAA;AAAA,~~IACrC~~,OAAA,sBAA6B,CAAA;;;;;KAUrB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,~~EAAsB~~,MAAA,CAAO,CAAA;AAAA,~~IACpC~~,OAAA,yBAAgC,CAAA~~;;AAvDE;;;KA6D1B~~,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,~~EAAsB~~,MAAA,CAAO,CAAA;AAAA,~~IACpC~~,OAAA,yBAAgC,CAAA~~;;;;;KAMxB~~,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA;;;;;KAMtB,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,~~EAAuB~~,MAAA,CAAO,CAAA;AAAA,~~IACrC~~,OAAA,0BAAiC,CAAA;;;;;KAMzB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;;;;KAMvB~~,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;AAtDnC;;;KAgEY~~,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA;;;;;KAMtB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,~~EAAoB~~,MAAA,CAAO,CAAA;AAAA,~~IAClC~~,OAAA,uBAA8B,CAAA~~;;;;;KAMtB~~,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,~~EAA6B~~,MAAA,CAAO,CAAA;AAAA,~~IAC3C~~,OAAA,gCAAuC,CAAA;;;;;KAM/B,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,~~EAA6B~~,MAAA,CAAO,CAAA;AAAA,~~IAC3C~~,OAAA,gCAAuC,CAAA~~;;;;;KAM/B~~,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,~~EAAuB~~,MAAA,CAAO,CAAA;AAAA,~~IACrC~~,OAAA,0BAAiC,CAAA;;KAOzB,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA;EAAA,SAC7D,eAAA,~~EAAiB~~,OAAA,CAAQ,CAAA,EAAG,gBAAA;AAAA,~~IACnC~~,OAAA,oBAA2B,CAAA~~;;;AAtF/B;;KAgGY~~,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA;;;;;KAMvB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,~~EAAqB~~,MAAA,CAAO,CAAA;AAAA,~~IACnC~~,OAAA,wBAA+B,CAAA~~;;AAlGnC;;;KAwGY~~,WAAA;EAAwB,KAAA;AAAA;EAAA,SACzB,sBAAA;AAAA,IACP,OAAA,2BAAkC,CAAA;;;;;KAU1B,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA~~;;;AA9GpC;;KAoHY~~,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;KAOxB,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA~~;;KAGzB~~,WAAA;EAAA,SAAyB,gCAAA;AAAA~~;AA3HrC;;;;;;;;;AAAA~~,~~KA0IY,~~MAAA;EAAA,SAAoB,iBAAA;AAAA~~;;;;;;;;~~AA9HhC~~;;;;;;~~KAiJY,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA;EAAA,SAEpE,mBAAA,~~EAAqB~~,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA,~~IAC9D~~,OAAA,wBAA+B,CAAA~~;;;;;;KAWvB~~,KAAA;EAAA,SAAqC,gBAAA,~~EAAkB~~,CAAA;AAAA;;;;;~~KAMvD~~,OAAA;EAAA,SACD,kBAAA,~~EAAoB~~,CAAA;AAAA;;;;;~~KAWnB~~,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KACrD,SAAA,CAAU,CAAA,IAAK,SAAA,CAAU,CAAA~~;;AAnK3B;;;KAyKY~~,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~~;;AAnKnF;;;KAyKY~~,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~~;AA1KxF;AAAA~~,~~KA6KY,~~GAAA;EAAyB,KAAA;EAAe,KAAA;AAAA,KAAoB,OAAA,CAAQ,CAAA~~;AAtKhF;AAAA~~,~~KAyKY,~~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"}
1	+ {"version":3,"file":"tags.d.mts","names":[],"sources":["../src/tags.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAyCK,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,MAAA;EAA4B,KAAA;EAAe,KAAA;AAAA,KAC9C,CAAA;EAAY,KAAA;AAAA,IAAmB,CAAA,GAAI,CAAA;;KAGhC,OAAA,YACH,CAAA;EAAY,IAAA;AAAA,IAAkB,CAAA,GAAI,CAAA;;KAG/B,OAAA,6BACH,CAAA;EAAY,KAAA;AAAA,wBACY,MAAA,YAAkB,CAAA;;KAQhC,WAAA;;;;;;;;KAoBA,MAAA,WAAiB,WAAA;EAAgB,IAAA,EAAM,WAAA;EAAa,KAAA;AAAA;EAAA,SACrD,iBAAA,GAAoB,OAAA,CAAQ,CAAA,EAAG,WAAA;AAAA,IACtC,OAAA,sBAA6B,CAAA;;;;;KAUrB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,GAAuB,MAAA,CAAO,CAAA;AAAA,IACrC,OAAA,yBAAgC,CAAA;;;;;KAMxB,SAAA;EAA+B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC/C,oBAAA,GAAuB,MAAA,CAAO,CAAA;AAAA,IACrC,OAAA,yBAAgC,CAAA;;AA3DE;;;KAiE1B,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;;;KAMtB,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,GAAwB,MAAA,CAAO,CAAA;AAAA,IACtC,OAAA,0BAAiC,CAAA;;;;;KAMzB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;AAlEnC;;KAwEY,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAUvB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;;;KAMtB,OAAA;EAA6B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC7C,kBAAA,GAAqB,MAAA,CAAO,CAAA;AAAA,IACnC,OAAA,uBAA8B,CAAA;;;AA9DlC;;KAoEY,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,GAA8B,MAAA,CAAO,CAAA;AAAA,IAC5C,OAAA,gCAAuC,CAAA;;;;;KAM/B,gBAAA;EAAsC,KAAA;EAAe,KAAA;AAAA;EAAA,SACtD,2BAAA,GAA8B,MAAA,CAAO,CAAA;AAAA,IAC5C,OAAA,gCAAuC,CAAA;;AAtE3C;;;KA4EY,UAAA;EAAgC,KAAA;EAAe,KAAA;AAAA;EAAA,SAChD,qBAAA,GAAwB,MAAA,CAAO,CAAA;AAAA,IACtC,OAAA,0BAAiC,CAAA;;KAOzB,gBAAA;;;;;KAOA,IAAA,WAAe,gBAAA;EAAqB,IAAA,EAAM,gBAAA;EAAkB,KAAA;AAAA;EAAA,SAC7D,eAAA,GAAkB,OAAA,CAAQ,CAAA,EAAG,gBAAA;AAAA,IACpC,OAAA,oBAA2B,CAAA;;;;;KAUnB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAMvB,QAAA;EAA8B,KAAA;EAAe,KAAA;AAAA;EAAA,SAC9C,mBAAA,GAAsB,MAAA,CAAO,CAAA;AAAA,IACpC,OAAA,wBAA+B,CAAA;;;;;KAMvB,WAAA;EAAwB,KAAA;AAAA;EAAA,SACzB,sBAAA;AAAA,IACP,OAAA,2BAAkC,CAAA;;;;;KAU1B,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;;;;KAMxB,SAAA;EAAsB,KAAA;AAAA;EAAA,SACvB,oBAAA;AAAA,IACP,OAAA,yBAAgC,CAAA;;KAOxB,IAAA;EAAA,SAAkB,yBAAA;AAAA;;KAGlB,WAAA;EAAA,SAAyB,gCAAA;AAAA;AAxHrC;AAAA,KA2HY,WAAA;EAAA,SAAyB,gCAAA;AAAA;;;;;;;;;;KAezB,MAAA;EAAA,SAAoB,iBAAA;AAAA;;;;AA9HhC;;;;;;;;;;KAiJY,QAAA,gBACK,IAAA;EAA6B,EAAA,MAAQ,IAAA;EAAyB,KAAA;AAAA;EAAA,SAEpE,mBAAA,GAAsB,CAAA;IAAY,EAAA;EAAA,IAAiB,EAAA,GAAK,CAAA;AAAA,IAC/D,OAAA,wBAA+B,CAAA;;AA7InC;;;;KAwJY,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"}

package/dist/tags.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"tags.mjs","names":[],"sources":["../src/tags.ts"],"sourcesContent":["/*\n @tsgonest/types — Zero-runtime branded types for type-safe validation.\n \n These types exist purely at compile time. They produce NO runtime code.\n * The tsgonest compiler reads phantom properties (`__tsgonest_`) to generate validators.\n \n * Every constraint supports two forms:\n * - Simple: Min<0> — clean, no custom error\n * - Extended: Min<{value: 0, error: \"Must be positive\"}> — with per-constraint error\n \n @example\n * import { Email, Min, Max, Trim, Coerce } from \"@tsgonest/types\";\n \n interface CreateUserDto {\n * email: string & Email;\n * name: string & Trim & Min<1> & Max<255>;\n * age: number & Min<0> & Max<150>;\n * }\n \n // With per-constraint errors:\n * interface StrictDto {\n * email: string & Format<{type: \"email\", error: \"Must be a valid email\"}>;\n * age: number & Min<{value: 0, error: \"Age cannot be negative\"}>;\n * }\n \n // Query params with coercion:\n * interface QueryDto {\n * page: number & Coerce;\n * active: boolean & Coerce;\n * }\n /\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Internal helpers (not exported)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Extract the value from a dual-form number constraint. /\ntype NumVal<N extends number \| { value: number; error?: string }> =\n N extends { value: infer V } ? V : N;\n\n/* Extract the value from a dual-form string constraint. /\ntype StrVal<S extends string \| { value: string; error?: string }> =\n S extends { value: infer V } ? V : S;\n\n/* Extract the type from a dual-form type constraint (Format, Type). /\ntype TypeVal<T, Base> =\n T extends { type: infer V } ? V : T;\n\n/* Conditionally add a _error phantom property. /\ntype WithErr<Prefix extends string, C> =\n C extends { error: infer E extends string }\n ? { readonly [K in `${Prefix}_error`]: E }\n : {};\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Format\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* All supported string format values. /\nexport type FormatValue =\n \| \"email\" \| \"idn-email\"\n \| \"url\" \| \"uri\" \| \"uri-reference\" \| \"uri-template\" \| \"iri\" \| \"iri-reference\"\n \| \"uuid\"\n \| \"ipv4\" \| \"ipv6\"\n \| \"hostname\" \| \"idn-hostname\"\n \| \"date-time\" \| \"date\" \| \"time\" \| \"duration\"\n \| \"json-pointer\" \| \"relative-json-pointer\"\n \| \"byte\" \| \"password\" \| \"regex\"\n \| \"nanoid\" \| \"cuid\" \| \"cuid2\" \| \"ulid\" \| \"jwt\"\n \| \"base64url\" \| \"hex\" \| \"mac\"\n \| \"cidrv4\" \| \"cidrv6\" \| \"emoji\";\n\n/\n Validate a string matches a specific format.\n \n @example\n * Format<\"email\">\n * Format<{type: \"email\", error: \"Must be a valid email\"}>\n /\nexport type Format<F extends FormatValue \| { type: FormatValue; error?: string }> = {\n readonly __tsgonest_format: TypeVal<F, FormatValue>;\n} & WithErr<\"__tsgonest_format\", F>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum string length.\n * @example MinLength<1> or MinLength<{value: 1, error: \"Cannot be empty\"}>\n /\nexport type MinLength<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minLength: NumVal<N>;\n} & WithErr<\"__tsgonest_minLength\", N>;\n\n/\n Maximum string length.\n * @example MaxLength<255> or MaxLength<{value: 255, error: \"Too long\"}>\n /\nexport type MaxLength<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maxLength: NumVal<N>;\n} & WithErr<\"__tsgonest_maxLength\", N>;\n\n/\n Regex pattern constraint.\n * @example Pattern<\"^[a-z]+$\"> or Pattern<{value: \"^[a-z]+$\", error: \"Letters only\"}>\n /\nexport type Pattern<P extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_pattern: StrVal<P>;\n} & WithErr<\"__tsgonest_pattern\", P>;\n\n/\n String must start with prefix.\n * @example StartsWith<\"https://\">\n /\nexport type StartsWith<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_startsWith: StrVal<S>;\n} & WithErr<\"__tsgonest_startsWith\", S>;\n\n/\n String must end with suffix.\n * @example EndsWith<\".json\">\n /\nexport type EndsWith<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_endsWith: StrVal<S>;\n} & WithErr<\"__tsgonest_endsWith\", S>;\n\n/\n String must contain substring.\n * @example Includes<\"@\">\n /\nexport type Includes<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_includes: StrVal<S>;\n} & WithErr<\"__tsgonest_includes\", S>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum value (inclusive): value >= N.\n * @example Minimum<0> or Min<0> or Min<{value: 0, error: \"Must be non-negative\"}>\n /\nexport type Minimum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minimum: NumVal<N>;\n} & WithErr<\"__tsgonest_minimum\", N>;\n\n/\n Maximum value (inclusive): value <= N.\n * @example Maximum<100> or Max<100>\n /\nexport type Maximum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maximum: NumVal<N>;\n} & WithErr<\"__tsgonest_maximum\", N>;\n\n/\n Exclusive minimum: value > N.\n * @example ExclusiveMinimum<0> or Gt<0>\n /\nexport type ExclusiveMinimum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_exclusiveMinimum: NumVal<N>;\n} & WithErr<\"__tsgonest_exclusiveMinimum\", N>;\n\n/\n Exclusive maximum: value < N.\n * @example ExclusiveMaximum<100> or Lt<100>\n /\nexport type ExclusiveMaximum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_exclusiveMaximum: NumVal<N>;\n} & WithErr<\"__tsgonest_exclusiveMaximum\", N>;\n\n/\n Value must be a multiple of N.\n * @example MultipleOf<2> or Step<0.01>\n /\nexport type MultipleOf<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_multipleOf: NumVal<N>;\n} & WithErr<\"__tsgonest_multipleOf\", N>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Type Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Valid numeric type values. /\nexport type NumericTypeValue =\n \| \"int32\" \| \"uint32\" \| \"int64\" \| \"uint64\" \| \"float\" \| \"double\";\n\n/\n Constrain number to a specific numeric type.\n * @example Type<\"int32\"> or Type<{type: \"int32\", error: \"Must be integer\"}>\n /\nexport type Type<T extends NumericTypeValue \| { type: NumericTypeValue; error?: string }> = {\n readonly __tsgonest_type: TypeVal<T, NumericTypeValue>;\n} & WithErr<\"__tsgonest_type\", T>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Array Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum array length.\n * @example MinItems<1>\n /\nexport type MinItems<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minItems: NumVal<N>;\n} & WithErr<\"__tsgonest_minItems\", N>;\n\n/\n Maximum array length.\n * @example MaxItems<100>\n /\nexport type MaxItems<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maxItems: NumVal<N>;\n} & WithErr<\"__tsgonest_maxItems\", N>;\n\n/\n Array items must be unique.\n * @example UniqueItems or Unique or Unique<{error: \"No duplicates\"}>\n /\nexport type UniqueItems<C extends { error?: string } = {}> = {\n readonly __tsgonest_uniqueItems: true;\n} & WithErr<\"__tsgonest_uniqueItems\", C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Case Validation\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n String must be all uppercase.\n * @example Uppercase or Uppercase<{error: \"Must be uppercase\"}>\n /\nexport type Uppercase<C extends { error?: string } = {}> = {\n readonly __tsgonest_uppercase: true;\n} & WithErr<\"__tsgonest_uppercase\", C>;\n\n/\n String must be all lowercase.\n * @example Lowercase or Lowercase<{error: \"Must be lowercase\"}>\n /\nexport type Lowercase<C extends { error?: string } = {}> = {\n readonly __tsgonest_lowercase: true;\n} & WithErr<\"__tsgonest_lowercase\", C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Transforms (applied before validation, never fail)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Trim whitespace before validation. /\nexport type Trim = { readonly __tsgonest_transform_trim: true };\n\n/* Convert to lowercase before validation. /\nexport type ToLowerCase = { readonly __tsgonest_transform_toLowerCase: true };\n\n/* Convert to uppercase before validation. /\nexport type ToUpperCase = { readonly __tsgonest_transform_toUpperCase: true };\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Coercion\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Coerce string inputs to the declared type before validation.\n * - \"123\" → 123 (string to number)\n * - \"true\"/\"false\" → true/false (string to boolean)\n \n @example\n * page: number & Coerce\n * active: boolean & Coerce\n /\nexport type Coerce = { readonly __tsgonest_coerce: true };\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Custom Validators (function reference)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Validate using a custom function. The function must be a predicate:\n * `(value: T) => boolean`. tsgonest resolves the function's source file\n * and emits an import + call in the generated validator.\n \n @example\n * import { isValidCard } from \"./validators/credit-card\";\n \n interface PaymentDto {\n * card: string & Validate<typeof isValidCard>;\n * card: string & Validate<{fn: typeof isValidCard, error: \"Invalid card\"}>;\n * }\n /\nexport type Validate<\n F extends ((...args: any[]) => boolean) \| { fn: (...args: any[]) => boolean; error?: string }\n> = {\n readonly __tsgonest_validate: F extends { fn: infer Fn } ? Fn : F;\n} & WithErr<\"__tsgonest_validate\", F>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Meta Types\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Global error message — applies to all validation failures on this property.\n * Per-constraint errors (via `error` field) take precedence.\n * @example string & Format<\"email\"> & Error<\"Invalid email\">\n /\nexport type Error<M extends string> = { readonly __tsgonest_error: M };\n\n/\n Default value for optional properties. Assigned when value is undefined.\n * @example theme?: string & Default<\"light\">\n /\nexport type Default<V extends string \| number \| boolean> = {\n readonly __tsgonest_default: V;\n};\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Compound Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Exact length (sets both MinLength and MaxLength).\n * @example Length<2> or Length<{value: 2, error: \"Must be exactly 2 chars\"}>\n /\nexport type Length<N extends number \| { value: number; error?: string }> =\n MinLength<N> & MaxLength<N>;\n\n/\n Numeric range (inclusive). Sets Minimum and Maximum.\n * @example Range<{min: 0, max: 100}> or Range<{min: 0, max: 100, error: \"Out of range\"}>\n /\nexport type Range<R extends { min: number; max: number; error?: string }> =\n Minimum<R extends { error: string } ? { value: R[\"min\"]; error: R[\"error\"] } : R[\"min\"]>\n & Maximum<R extends { error: string } ? { value: R[\"max\"]; error: R[\"error\"] } : R[\"max\"]>;\n\n/\n String length range. Sets MinLength and MaxLength.\n * @example Between<{min: 1, max: 255}> or Between<{min: 1, max: 255, error: \"Bad length\"}>\n /\nexport type Between<R extends { min: number; max: number; error?: string }> =\n MinLength<R extends { error: string } ? { value: R[\"min\"]; error: R[\"error\"] } : R[\"min\"]>\n & MaxLength<R extends { error: string } ? { value: R[\"max\"]; error: R[\"error\"] } : R[\"max\"]>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Short Aliases (Zod-style)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Alias for Minimum. `Min<0>` = `Minimum<0>` /\nexport type Min<N extends number \| { value: number; error?: string }> = Minimum<N>;\n\n/* Alias for Maximum. `Max<100>` = `Maximum<100>` /\nexport type Max<N extends number \| { value: number; error?: string }> = Maximum<N>;\n\n/* Alias for ExclusiveMinimum. `Gt<0>` = \"greater than 0\" /\nexport type Gt<N extends number \| { value: number; error?: string }> = ExclusiveMinimum<N>;\n\n/* Alias for ExclusiveMaximum. `Lt<100>` = \"less than 100\" /\nexport type Lt<N extends number \| { value: number; error?: string }> = ExclusiveMaximum<N>;\n\n/* Alias for Minimum + ExclusiveMinimum combo. `Gte<0>` = `Min<0>` /\nexport type Gte<N extends number \| { value: number; error?: string }> = Minimum<N>;\n\n/* Alias for Maximum + ExclusiveMaximum combo. `Lte<100>` = `Max<100>` /\nexport type Lte<N extends number \| { value: number; error?: string }> = Maximum<N>;\n\n/* Alias for MultipleOf. `Step<0.01>` /\nexport type Step<N extends number \| { value: number; error?: string }> = MultipleOf<N>;\n\n/* Alias for UniqueItems. `Unique` /\nexport type Unique<C extends { error?: string } = {}> = UniqueItems<C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Format Aliases (direct exports, no namespace needed)\n// ═══════════════════════════════════════════════════════════════════════════════\n\nexport type Email = Format<\"email\">;\nexport type Uuid = Format<\"uuid\">;\nexport type Url = Format<\"url\">;\nexport type Uri = Format<\"uri\">;\nexport type IPv4 = Format<\"ipv4\">;\nexport type IPv6 = Format<\"ipv6\">;\nexport type DateTime = Format<\"date-time\">;\nexport type DateOnly = Format<\"date\">;\nexport type Time = Format<\"time\">;\nexport type Duration = Format<\"duration\">;\nexport type Jwt = Format<\"jwt\">;\nexport type Ulid = Format<\"ulid\">;\nexport type Cuid = Format<\"cuid\">;\nexport type Cuid2 = Format<\"cuid2\">;\nexport type NanoId = Format<\"nanoid\">;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Aliases\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* number & Gt<0> /\nexport type Positive = ExclusiveMinimum<0>;\n\n/* number & Lt<0> /\nexport type Negative = ExclusiveMaximum<0>;\n\n/* number & Min<0> /\nexport type NonNegative = Minimum<0>;\n\n/* number & Max<0> /\nexport type NonPositive = Maximum<0>;\n\n/* number & Type<\"int32\"> /\nexport type Int = Type<\"int32\">;\n\n/* number & Type<\"int64\"> (JS safe integer range) /\nexport type SafeInt = Type<\"int64\">;\n\n/* number & Type<\"float\"> (finite, no Infinity/NaN) /\nexport type Finite = Type<\"float\">;\n\n/* number & Type<\"uint32\"> /\nexport type Uint = Type<\"uint32\">;\n\n/* number & Type<\"double\"> */\nexport type Double = Type<\"double\">;\n"],"mappings":""}
1	+ {"version":3,"file":"tags.mjs","names":[],"sources":["../src/tags.ts"],"sourcesContent":["/*\n @tsgonest/types — Zero-runtime branded types for type-safe validation.\n \n These types exist purely at compile time. They produce NO runtime code.\n * The tsgonest compiler reads phantom properties (`__tsgonest_`) to generate validators.\n \n * All phantom properties are optional (`?`) so that branded types remain\n * assignable from their base types (e.g. `string` → `string & Email`).\n * This follows the same pattern as typia's optional `\"typia.tag\"` property.\n \n Every constraint supports two forms:\n * - Simple: Min<0> — clean, no custom error\n * - Extended: Min<{value: 0, error: \"Must be positive\"}> — with per-constraint error\n \n @example\n * import { Email, Min, Max, Trim, Coerce } from \"@tsgonest/types\";\n \n interface CreateUserDto {\n * email: string & Email;\n * name: string & Trim & Min<1> & Max<255>;\n * age: number & Min<0> & Max<150>;\n * }\n \n // With per-constraint errors:\n * interface StrictDto {\n * email: string & Format<{type: \"email\", error: \"Must be a valid email\"}>;\n * age: number & Min<{value: 0, error: \"Age cannot be negative\"}>;\n * }\n \n // Query params with coercion:\n * interface QueryDto {\n * page: number & Coerce;\n * active: boolean & Coerce;\n * }\n /\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Internal helpers (not exported)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Extract the value from a dual-form number constraint. /\ntype NumVal<N extends number \| { value: number; error?: string }> =\n N extends { value: infer V } ? V : N;\n\n/* Extract the value from a dual-form string constraint. /\ntype StrVal<S extends string \| { value: string; error?: string }> =\n S extends { value: infer V } ? V : S;\n\n/* Extract the type from a dual-form type constraint (Format, Type). /\ntype TypeVal<T, Base> =\n T extends { type: infer V } ? V : T;\n\n/* Conditionally add an optional _error phantom property. /\ntype WithErr<Prefix extends string, C> =\n C extends { error: infer E extends string }\n ? { readonly [K in `${Prefix}_error`]?: E }\n : {};\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Format\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* All supported string format values. /\nexport type FormatValue =\n \| \"email\" \| \"idn-email\"\n \| \"url\" \| \"uri\" \| \"uri-reference\" \| \"uri-template\" \| \"iri\" \| \"iri-reference\"\n \| \"uuid\"\n \| \"ipv4\" \| \"ipv6\"\n \| \"hostname\" \| \"idn-hostname\"\n \| \"date-time\" \| \"date\" \| \"time\" \| \"duration\"\n \| \"json-pointer\" \| \"relative-json-pointer\"\n \| \"byte\" \| \"password\" \| \"regex\"\n \| \"nanoid\" \| \"cuid\" \| \"cuid2\" \| \"ulid\" \| \"jwt\"\n \| \"base64url\" \| \"hex\" \| \"mac\"\n \| \"cidrv4\" \| \"cidrv6\" \| \"emoji\";\n\n/\n Validate a string matches a specific format.\n \n @example\n * Format<\"email\">\n * Format<{type: \"email\", error: \"Must be a valid email\"}>\n /\nexport type Format<F extends FormatValue \| { type: FormatValue; error?: string }> = {\n readonly __tsgonest_format?: TypeVal<F, FormatValue>;\n} & WithErr<\"__tsgonest_format\", F>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum string length.\n * @example MinLength<1> or MinLength<{value: 1, error: \"Cannot be empty\"}>\n /\nexport type MinLength<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minLength?: NumVal<N>;\n} & WithErr<\"__tsgonest_minLength\", N>;\n\n/\n Maximum string length.\n * @example MaxLength<255> or MaxLength<{value: 255, error: \"Too long\"}>\n /\nexport type MaxLength<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maxLength?: NumVal<N>;\n} & WithErr<\"__tsgonest_maxLength\", N>;\n\n/\n Regex pattern constraint.\n * @example Pattern<\"^[a-z]+$\"> or Pattern<{value: \"^[a-z]+$\", error: \"Letters only\"}>\n /\nexport type Pattern<P extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_pattern?: StrVal<P>;\n} & WithErr<\"__tsgonest_pattern\", P>;\n\n/\n String must start with prefix.\n * @example StartsWith<\"https://\">\n /\nexport type StartsWith<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_startsWith?: StrVal<S>;\n} & WithErr<\"__tsgonest_startsWith\", S>;\n\n/\n String must end with suffix.\n * @example EndsWith<\".json\">\n /\nexport type EndsWith<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_endsWith?: StrVal<S>;\n} & WithErr<\"__tsgonest_endsWith\", S>;\n\n/\n String must contain substring.\n * @example Includes<\"@\">\n /\nexport type Includes<S extends string \| { value: string; error?: string }> = {\n readonly __tsgonest_includes?: StrVal<S>;\n} & WithErr<\"__tsgonest_includes\", S>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum value (inclusive): value >= N.\n * @example Minimum<0> or Min<0> or Min<{value: 0, error: \"Must be non-negative\"}>\n /\nexport type Minimum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minimum?: NumVal<N>;\n} & WithErr<\"__tsgonest_minimum\", N>;\n\n/\n Maximum value (inclusive): value <= N.\n * @example Maximum<100> or Max<100>\n /\nexport type Maximum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maximum?: NumVal<N>;\n} & WithErr<\"__tsgonest_maximum\", N>;\n\n/\n Exclusive minimum: value > N.\n * @example ExclusiveMinimum<0> or Gt<0>\n /\nexport type ExclusiveMinimum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_exclusiveMinimum?: NumVal<N>;\n} & WithErr<\"__tsgonest_exclusiveMinimum\", N>;\n\n/\n Exclusive maximum: value < N.\n * @example ExclusiveMaximum<100> or Lt<100>\n /\nexport type ExclusiveMaximum<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_exclusiveMaximum?: NumVal<N>;\n} & WithErr<\"__tsgonest_exclusiveMaximum\", N>;\n\n/\n Value must be a multiple of N.\n * @example MultipleOf<2> or Step<0.01>\n /\nexport type MultipleOf<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_multipleOf?: NumVal<N>;\n} & WithErr<\"__tsgonest_multipleOf\", N>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Type Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Valid numeric type values. /\nexport type NumericTypeValue =\n \| \"int32\" \| \"uint32\" \| \"int64\" \| \"uint64\" \| \"float\" \| \"double\";\n\n/\n Constrain number to a specific numeric type.\n * @example Type<\"int32\"> or Type<{type: \"int32\", error: \"Must be integer\"}>\n /\nexport type Type<T extends NumericTypeValue \| { type: NumericTypeValue; error?: string }> = {\n readonly __tsgonest_type?: TypeVal<T, NumericTypeValue>;\n} & WithErr<\"__tsgonest_type\", T>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Array Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Minimum array length.\n * @example MinItems<1>\n /\nexport type MinItems<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_minItems?: NumVal<N>;\n} & WithErr<\"__tsgonest_minItems\", N>;\n\n/\n Maximum array length.\n * @example MaxItems<100>\n /\nexport type MaxItems<N extends number \| { value: number; error?: string }> = {\n readonly __tsgonest_maxItems?: NumVal<N>;\n} & WithErr<\"__tsgonest_maxItems\", N>;\n\n/\n Array items must be unique.\n * @example UniqueItems or Unique or Unique<{error: \"No duplicates\"}>\n /\nexport type UniqueItems<C extends { error?: string } = {}> = {\n readonly __tsgonest_uniqueItems?: true;\n} & WithErr<\"__tsgonest_uniqueItems\", C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// String Case Validation\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n String must be all uppercase.\n * @example Uppercase or Uppercase<{error: \"Must be uppercase\"}>\n /\nexport type Uppercase<C extends { error?: string } = {}> = {\n readonly __tsgonest_uppercase?: true;\n} & WithErr<\"__tsgonest_uppercase\", C>;\n\n/\n String must be all lowercase.\n * @example Lowercase or Lowercase<{error: \"Must be lowercase\"}>\n /\nexport type Lowercase<C extends { error?: string } = {}> = {\n readonly __tsgonest_lowercase?: true;\n} & WithErr<\"__tsgonest_lowercase\", C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Transforms (applied before validation, never fail)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Trim whitespace before validation. /\nexport type Trim = { readonly __tsgonest_transform_trim?: true };\n\n/* Convert to lowercase before validation. /\nexport type ToLowerCase = { readonly __tsgonest_transform_toLowerCase?: true };\n\n/* Convert to uppercase before validation. /\nexport type ToUpperCase = { readonly __tsgonest_transform_toUpperCase?: true };\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Coercion\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Coerce string inputs to the declared type before validation.\n * - \"123\" → 123 (string to number)\n * - \"true\"/\"false\" → true/false (string to boolean)\n \n @example\n * page: number & Coerce\n * active: boolean & Coerce\n /\nexport type Coerce = { readonly __tsgonest_coerce?: true };\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Custom Validators (function reference)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Validate using a custom function. The function must be a predicate:\n * `(value: T) => boolean`. tsgonest resolves the function's source file\n * and emits an import + call in the generated validator.\n \n @example\n * import { isValidCard } from \"./validators/credit-card\";\n \n interface PaymentDto {\n * card: string & Validate<typeof isValidCard>;\n * card: string & Validate<{fn: typeof isValidCard, error: \"Invalid card\"}>;\n * }\n /\nexport type Validate<\n F extends ((...args: any[]) => boolean) \| { fn: (...args: any[]) => boolean; error?: string }\n> = {\n readonly __tsgonest_validate?: F extends { fn: infer Fn } ? Fn : F;\n} & WithErr<\"__tsgonest_validate\", F>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Meta Types\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Global error message — applies to all validation failures on this property.\n * Per-constraint errors (via `error` field) take precedence.\n * @example string & Format<\"email\"> & Error<\"Invalid email\">\n /\nexport type Error<M extends string> = { readonly __tsgonest_error?: M };\n\n/\n Default value for optional properties. Assigned when value is undefined.\n * @example theme?: string & Default<\"light\">\n /\nexport type Default<V extends string \| number \| boolean> = {\n readonly __tsgonest_default?: V;\n};\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Compound Constraints\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/\n Exact length (sets both MinLength and MaxLength).\n * @example Length<2> or Length<{value: 2, error: \"Must be exactly 2 chars\"}>\n /\nexport type Length<N extends number \| { value: number; error?: string }> =\n MinLength<N> & MaxLength<N>;\n\n/\n Numeric range (inclusive). Sets Minimum and Maximum.\n * @example Range<{min: 0, max: 100}> or Range<{min: 0, max: 100, error: \"Out of range\"}>\n /\nexport type Range<R extends { min: number; max: number; error?: string }> =\n Minimum<R extends { error: string } ? { value: R[\"min\"]; error: R[\"error\"] } : R[\"min\"]>\n & Maximum<R extends { error: string } ? { value: R[\"max\"]; error: R[\"error\"] } : R[\"max\"]>;\n\n/\n String length range. Sets MinLength and MaxLength.\n * @example Between<{min: 1, max: 255}> or Between<{min: 1, max: 255, error: \"Bad length\"}>\n /\nexport type Between<R extends { min: number; max: number; error?: string }> =\n MinLength<R extends { error: string } ? { value: R[\"min\"]; error: R[\"error\"] } : R[\"min\"]>\n & MaxLength<R extends { error: string } ? { value: R[\"max\"]; error: R[\"error\"] } : R[\"max\"]>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Short Aliases (Zod-style)\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* Alias for Minimum. `Min<0>` = `Minimum<0>` /\nexport type Min<N extends number \| { value: number; error?: string }> = Minimum<N>;\n\n/* Alias for Maximum. `Max<100>` = `Maximum<100>` /\nexport type Max<N extends number \| { value: number; error?: string }> = Maximum<N>;\n\n/* Alias for ExclusiveMinimum. `Gt<0>` = \"greater than 0\" /\nexport type Gt<N extends number \| { value: number; error?: string }> = ExclusiveMinimum<N>;\n\n/* Alias for ExclusiveMaximum. `Lt<100>` = \"less than 100\" /\nexport type Lt<N extends number \| { value: number; error?: string }> = ExclusiveMaximum<N>;\n\n/* Alias for Minimum + ExclusiveMinimum combo. `Gte<0>` = `Min<0>` /\nexport type Gte<N extends number \| { value: number; error?: string }> = Minimum<N>;\n\n/* Alias for Maximum + ExclusiveMaximum combo. `Lte<100>` = `Max<100>` /\nexport type Lte<N extends number \| { value: number; error?: string }> = Maximum<N>;\n\n/* Alias for MultipleOf. `Step<0.01>` /\nexport type Step<N extends number \| { value: number; error?: string }> = MultipleOf<N>;\n\n/* Alias for UniqueItems. `Unique` /\nexport type Unique<C extends { error?: string } = {}> = UniqueItems<C>;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Format Aliases (direct exports, no namespace needed)\n// ═══════════════════════════════════════════════════════════════════════════════\n\nexport type Email = Format<\"email\">;\nexport type Uuid = Format<\"uuid\">;\nexport type Url = Format<\"url\">;\nexport type Uri = Format<\"uri\">;\nexport type IPv4 = Format<\"ipv4\">;\nexport type IPv6 = Format<\"ipv6\">;\nexport type DateTime = Format<\"date-time\">;\nexport type DateOnly = Format<\"date\">;\nexport type Time = Format<\"time\">;\nexport type Duration = Format<\"duration\">;\nexport type Jwt = Format<\"jwt\">;\nexport type Ulid = Format<\"ulid\">;\nexport type Cuid = Format<\"cuid\">;\nexport type Cuid2 = Format<\"cuid2\">;\nexport type NanoId = Format<\"nanoid\">;\n\n// ═══════════════════════════════════════════════════════════════════════════════\n// Numeric Aliases\n// ═══════════════════════════════════════════════════════════════════════════════\n\n/* number & Gt<0> /\nexport type Positive = ExclusiveMinimum<0>;\n\n/* number & Lt<0> /\nexport type Negative = ExclusiveMaximum<0>;\n\n/* number & Min<0> /\nexport type NonNegative = Minimum<0>;\n\n/* number & Max<0> /\nexport type NonPositive = Maximum<0>;\n\n/* number & Type<\"int32\"> /\nexport type Int = Type<\"int32\">;\n\n/* number & Type<\"int64\"> (JS safe integer range) /\nexport type SafeInt = Type<\"int64\">;\n\n/* number & Type<\"float\"> (finite, no Infinity/NaN) /\nexport type Finite = Type<\"float\">;\n\n/* number & Type<\"uint32\"> /\nexport type Uint = Type<\"uint32\">;\n\n/* number & Type<\"double\"> */\nexport type Double = Type<\"double\">;\n"],"mappings":""}

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@tsgonest/types",
-  "version": "0.4.3",
+  "version": "0.5.0",
   "description": "Zero-runtime branded types for tsgonest validation constraints — type-safe alternative to JSDoc tags",
   "main": "dist/index.cjs",
   "module": "dist/index.mjs",