@vicin/phantom 1.0.1

package/dist/types/composed/identity.d.ts

@@ -0,0 +1,37 @@
+import type { Base as NamespaceBase, Label as NamespaceLabel, Tag as NamespaceTag, Variants as NamespaceVariants } from '../core';
+import type { ErrorType, Errors } from '../errors';
+import type { HandleOriginalType, PatchMetadata, Prettify, WithMetadata } from './helpers';
+/**
+ * Identity API.
+ *
+ * Identities are brands with additional constraints:
+ * - Base type
+ * - Variants
+ */
+export declare namespace Identity {
+    /** Type guard for any identity. */
+    export type Any = NamespaceTag.Of<string | symbol>;
+    /** Declare an identity */
+    export type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = Prettify<NamespaceTag.Of<T> & NamespaceLabel.OfIfExists<L> & NamespaceBase.OfIfExists<B> & NamespaceVariants.OfIfExists<V>>;
+    /**
+     * Assign an identity to a value.
+     * Enforces base-type compatibility.
+     */
+    export type Assign<I extends Any, T> = T extends ErrorType<any> ? T : _Assign<I, HandleOriginalType<T>>;
+    /** Internal implementation of 'Identity.Assign' */
+    type _Assign<I extends Any, T> = NamespaceTag.HasTag<T> extends true ? ErrorType<Errors<I, T>['alreadyBranded']> : T extends NamespaceBase.BaseOf<I> ? WithMetadata<T, I> : ErrorType<Errors<I, T>['typeNotExtendBase']>;
+    /** Safe identity assignment */
+    export type AssignSafe<I extends Any, T> = T extends ErrorType<any> ? T : _AssignSafe<I, HandleOriginalType<T>>;
+    /** Internal implementation of 'Identity.AssignSafe' */
+    type _AssignSafe<I extends Any, T> = NamespaceTag.HasTag<T> extends true ? T : T extends NamespaceBase.BaseOf<I> ? WithMetadata<T, I> : ErrorType<Errors<I, T>['typeNotExtendBase']>;
+    /** Set the active variant on an identity */
+    export type WithVariant<I extends Any, V extends NamespaceVariants.VariantsOf<I>> = PatchMetadata<I, NamespaceVariants.Of<V>>;
+    /** Set the active variant on a value */
+    export type WithTypeVariant<T, V extends NamespaceVariants.VariantsOf<T>> = T extends ErrorType<any> ? T : _WithTypeVariant<HandleOriginalType<T>, V>;
+    /** Internal implementation of 'Identity.WithTypeVariant' */
+    type _WithTypeVariant<T, V extends NamespaceVariants.VariantsOf<T>> = WithMetadata<T, NamespaceVariants.Of<V>>;
+    /** Check whether value is branded with */
+    export type isIdentity<T, I extends Any> = T extends I ? true : false;
+    export {};
+}
+//# sourceMappingURL=identity.d.ts.map

package/dist/types/composed/identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../../../src/types/composed/identity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,IAAI,aAAa,EACrB,KAAK,IAAI,cAAc,EACvB,GAAG,IAAI,YAAY,EACnB,QAAQ,IAAI,iBAAiB,EAC9B,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,KAAK,EACV,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,YAAY,EACb,MAAM,WAAW,CAAC;AAEnB;;;;;;GAMG;AACH,yBAAiB,QAAQ,CAAC;IACxB,mCAAmC;IACnC,MAAM,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAEnD,0BAA0B;IAC1B,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,SAAS,OAAO,GAAG,KAAK,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,QAAQ,CACV,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,GAChB,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,GAC5B,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,GAC3B,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAClC,CAAC;IAEF;;;OAGG;IACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IACjC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,mDAAmD;IACnD,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAC3B,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/B,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,GACzC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,GAC/B,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAErD,+BAA+B;IAC/B,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IACrC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,uDAAuD;IACvD,KAAK,WAAW,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAC/B,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/B,CAAC,GACD,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,GAC/B,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAErD,4CAA4C;IAC5C,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,GAAG,EACb,CAAC,SAAS,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,IACvC,aAAa,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9C,wCAAwC;IACxC,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,SAAS,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,IACtE,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5E,4DAA4D;IAC5D,KAAK,gBAAgB,CACnB,CAAC,EACD,CAAC,SAAS,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,IACvC,YAAY,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7C,0CAA0C;IAC1C,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;;CACvE"}

package/dist/types/composed/identity.js

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

package/dist/types/composed/identity.js.map

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

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

