@vicin/phantom 1.0.1

package/dist/types/public.d.ts

@@ -0,0 +1,224 @@
+import type { Brand as NamespaceBrand, Identity as NamespaceIdentity, Trait as NamespaceTrait, Transformation as NamespaceTransformation } from './composed';
+import type { Base as NamespaceBase, Input as NamespaceInput, Label as NamespaceLabel, Tag as NamespaceTag, Traits as NamespaceTraits, Variants as NamespaceVariants } from './core';
+import { Phantom as NamespacePhantom } from './core';
+/**
+ * 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> = NamespacePhantom.PhantomOf<T>;
+    /** Stip phantom metadata object from a type */
+    type StripPhantom<T> = NamespacePhantom.StripPhantom<T>;
+    /** run-time helper for 'StringPhantom', used for debugging mainly */
+    const stripPhantom: <T>(value: T) => NamespacePhantom.StripPhantom<T>;
+}
+/**
+ * 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 = NamespaceLabel.Any;
+    /** Extract the label */
+    type LabelOf<T> = NamespaceLabel.LabelOf<T>;
+    /** Check whether a label exists */
+    type HasLabel<T, L extends string = string> = NamespaceLabel.HasLabel<T, L>;
+}
+/**
+ * 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 = NamespaceTag.Any;
+    /** Extract the tag from a type */
+    type TagOf<T> = NamespaceTag.TagOf<T>;
+    /** Check whether a type is tagged */
+    type HasTag<T, Ta extends string | symbol = string | symbol> = NamespaceTag.HasTag<T, Ta>;
+}
+/**
+ * Variant metadata.
+ *
+ * Variants represent mutually exclusive states of a type.
+ */
+export declare namespace Variants {
+    /** Marker type for variant-bearing values */
+    type Any = NamespaceVariants.Any;
+    /** Extract variant union */
+    type VariantsOf<T> = NamespaceVariants.VariantsOf<T>;
+    /** Check whether variants exist */
+    type HasVariants<T> = NamespaceVariants.HasVariants<T>;
+}
+/**
+ * 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 = NamespaceBase.Any;
+    /** Extract the base type */
+    type BaseOf<T> = NamespaceBase.BaseOf<T>;
+    /** Check whether a base constraint exists */
+    type HasBase<T, B = unknown> = NamespaceBase.HasBase<T, B>;
+}
+/**
+ * Input metadata.
+ *
+ * Utilities for attaching and querying input metadata in transformations.
+ */
+export declare namespace Input {
+    /** Marker type for input value */
+    type Any = NamespaceInput.Any;
+    /** Extract the input */
+    type InputOf<T> = NamespaceInput.InputOf<T>;
+    /** Check whether an input exists */
+    type HasInput<T, I = unknown> = NamespaceInput.HasInput<T, I>;
+}
+/**
+ * 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 = NamespaceTraits.Any;
+    /** Extract the trait map */
+    type TraitsOf<T> = NamespaceTraits.TraitsOf<T>;
+    /** Extract trait keys */
+    type TraitKeysOf<T> = NamespaceTraits.TraitKeysOf<T>;
+    /** Check if any traits exist */
+    type HasTraits<T, Tr extends string | symbol = string | symbol> = NamespaceTraits.HasTraits<T, Tr>;
+}
+/**
+ * Branding API.
+ *
+ * Brands provide nominal typing for otherwise identical values.
+ * A value may only be branded once.
+ */
+export declare namespace Brand {
+    /** Type guard for any brand. */
+    type Any = NamespaceBrand.Any;
+    /** Declare a brand */
+    type Declare<T extends string | symbol, L extends string = never> = NamespaceBrand.Declare<T, L>;
+    /** Assign a brand to a value. Fails if the value is already branded */
+    type Assign<B extends Any, T> = NamespaceBrand.Assign<B, T>;
+    /** Assign a brand if possible, otherwise return the original type */
+    type AssignSafe<B extends Any, T> = NamespaceBrand.AssignSafe<B, T>;
+    /** Check whether value is branded with */
+    type isBrand<T, B extends Any> = NamespaceBrand.isBrand<T, B>;
+}
+/**
+ * Identity API.
+ *
+ * Identities are brands with additional constraints:
+ * - Base type
+ * - Variants
+ */
+export declare namespace Identity {
+    /** Type guard for any identity. */
+    type Any = NamespaceIdentity.Any;
+    /** Declare an identity */
+    type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = NamespaceIdentity.Declare<T, L, B, V>;
+    /** Assign an identity to a value. Enforces base-type compatibility */
+    type Assign<I extends Any, T> = NamespaceIdentity.Assign<I, T>;
+    /** Safe identity assignment */
+    type AssignSafe<I extends Any, T> = NamespaceIdentity.AssignSafe<I, T>;
+    /** Set the active variant on an identity */
+    type WithVariant<I extends Any, V extends Variants.VariantsOf<I>> = NamespaceIdentity.WithVariant<I, V>;
+    /** Set the active variant on a value */
+    type WithTypeVariant<T, V extends Variants.VariantsOf<T>> = NamespaceIdentity.WithTypeVariant<T, V>;
+    /** Check whether value is branded with */
+    type isIdentity<T, I extends Any> = NamespaceIdentity.isIdentity<T, I>;
+}
+/**
+ * Trait API.
+ *
+ * Traits are additive capabilities that can be attached
+ * or removed independently.
+ */
+export declare namespace Trait {
+    /** Type guard for any trait. */
+    type Any = NamespaceTrait.Any;
+    /** Declare a trait */
+    type Declare<Tr extends string | symbol> = NamespaceTrait.Declare<Tr>;
+    /** Add a trait */
+    type Add<Tr extends Any, T> = NamespaceTrait.Add<Tr, T>;
+    /** Add multiple traits */
+    type AddMulti<Tr extends readonly Any[], T> = NamespaceTrait.AddMulti<Tr, T>;
+    /** Remove a trait */
+    type Drop<Tr extends Any, T> = NamespaceTrait.Drop<Tr, T>;
+    /** Remove multiple traits */
+    type DropMulti<Tr extends readonly Any[], T> = NamespaceTrait.DropMulti<Tr, T>;
+    /** Check whether value has trait */
+    type HasTrait<T, Tr extends Any> = NamespaceTrait.HasTrait<T, Tr>;
+}
+/**
+ * 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. */
+    type Any = NamespaceTransformation.Any;
+    /** Declare a transformation */
+    type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = NamespaceTransformation.Declare<I, T, L, B, V>;
+    /** Apply a transformation to a value. Enforces base-type compatibility */
+    type Apply<Tr extends Any, I, T> = NamespaceTransformation.Apply<Tr, I, T>;
+    /** Revert a transformation */
+    type Revert<Tr extends Any, T, I> = NamespaceTransformation.Revert<Tr, T, I>;
+    /** Revert a transformation whatever transformation was */
+    type RevertAny<T, I> = NamespaceTransformation.RevertAny<T, I>;
+    /** Check whether value is transformed with */
+    type isTransformed<T, Tr extends Any> = NamespaceTransformation.isTransformed<T, Tr>;
+}
+/**
+ * Inspect API.
+ *
+ * Inspection helpers of phantom types.
+ */
+export declare namespace Inspect {
+    /** Extract the label */
+    type LabelOf<T> = NamespaceLabel.LabelOf<T>;
+    /** Check whether a base constraint exists */
+    type HasLabel<T, L extends string = string> = NamespaceLabel.HasLabel<T, L>;
+    /** Extract the tag from a type */
+    type TagOf<T> = NamespaceTag.TagOf<T>;
+    /** Check whether a type is tagged */
+    type HasTag<T, Ta extends string | symbol = string | symbol> = NamespaceTag.HasTag<T, Ta>;
+    /** Extract variant union */
+    type VariantsOf<T> = NamespaceVariants.VariantsOf<T>;
+    /** Check whether variants exist */
+    type HasVariants<T> = NamespaceVariants.HasVariants<T>;
+    /** Extract the base type */
+    type BaseOf<T> = NamespaceBase.BaseOf<T>;
+    /** Check whether a base constraint exists */
+    type HasBase<T, B = unknown> = NamespaceBase.HasBase<T, B>;
+    /** Extract the input */
+    type InputOf<T> = NamespaceInput.InputOf<T>;
+    /** Check whether an input exists */
+    type HasInput<T, I = unknown> = NamespaceInput.HasInput<T, I>;
+    /** Extract the trait map */
+    type TraitsOf<T> = NamespaceTraits.TraitsOf<T>;
+    /** Extract trait keys */
+    type TraitKeysOf<T> = NamespaceTraits.TraitKeysOf<T>;
+    /** Check if any traits exist */
+    type HasTraits<T> = NamespaceTraits.HasTraits<T>;
+    /** Check whether value is branded with */
+    type isBrand<T, B extends Brand.Any> = NamespaceBrand.isBrand<T, B>;
+    /** Check whether value is branded with */
+    type isIdentity<T, I extends Identity.Any> = NamespaceIdentity.isIdentity<T, I>;
+    /** Check whether value has trait */
+    type HasTrait<T, Tr extends Trait.Any> = NamespaceTrait.HasTrait<T, Tr>;
+    /** Check whether value is transformed with */
+    type isTransformed<T, Tr extends Transformation.Any> = NamespaceTransformation.isTransformed<T, Tr>;
+}
+//# sourceMappingURL=public.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/types/public.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,KAAK,IAAI,cAAc,EACvB,QAAQ,IAAI,iBAAiB,EAC7B,KAAK,IAAI,cAAc,EACvB,cAAc,IAAI,uBAAuB,EAC1C,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACV,IAAI,IAAI,aAAa,EACrB,KAAK,IAAI,cAAc,EACvB,KAAK,IAAI,cAAc,EACvB,GAAG,IAAI,YAAY,EACnB,MAAM,IAAI,eAAe,EACzB,QAAQ,IAAI,iBAAiB,EAC9B,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAErD;;;;GAIG;AACH,yBAAiB,OAAO,CAAC;IACvB,8CAA8C;IAC9C,KAAY,SAAS,CAAC,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzD,+CAA+C;IAC/C,KAAY,YAAY,CAAC,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/D,qEAAqE;IAC9D,MAAM,YAAY,mDAAgC,CAAC;CAC3D;AAED;;;;GAIG;AACH,yBAAiB,KAAK,CAAC;IACrB,qCAAqC;IACrC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;IACrC,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,mCAAmC;IACnC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,cAAc,CAAC,QAAQ,CAC1E,CAAC,EACD,CAAC,CACF,CAAC;CACH;AAED;;;;;GAKG;AACH,yBAAiB,GAAG,CAAC;IACnB,uCAAuC;IACvC,KAAY,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC;IACnC,kCAAkC;IAClC,KAAY,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,qCAAqC;IACrC,KAAY,MAAM,CAChB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CAChC;AAED;;;;GAIG;AACH,yBAAiB,QAAQ,CAAC;IACxB,6CAA6C;IAC7C,KAAY,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC;IACxC,4BAA4B;IAC5B,KAAY,UAAU,CAAC,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5D,mCAAmC;IACnC,KAAY,WAAW,CAAC,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CAC/D;AAED;;;;;GAKG;AACH,yBAAiB,IAAI,CAAC;IACpB,uCAAuC;IACvC,KAAY,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC;IACpC,4BAA4B;IAC5B,KAAY,MAAM,CAAC,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,6CAA6C;IAC7C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACnE;AAED;;;;GAIG;AACH,yBAAiB,KAAK,CAAC;IACrB,kCAAkC;IAClC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;IACrC,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,oCAAoC;IACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACtE;AAED;;;;;GAKG;AACH,yBAAiB,MAAM,CAAC;IACtB,2CAA2C;IAC3C,KAAY,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC;IACtC,4BAA4B;IAC5B,KAAY,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtD,yBAAyB;IACzB,KAAY,WAAW,CAAC,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5D,gCAAgC;IAChC,KAAY,SAAS,CACnB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,eAAe,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACtC;AAED;;;;;GAKG;AACH,yBAAiB,KAAK,CAAC;IACrB,gCAAgC;IAChC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;IACrC,sBAAsB;IACtB,KAAY,OAAO,CACjB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,uEAAuE;IACvE,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,qEAAqE;IACrE,KAAY,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,0CAA0C;IAC1C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACtE;AAED;;;;;;GAMG;AACH,yBAAiB,QAAQ,CAAC;IACxB,mCAAmC;IACnC,KAAY,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC;IACxC,0BAA0B;IAC1B,KAAY,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,iBAAiB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,sEAAsE;IACtE,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,+BAA+B;IAC/B,KAAY,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,4CAA4C;IAC5C,KAAY,WAAW,CACrB,CAAC,SAAS,GAAG,EACb,CAAC,SAAS,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAC9B,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,wCAAwC;IACxC,KAAY,eAAe,CACzB,CAAC,EACD,CAAC,SAAS,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAC9B,iBAAiB,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,0CAA0C;IAC1C,KAAY,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/E;AAED;;;;;GAKG;AACH,yBAAiB,KAAK,CAAC;IACrB,gCAAgC;IAChC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;IACrC,sBAAsB;IACtB,KAAY,OAAO,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7E,kBAAkB;IAClB,KAAY,GAAG,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/D,0BAA0B;IAC1B,KAAY,QAAQ,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,QAAQ,CAC1E,EAAE,EACF,CAAC,CACF,CAAC;IACF,qBAAqB;IACrB,KAAY,IAAI,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACjE,6BAA6B;IAC7B,KAAY,SAAS,CACnB,EAAE,SAAS,SAAS,GAAG,EAAE,EACzB,CAAC,IACC,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACpC,oCAAoC;IACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CAC1E;AAED;;;;;GAKG;AACH,yBAAiB,cAAc,CAAC;IAC9B,yCAAyC;IACzC,KAAY,GAAG,GAAG,uBAAuB,CAAC,GAAG,CAAC;IAC9C,+BAA+B;IAC/B,KAAY,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,uBAAuB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,0EAA0E;IAC1E,KAAY,KAAK,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,KAAK,CACrE,EAAE,EACF,CAAC,EACD,CAAC,CACF,CAAC;IACF,8BAA8B;IAC9B,KAAY,MAAM,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,MAAM,CACvE,EAAE,EACF,CAAC,EACD,CAAC,CACF,CAAC;IACF,0DAA0D;IAC1D,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,8CAA8C;IAC9C,KAAY,aAAa,CACvB,CAAC,EACD,EAAE,SAAS,GAAG,IACZ,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CAClD;AAED;;;;GAIG;AACH,yBAAiB,OAAO,CAAC;IACvB,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,6CAA6C;IAC7C,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,cAAc,CAAC,QAAQ,CAC1E,CAAC,EACD,CAAC,CACF,CAAC;IACF,kCAAkC;IAClC,KAAY,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,qCAAqC;IACrC,KAAY,MAAM,CAChB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/B,4BAA4B;IAC5B,KAAY,UAAU,CAAC,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5D,mCAAmC;IACnC,KAAY,WAAW,CAAC,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC9D,4BAA4B;IAC5B,KAAY,MAAM,CAAC,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,6CAA6C;IAC7C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,wBAAwB;IACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,oCAAoC;IACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,4BAA4B;IAC5B,KAAY,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtD,yBAAyB;IACzB,KAAY,WAAW,CAAC,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5D,gCAAgC;IAChC,KAAY,SAAS,CAAC,CAAC,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACxD,0CAA0C;IAC1C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,0CAA0C;IAC1C,KAAY,UAAU,CACpB,CAAC,EACD,CAAC,SAAS,QAAQ,CAAC,GAAG,IACpB,iBAAiB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,oCAAoC;IACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,QAAQ,CACrE,CAAC,EACD,EAAE,CACH,CAAC;IACF,8CAA8C;IAC9C,KAAY,aAAa,CACvB,CAAC,EACD,EAAE,SAAS,cAAc,CAAC,GAAG,IAC3B,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CAClD"}