@@ -0,0 +1,6 @@
+export type { ErrorType } from '../errors';
+export type { Brand } from './brand';
+export type { Identity } from './identity';
+export type { Trait } from './trait';
+export type { Transformation } from './transformation';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/composed/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/composed/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,YAAY,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,YAAY,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/types/composed/index.js

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

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

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

package/dist/types/composed/trait.d.ts

@@ -0,0 +1,35 @@
+import type { Phantom as NamespacePhantom, Traits as NamespaceTraits } from '../core';
+import type { ErrorType } from '../errors';
+import type { Equals, HandleOriginalType, IfNever, IntersectOf, WithMetadata, WithoutMetadata } from './helpers';
+/**
+ * Trait API.
+ *
+ * Traits are additive capabilities that can be attached
+ * or removed independently.
+ */
+export declare namespace Trait {
+    /** Type guard for any trait. */
+    export type Any = NamespaceTraits.Of<string | symbol>;
+    /** Declare a trait */
+    export type Declare<Tr extends string | symbol> = NamespaceTraits.Of<Tr>;
+    /** Add a trait */
+    export type Add<Tr extends Any, T> = T extends ErrorType<any> ? T : _Add<Tr, HandleOriginalType<T>>;
+    /** Internal implementation of 'Trait.Add' */
+    type _Add<Tr extends Any, T> = WithMetadata<T, NamespaceTraits.FromMap<IfNever<NamespaceTraits.TraitsOf<T>> & IfNever<NamespaceTraits.TraitsOf<Tr>>>>;
+    /** Add multiple traits */
+    export type AddMulti<Tr extends readonly Any[], T> = T extends ErrorType<any> ? T : _AddMulti<Tr, HandleOriginalType<T>>;
+    /** Internal implementation of 'Trait.AddMulti' */
+    type _AddMulti<Tr extends readonly Any[], T> = WithMetadata<T, NamespaceTraits.FromMap<IfNever<NamespaceTraits.TraitsOf<T>> & IfNever<NamespaceTraits.TraitsOf<IntersectOf<Tr[number]>>>>>;
+    /** Remove a trait */
+    export type Drop<Tr extends Any, T> = T extends ErrorType<any> ? T : _Drop<Tr, HandleOriginalType<T>>;
+    /** Internal implementation of 'Trait.Drop' */
+    type _Drop<Tr extends Any, T> = Equals<NamespaceTraits.TraitKeysOf<Tr>, NamespaceTraits.TraitKeysOf<T>> extends true ? Equals<keyof NamespacePhantom.PhantomOf<T>, '__OriginalType' | '__Traits'> extends true ? NamespacePhantom.StripPhantom<T> : WithoutMetadata<T, '__Traits'> : WithMetadata<T, NamespaceTraits.FromMap<Omit<NamespaceTraits.TraitsOf<T>, NamespaceTraits.TraitKeysOf<Tr>>>>;
+    /** Remove multiple traits */
+    export type DropMulti<Tr extends readonly Any[], T> = T extends ErrorType<any> ? T : _DropMulti<Tr, HandleOriginalType<T>>;
+    /** Internal implementation of 'Trait.DropMulti' */
+    type _DropMulti<Tr extends readonly Any[], T> = Equals<NamespaceTraits.TraitKeysOf<IntersectOf<Tr[number]>>, NamespaceTraits.TraitKeysOf<T>> extends true ? Equals<keyof NamespacePhantom.PhantomOf<T>, '__OriginalType' | '__Traits'> extends true ? NamespacePhantom.StripPhantom<T> : WithoutMetadata<T, '__Traits'> : WithMetadata<T, NamespaceTraits.FromMap<Omit<NamespaceTraits.TraitsOf<T>, NamespaceTraits.TraitKeysOf<IntersectOf<Tr[number]>>>>>;
+    /** Check whether value has trait */
+    export type HasTrait<T, Tr extends Any> = T extends Tr ? true : false;
+    export {};
+}
+//# sourceMappingURL=trait.d.ts.map

package/dist/types/composed/trait.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trait.d.ts","sourceRoot":"","sources":["../../../src/types/composed/trait.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,IAAI,gBAAgB,EAC3B,MAAM,IAAI,eAAe,EAC1B,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,EACV,MAAM,EACN,kBAAkB,EAClB,OAAO,EACP,WAAW,EACX,YAAY,EACZ,eAAe,EAChB,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,yBAAiB,KAAK,CAAC;IACrB,gCAAgC;IAChC,MAAM,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAEtD,sBAAsB;IACtB,MAAM,MAAM,OAAO,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAEzE,kBAAkB;IAClB,MAAM,MAAM,GAAG,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAC/B,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjE,6CAA6C;IAC7C,KAAK,IAAI,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAAI,YAAY,CACzC,CAAC,EACD,eAAe,CAAC,OAAO,CACrB,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CACxC,CACF,CAAC;IAEF,0BAA0B;IAC1B,MAAM,MAAM,QAAQ,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAC/C,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtE,kDAAkD;IAClD,KAAK,SAAS,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAAI,YAAY,CACzD,CAAC,EACD,eAAe,CAAC,OAAO,CACrB,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAClC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC7D,CACF,CAAC;IAEF,qBAAqB;IACrB,MAAM,MAAM,IAAI,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAChC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,8CAA8C;IAC9C,KAAK,KAAK,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAC1B,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC,EAC/B,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAC/B,SAAS,IAAI,GACV,MAAM,CACJ,MAAM,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,EACnC,gBAAgB,GAAG,UAAU,CAC9B,SAAS,IAAI,GACZ,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,GAChC,eAAe,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,YAAY,CACV,CAAC,EACD,eAAe,CAAC,OAAO,CACrB,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CACnE,CACF,CAAC;IAER,6BAA6B;IAC7B,MAAM,MAAM,SAAS,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAChD,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,mDAAmD;IACnD,KAAK,UAAU,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAC1C,MAAM,CACJ,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EACpD,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAC/B,SAAS,IAAI,GACV,MAAM,CACJ,MAAM,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,EACnC,gBAAgB,GAAG,UAAU,CAC9B,SAAS,IAAI,GACZ,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,GAChC,eAAe,CAAC,CAAC,EAAE,UAAU,CAAC,GAChC,YAAY,CACV,CAAC,EACD,eAAe,CAAC,OAAO,CACrB,IAAI,CACF,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC3B,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CACrD,CACF,CACF,CAAC;IAER,oCAAoC;IACpC,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;;CACvE"}

package/dist/types/composed/trait.js

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

package/dist/types/composed/trait.js.map

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

package/dist/types/composed/transformation.d.ts

@@ -0,0 +1,34 @@
+import type { Input, Base as NamespaceBase, Input as NamespaceInput, Label as NamespaceLabel, Tag as NamespaceTag, Variants as NamespaceVariants } from '../core';
+import type { ErrorType, Errors } from '../errors';
+import type { HandleOriginalType, PatchMetadata, Prettify, WithMetadata } from './helpers';
+/**
+ * Transformation API.
+ *
+ * Transformations represent reversible operations that
+ * change the shape of a value while preserving its origin.
+ */
+export declare namespace Transformation {
+    /** Type guard for any transformation. */
+    export type Any = NamespaceInput.Of<any> & NamespaceTag.Of<string | symbol>;
+    /** Declare a transformation */
+    export type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = Prettify<NamespaceInput.Of<I> & NamespaceTag.Of<T> & NamespaceLabel.OfIfExists<L> & NamespaceBase.OfIfExists<B> & NamespaceVariants.OfIfExists<V>>;
+    /**
+     * Apply a transformation to a value.
+     * Enforces base-type compatibility.
+     */
+    export type Apply<Tr extends Any, I, T> = T extends ErrorType<any> ? T : _Apply<Tr, I, HandleOriginalType<T>>;
+    /** Internal implementation of 'Transformation.Apply' */
+    type _Apply<Tr extends Any, I, T> = NamespaceTag.HasTag<T> extends true ? ErrorType<Errors<I, T>['alreadyBranded']> : T extends NamespaceBase.BaseOf<I> ? WithMetadata<T, PatchMetadata<Tr, Input.Of<I>>> : ErrorType<Errors<I, T>['typeNotExtendBase']>;
+    /** Revert a transformation */
+    export type Revert<Tr extends Any, T, I> = T extends ErrorType<any> ? T : _Revert<Tr, HandleOriginalType<T>, I>;
+    /** Internal implementation of 'Transformation.Revert' */
+    type _Revert<Tr extends Any, T, I> = NamespaceInput.HasInput<T> extends true ? T extends Tr ? NamespaceInput.InputOf<T> : ErrorType<Errors<Tr, T>['transformationMismatch']> : ErrorType<Errors<never, T>['notTransformed']>;
+    /** Revert a transformation whatever transformation was */
+    export type RevertAny<T, I> = T extends ErrorType<any> ? T : _RevertAny<HandleOriginalType<T>>;
+    /** Internal implementation of 'Transformation.RevertAny' */
+    type _RevertAny<T> = NamespaceInput.HasInput<T> extends true ? NamespaceInput.InputOf<T> : ErrorType<Errors<never, T>['notTransformed']>;
+    /** Check whether value is transformed with */
+    export type isTransformed<T, Tr extends Any> = T extends Tr ? true : false;
+    export {};
+}
+//# sourceMappingURL=transformation.d.ts.map