package/dist/types/public.js

@@ -0,0 +1,12 @@
+import { Phantom as NamespacePhantom } from './core';
+/**
+ * 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 = NamespacePhantom.stripPhantom;
+})(Phantom || (Phantom = {}));
+//# sourceMappingURL=public.js.map

package/dist/types/public.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/types/public.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAErD;;;;GAIG;AACH,MAAM,KAAW,OAAO,CAOvB;AAPD,WAAiB,OAAO;IAKtB,qEAAqE;IACxD,oBAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC;AAC5D,CAAC,EAPgB,OAAO,KAAP,OAAO,QAOvB"}

package/package.json

@@ -0,0 +1,57 @@
+{
+  "name": "@vicin/phantom",
+  "version": "1.0.1",
+  "description": "Powerful, lightweight TypeScript library for nominal typing.",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/ZiadTaha62/phantom.git"
+  },
+  "homepage": "https://github.com/ZiadTaha62/phantom#readme",
+  "scripts": {
+    "build": "tsc",
+    "lint": "eslint --fix",
+    "format": "prettier --write",
+    "test": "jest tests && tsd",
+    "test:unit": "jest tests/unit --coverage",
+    "test:types": "tsd",
+    "prepublishOnly": "npm run build && npm run test:unit && npm run test:types"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "tsd": {
+    "directory": "tests/types",
+    "compilerOptions": {
+      "strict": true,
+      "esModuleInterop": true,
+      "moduleResolution": "node"
+    }
+  },
+  "keywords": [
+    "typescript",
+    "nominal-typing",
+    "ddd"
+  ],
+  "author": "Ziad ziadtaha62@gmail.com",
+  "license": "MIT",
+  "devDependencies": {
+    "@types/jest": "^30.0.0",
+    "@typescript-eslint/eslint-plugin": "^8.54.0",
+    "@typescript-eslint/parser": "^8.54.0",
+    "eslint": "^9.39.2",
+    "eslint-config-prettier": "^10.1.8",
+    "eslint-plugin-prettier": "^5.5.5",
+    "globals": "^17.3.0",
+    "jest": "^30.2.0",
+    "prettier": "^3.8.1",
+    "ts-jest": "^29.4.6",
+    "tsd": "^0.33.0",
+    "typescript": "^5.9.3"
+  }
+}