package/dist/types/composed/transformation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transformation.d.ts","sourceRoot":"","sources":["../../../src/types/composed/transformation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,KAAK,EACL,IAAI,IAAI,aAAa,EACrB,KAAK,IAAI,cAAc,EACvB,KAAK,IAAI,cAAc,EACvB,GAAG,IAAI,YAAY,EACnB,QAAQ,IAAI,iBAAiB,EAC9B,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,KAAK,EACV,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,YAAY,EACb,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,yBAAiB,cAAc,CAAC;IAC9B,yCAAyC;IACzC,MAAM,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAE5E,+BAA+B;IAC/B,MAAM,MAAM,OAAO,CACjB,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,SAAS,OAAO,GAAG,KAAK,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,QAAQ,CACV,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,GAClB,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,GAClB,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,GAC5B,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,GAC3B,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAClC,CAAC;IAEF;;;OAGG;IACH,MAAM,MAAM,KAAK,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IACpC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtE,wDAAwD;IACxD,KAAK,MAAM,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAC9B,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/B,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,GACzC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,GAC/B,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/C,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAErD,8BAA8B;IAC9B,MAAM,MAAM,MAAM,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IACrC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,yDAAyD;IACzD,KAAK,OAAO,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAC/B,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,GACnC,CAAC,SAAS,EAAE,GACV,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,GACpD,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAEpD,0DAA0D;IAC1D,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IACxB,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,4DAA4D;IAC5D,KAAK,UAAU,CAAC,CAAC,IACf,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,GACnC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAEpD,8CAA8C;IAC9C,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;;CAC5E"}

package/dist/types/composed/transformation.js

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

package/dist/types/composed/transformation.js.map

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

package/dist/types/core/base.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Base-type metadata.
+ *
+ * Used to constrain which runtime types a brand, identity,
+ * or transformation may be applied to.
+ */
+export declare namespace Base {
+    /** Marker type for base constraints */
+    type Any = {
+        __Phantom: {
+            __Base?: unknown;
+        };
+    };
+    /** Declare a base type */
+    type Of<Base> = {
+        __Phantom: {
+            __Base?: Base;
+        };
+    };
+    /** Conditionally declare a base type */
+    type OfIfExists<Base> = [Base] extends [never] ? {} : Of<Base>;
+    /** Extract the base type */
+    type BaseOf<T> = T extends {
+        __Phantom: {
+            __Base?: infer Base;
+        };
+    } ? Exclude<Base, undefined> : unknown;
+    /** Check whether a base constraint exists */
+    type HasBase<T, B = unknown> = T extends {
+        __Phantom: {
+            __Base?: B;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=base.d.ts.map

package/dist/types/core/base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../../src/types/core/base.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,yBAAiB,IAAI,CAAC;IACpB,uCAAuC;IACvC,KAAY,GAAG,GAAG;QAChB,SAAS,EAAE;YAAE,MAAM,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC;KACjC,CAAC;IAEF,0BAA0B;IAC1B,KAAY,EAAE,CAAC,IAAI,IAAI;QACrB,SAAS,EAAE;YAAE,MAAM,CAAC,EAAE,IAAI,CAAA;SAAE,CAAC;KAC9B,CAAC;IAEF,wCAAwC;IACxC,KAAY,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAEtE,4BAA4B;IAC5B,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;QAAE,SAAS,EAAE;YAAE,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;SAAE,CAAA;KAAE,GACpE,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,GACxB,OAAO,CAAC;IAEZ,6CAA6C;IAC7C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS;QAAE,SAAS,EAAE;YAAE,MAAM,CAAC,EAAE,CAAC,CAAA;SAAE,CAAA;KAAE,GACzE,IAAI,GACJ,KAAK,CAAC;CACX"}

package/dist/types/core/base.js

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

package/dist/types/core/base.js.map

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

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

@@ -0,0 +1,8 @@
+export type { Base } from './base';
+export type { Input } from './input';
+export type { Label } from './label';
+export { Phantom } from './phantom';
+export type { Tag } from './tag';
+export type { Traits } from './traits';
+export type { Variants } from './variants';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/core/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACnC,YAAY,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,YAAY,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,YAAY,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC;AACjC,YAAY,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACvC,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC"}

package/dist/types/core/index.js

@@ -0,0 +1,2 @@
+export { Phantom } from './phantom';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/core/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/types/core/input.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Input metadata.
+ *
+ * Utilities for attaching and querying input metadata in transformations.
+ */
+export declare namespace Input {
+    /** Marker type for input value */
+    type Any = {
+        __Phantom: {
+            __Input: unknown;
+        };
+    };
+    /** Set input */
+    type Of<Input> = {
+        __Phantom: {
+            __Input: Input;
+        };
+    };
+    /** Conditionally set input */
+    type OfIfExists<Input> = [Input] extends [never] ? {} : {
+        __Phantom: {
+            __Input: Input;
+        };
+    };
+    /** Extract the input */
+    type InputOf<T> = T extends {
+        __Phantom: {
+            __Input: infer Input;
+        };
+    } ? Input : never;
+    /** Check whether an input exists */
+    type HasInput<T, I = unknown> = T extends {
+        __Phantom: {
+            __Input: I;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=input.d.ts.map

package/dist/types/core/input.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"input.d.ts","sourceRoot":"","sources":["../../../src/types/core/input.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,yBAAiB,KAAK,CAAC;IACrB,kCAAkC;IAClC,KAAY,GAAG,GAAG;QAAE,SAAS,EAAE;YAAE,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,CAAC;IAEtD,gBAAgB;IAChB,KAAY,EAAE,CAAC,KAAK,IAAI;QAAE,SAAS,EAAE;YAAE,OAAO,EAAE,KAAK,CAAA;SAAE,CAAA;KAAE,CAAC;IAE1D,8BAA8B;IAC9B,KAAY,UAAU,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GACnD,EAAE,GACF;QAAE,SAAS,EAAE;YAAE,OAAO,EAAE,KAAK,CAAA;SAAE,CAAA;KAAE,CAAC;IAEtC,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;QAAE,SAAS,EAAE;YAAE,OAAO,EAAE,MAAM,KAAK,CAAA;SAAE,CAAA;KAAE,GACtE,KAAK,GACL,KAAK,CAAC;IAEV,oCAAoC;IACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,SAAS;QAC/C,SAAS,EAAE;YAAE,OAAO,EAAE,CAAC,CAAA;SAAE,CAAC;KAC3B,GACG,IAAI,GACJ,KAAK,CAAC;CACX"}

package/dist/types/core/input.js

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

package/dist/types/core/input.js.map

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

package/dist/types/core/label.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Optional human-readable label metadata.
+ *
+ * Labels are descriptive only and do not affect identity.
+ */
+export declare namespace Label {
+    /** Marker type for labeled values */
+    type Any = {
+        __Phantom: {
+            __Label?: string;
+        };
+    };
+    /** Attach a label */
+    type Of<Label extends string> = {
+        __Phantom: {
+            __Label?: Label;
+        };
+    };
+    /** Conditionally attach a label */
+    type OfIfExists<Label extends string> = [Label] extends [never] ? {} : Of<Label>;
+    /** Extract the label */
+    type LabelOf<T> = T extends {
+        __Phantom: {
+            __Label?: infer Label;
+        };
+    } ? Exclude<Label, undefined> : never;
+    /** Check whether a label exists */
+    type HasLabel<T, L extends string = string> = T extends {
+        __Phantom: {
+            __Label?: L;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=label.d.ts.map

package/dist/types/core/label.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"label.d.ts","sourceRoot":"","sources":["../../../src/types/core/label.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,yBAAiB,KAAK,CAAC;IACrB,qCAAqC;IACrC,KAAY,GAAG,GAAG;QAChB,SAAS,EAAE;YAAE,OAAO,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KACjC,CAAC;IAEF,qBAAqB;IACrB,KAAY,EAAE,CAAC,KAAK,SAAS,MAAM,IAAI;QACrC,SAAS,EAAE;YAAE,OAAO,CAAC,EAAE,KAAK,CAAA;SAAE,CAAC;KAChC,CAAC;IAEF,mCAAmC;IACnC,KAAY,UAAU,CAAC,KAAK,SAAS,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAClE,EAAE,GACF,EAAE,CAAC,KAAK,CAAC,CAAC;IAEd,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;QACjC,SAAS,EAAE;YAAE,OAAO,CAAC,EAAE,MAAM,KAAK,CAAA;SAAE,CAAC;KACtC,GACG,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,GACzB,KAAK,CAAC;IAEV,mCAAmC;IACnC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS;QAC7D,SAAS,EAAE;YAAE,OAAO,CAAC,EAAE,CAAC,CAAA;SAAE,CAAC;KAC5B,GACG,IAAI,GACJ,KAAK,CAAC;CACX"}

package/dist/types/core/label.js

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

package/dist/types/core/label.js.map

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

package/dist/types/core/phantom.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Phantom meatadata object manipulators.
+ *
+ * Phantom matadata object holds all metadata used by 'phantom'.
+ */
+export declare namespace Phantom {
+    /** Get phantom metadata object from a type */
+    type PhantomOf<T> = T extends {
+        __Phantom: infer Phantom extends object;
+    } ? Phantom : never;
+    /** Stip phantom metadata object from a type */
+    type StripPhantom<T> = T extends {
+        __Phantom: {
+            __OriginalType?: infer O;
+        };
+    } ? Exclude<O, undefined> : T;
+    /** run-time helper for 'StringPhantom', used for debugging mainly */
+    const stripPhantom: <T>(value: T) => StripPhantom<T>;
+}
+//# sourceMappingURL=phantom.d.ts.map

package/dist/types/core/phantom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.d.ts","sourceRoot":"","sources":["../../../src/types/core/phantom.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,yBAAiB,OAAO,CAAC;IACvB,8CAA8C;IAC9C,KAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS;QACnC,SAAS,EAAE,MAAM,OAAO,SAAS,MAAM,CAAC;KACzC,GACG,OAAO,GACP,KAAK,CAAC;IAEV,+CAA+C;IAC/C,KAAY,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;QACtC,SAAS,EAAE;YAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAA;SAAE,CAAC;KACzC,GACG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GACrB,CAAC,CAAC;IAEN,qEAAqE;IAC9D,MAAM,YAAY,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,YAAY,CAAC,CAAC,CAAiB,CAAC;CAC5E"}

package/dist/types/core/phantom.js

@@ -0,0 +1,11 @@
+/**
+ * Phantom meatadata object manipulators.
+ *
+ * Phantom matadata object holds all metadata used by 'phantom'.
+ */
+export var Phantom;
+(function (Phantom) {
+    /** run-time helper for 'StringPhantom', used for debugging mainly */
+    Phantom.stripPhantom = (value) => value;
+})(Phantom || (Phantom = {}));
+//# sourceMappingURL=phantom.js.map

package/dist/types/core/phantom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.js","sourceRoot":"","sources":["../../../src/types/core/phantom.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,KAAW,OAAO,CAiBvB;AAjBD,WAAiB,OAAO;IAetB,qEAAqE;IACxD,oBAAY,GAAG,CAAI,KAAQ,EAAmB,EAAE,CAAC,KAAY,CAAC;AAC7E,CAAC,EAjBgB,OAAO,KAAP,OAAO,QAiBvB"}

package/dist/types/core/tag.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Nominal tag metadata.
+ *
+ * Tags uniquely identify a branded or identified type.
+ * A value may only have a single tag.
+ */
+export declare namespace Tag {
+    /** Marker type for any tagged value */
+    type Any = {
+        __Phantom: {
+            __Tag: string | symbol;
+        };
+    };
+    /** Attach a specific tag */
+    type Of<Tag extends string | symbol> = {
+        __Phantom: {
+            __Tag: Tag;
+        };
+    };
+    /** Conditionally attach a tag if it exists */
+    type OfIfExists<Tag extends string | symbol> = [Tag] extends [never] ? {} : Of<Tag>;
+    /** Extract the tag from a type */
+    type TagOf<T> = T extends {
+        __Phantom: {
+            __Tag: infer Tag;
+        };
+    } ? Tag : never;
+    /** Check whether a type is tagged */
+    type HasTag<T, Ta extends string | symbol = string | symbol> = T extends {
+        __Phantom: {
+            __Tag: Ta;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=tag.d.ts.map

package/dist/types/core/tag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../../src/types/core/tag.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,yBAAiB,GAAG,CAAC;IACnB,uCAAuC;IACvC,KAAY,GAAG,GAAG;QAChB,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAA;SAAE,CAAC;KACvC,CAAC;IAEF,4BAA4B;IAC5B,KAAY,EAAE,CAAC,GAAG,SAAS,MAAM,GAAG,MAAM,IAAI;QAC5C,SAAS,EAAE;YAAE,KAAK,EAAE,GAAG,CAAA;SAAE,CAAC;KAC3B,CAAC;IAEF,8CAA8C;IAC9C,KAAY,UAAU,CAAC,GAAG,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACvE,EAAE,GACF,EAAE,CAAC,GAAG,CAAC,CAAC;IAEZ,kCAAkC;IAClC,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;QAAE,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,GAAG,CAAA;SAAE,CAAA;KAAE,GAChE,GAAG,GACH,KAAK,CAAC;IAEV,qCAAqC;IACrC,KAAY,MAAM,CAChB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,CAAC,SAAS;QAAE,SAAS,EAAE;YAAE,KAAK,EAAE,EAAE,CAAA;SAAE,CAAA;KAAE,GAAG,IAAI,GAAG,KAAK,CAAC;CAC3D"}

package/dist/types/core/tag.js

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

package/dist/types/core/tag.js.map

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

package/dist/types/core/traits.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Trait metadata.
+ *
+ * Traits behave like a set of capabilities that can be
+ * added or removed independently.
+ */
+export declare namespace Traits {
+    /** Marker type for trait-bearing values */
+    type Any = {
+        __Phantom: {
+            __Traits: {};
+        };
+    };
+    /** Declare a single trait */
+    type Of<Trait extends string | symbol> = {
+        __Phantom: {
+            __Traits: {
+                [K in Trait]: true;
+            };
+        };
+    };
+    /** Construct traits from an explicit trait map */
+    type FromMap<Traits extends Record<string | symbol, true>> = {
+        __Phantom: {
+            __Traits: Traits;
+        };
+    };
+    /** Conditionally declare a trait */
+    type OfIfExists<Trait extends string | symbol> = [Trait] extends [
+        never
+    ] ? {} : Of<Trait>;
+    /** Extract the trait map */
+    type TraitsOf<T> = T extends {
+        __Phantom: {
+            __Traits: infer Traits;
+        };
+    } ? Traits extends Record<string | symbol, true> ? Traits : never : never;
+    /** Extract trait keys */
+    type TraitKeysOf<T> = T extends {
+        __Phantom: {
+            __Traits: infer Traits;
+        };
+    } ? keyof Traits : never;
+    /** Check if any traits exist */
+    type HasTraits<T, Tr extends string | symbol = string | symbol> = T extends {
+        __Phantom: {
+            __Traits: Record<Tr, true>;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=traits.d.ts.map

package/dist/types/core/traits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traits.d.ts","sourceRoot":"","sources":["../../../src/types/core/traits.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,yBAAiB,MAAM,CAAC;IACtB,2CAA2C;IAC3C,KAAY,GAAG,GAAG;QAChB,SAAS,EAAE;YAAE,QAAQ,EAAE,EAAE,CAAA;SAAE,CAAC;KAC7B,CAAC;IAEF,6BAA6B;IAC7B,KAAY,EAAE,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;QAC9C,SAAS,EAAE;YAAE,QAAQ,EAAE;iBAAG,CAAC,IAAI,KAAK,GAAG,IAAI;aAAE,CAAA;SAAE,CAAC;KACjD,CAAC;IAEF,kDAAkD;IAClD,KAAY,OAAO,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,IAAI;QAClE,SAAS,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAC;KACjC,CAAC;IAEF,oCAAoC;IACpC,KAAY,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS;QACtE,KAAK;KACN,GACG,EAAE,GACF,EAAE,CAAC,KAAK,CAAC,CAAC;IAEd,4BAA4B;IAC5B,KAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;QAClC,SAAS,EAAE;YAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;SAAE,CAAC;KACvC,GACG,MAAM,SAAS,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,GAC1C,MAAM,GACN,KAAK,GACP,KAAK,CAAC;IAEV,yBAAyB;IACzB,KAAY,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;QACrC,SAAS,EAAE;YAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;SAAE,CAAC;KACvC,GACG,MAAM,MAAM,GACZ,KAAK,CAAC;IAEV,gCAAgC;IAChC,KAAY,SAAS,CACnB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,CAAC,SAAS;QACZ,SAAS,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;SAAE,CAAC;KAC3C,GACG,IAAI,GACJ,KAAK,CAAC;CACX"}

package/dist/types/core/traits.js

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

package/dist/types/core/traits.js.map

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

package/dist/types/core/variants.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Variant metadata.
+ *
+ * Variants represent mutually exclusive states of a type.
+ */
+export declare namespace Variants {
+    /** Marker type for variant-bearing values */
+    type Any = {
+        __Phantom: {
+            __Variants: string;
+        };
+    };
+    /** Declare allowed variants */
+    type Of<Variants extends string> = {
+        __Phantom: {
+            __Variants: Variants;
+        };
+    };
+    /** Conditionally declare variants */
+    type OfIfExists<Variants extends string> = [Variants] extends [never] ? {} : Of<Variants>;
+    /** Extract variant union */
+    type VariantsOf<T> = T extends {
+        __Phantom: {
+            __Variants: infer Variants;
+        };
+    } ? Variants extends string ? Variants : never : never;
+    /** Check whether variants exist */
+    type HasVariants<T> = T extends {
+        __Phantom: {
+            __Variants: string;
+        };
+    } ? true : false;
+}
+//# sourceMappingURL=variants.d.ts.map

package/dist/types/core/variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.d.ts","sourceRoot":"","sources":["../../../src/types/core/variants.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,yBAAiB,QAAQ,CAAC;IACxB,6CAA6C;IAC7C,KAAY,GAAG,GAAG;QAChB,SAAS,EAAE;YAAE,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KACnC,CAAC;IAEF,+BAA+B;IAC/B,KAAY,EAAE,CAAC,QAAQ,SAAS,MAAM,IAAI;QACxC,SAAS,EAAE;YAAE,UAAU,EAAE,QAAQ,CAAA;SAAE,CAAC;KACrC,CAAC;IAEF,qCAAqC;IACrC,KAAY,UAAU,CAAC,QAAQ,SAAS,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GACxE,EAAE,GACF,EAAE,CAAC,QAAQ,CAAC,CAAC;IAEjB,4BAA4B;IAC5B,KAAY,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;QACpC,SAAS,EAAE;YAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;SAAE,CAAC;KAC3C,GACG,QAAQ,SAAS,MAAM,GACrB,QAAQ,GACR,KAAK,GACP,KAAK,CAAC;IAEV,mCAAmC;IACnC,KAAY,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;QACrC,SAAS,EAAE;YAAE,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KACnC,GACG,IAAI,GACJ,KAAK,CAAC;CACX"}

package/dist/types/core/variants.js

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

package/dist/types/core/variants.js.map

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

package/dist/types/errors.d.ts

@@ -0,0 +1,40 @@
+import type { Base, Phantom } from './core';
+/** Interface of 'Brand' and 'Identity' errors. */
+export interface Errors<I, T> {
+    alreadyBranded: {
+        code: 'ALREADY_BRANDED';
+        message: 'Type already branded';
+        context: {
+            type: T;
+        };
+    };
+    typeNotExtendBase: {
+        code: 'TYPE_NOT_EXTEND_BASE';
+        message: 'Type not extend base';
+        context: {
+            type: Phantom.StripPhantom<T>;
+            base: Base.BaseOf<I>;
+        };
+    };
+    transformationMismatch: {
+        code: 'TRANSFORMATION_MISMATCH';
+        message: 'Transformation mismatch';
+        context: {
+            type: T;
+            transformation: I;
+        };
+    };
+    notTransformed: {
+        code: 'NOT_TRANSFORMED';
+        message: 'Type is not transformed';
+        context: {
+            type: T;
+        };
+    };
+}
+export declare const __ErrorType: unique symbol;
+/** Unique Error type for rules validation in phantom. */
+export type ErrorType<E> = {
+    [__ErrorType]: E;
+};
+//# sourceMappingURL=errors.d.ts.map

package/dist/types/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/types/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAE5C,kDAAkD;AAClD,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC;IAC1B,cAAc,EAAE;QACd,IAAI,EAAE,iBAAiB,CAAC;QACxB,OAAO,EAAE,sBAAsB,CAAC;QAChC,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,CAAC;SACT,CAAC;KACH,CAAC;IACF,iBAAiB,EAAE;QACjB,IAAI,EAAE,sBAAsB,CAAC;QAC7B,OAAO,EAAE,sBAAsB,CAAC;QAChC,OAAO,EAAE;YACP,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SACtB,CAAC;KACH,CAAC;IACF,sBAAsB,EAAE;QACtB,IAAI,EAAE,yBAAyB,CAAC;QAChC,OAAO,EAAE,yBAAyB,CAAC;QACnC,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,CAAC;YACR,cAAc,EAAE,CAAC,CAAC;SACnB,CAAC;KACH,CAAC;IACF,cAAc,EAAE;QACd,IAAI,EAAE,iBAAiB,CAAC;QACxB,OAAO,EAAE,yBAAyB,CAAC;QACnC,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,CAAC;SACT,CAAC;KACH,CAAC;CACH;AAED,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD,yDAAyD;AACzD,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IACzB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;CAClB,CAAC"}

package/dist/types/errors.js

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

package/dist/types/errors.js.map

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

package/dist/types/index.d.ts

@@ -0,0 +1,4 @@
+export type { ErrorType } from './errors';
+export { Phantom } from './public';
+export type { Base, Brand, Identity, Input, Inspect, Label, Tag, Trait, Traits, Transformation, Variants, } from './public';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,YAAY,EACV,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,KAAK,EACL,OAAO,EACP,KAAK,EACL,GAAG,EACH,KAAK,EACL,MAAM,EACN,cAAc,EACd,QAAQ,GACT,MAAM,UAAU,CAAC"}

package/dist/types/index.js

@@ -0,0 +1,2 @@
+export { Phantom } from './public';
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}