praxis-kit 2.0.0 → 2.0.2

package/dist/contract/index.d.ts

@@ -1,4 +1,4 @@
-import { ReadonlyDeep } from 'type-fest';
+import { RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
 
 type AnyRecord = Record<string, unknown>;
 
@@ -11,10 +11,24 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
+type ClassName = string | string[];
+
+type EmptyRecord = Record<never, never>;
+
 type IntrinsicProps = AnyRecord & {
     role?: AriaRole;
 };
 
+type NonEmptyArray<T> = [T, ...T[]];
+
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
+type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
+
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
 
 type CardinalityInput = {
@@ -43,6 +57,96 @@ type ValidResult = {
     valid: true;
 };
 
+type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
+
+type VariantValue$1 = string | string[];
+
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
+
+type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
+
+type VariantKey<V extends VariantMap, K extends keyof V> = StringToBoolean<keyof V[K] & string>;
+
+type RequireAtLeastOneIfNotEmpty<T> = keyof T extends never ? EmptyRecord : RequireAtLeastOne<T>;
+type CompoundVariantConditionValue<V extends VariantMap, K extends keyof V> = VariantKey<V, K> | NonEmptyArray<VariantKey<V, K>>;
+type CompoundVariantConditions<V extends VariantMap> = Simplify<{
+    [K in keyof V]: CompoundVariantConditionValue<V, K>;
+}>;
+type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
+type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
+type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
+    class: VariantValue$1;
+};
+
+interface CVACompounds<V extends VariantMap> {
+    compoundVariants?: readonly CompoundVariant<V>[];
+}
+
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
+type DefaultVariants<V extends VariantMap> = {
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
+};
+
+interface CVADefaults<V extends VariantMap> {
+    defaultVariants?: DefaultVariants<V>;
+}
+
+interface CVAVariants<V extends VariantMap> {
+    variants?: V;
+}
+
+/**
+ * A partial selection of variant states authored at factory definition time.
+ *
+ * Uses `keyof V[K]` directly (not `VariantKey`) so TypeScript can eagerly
+ * resolve the union at constraint-check time without deferred conditional types.
+ */
+type VariantSelection<V extends VariantMap> = {
+    [K in keyof V]?: keyof V[K];
+};
+
+/**
+ * A static, immutable map of named presets to partial variant selections.
+ *
+ * Presets are named bundles of variant props that callers activate by key,
+ * avoiding the need to repeat variant combinations at each call site.
+ */
+type PresetMap<V extends VariantMap = VariantMap> = Readonly<Record<string, VariantSelection<V>>>;
+
+type PresetTarget<TVariants extends VariantMap = VariantMap> = VariantSelection<TVariants>;
+
+interface BaseClassOptions {
+    baseClassName?: ClassName;
+}
+
+type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, variantKey?: string) => string;
+
+interface PresetOptions<TVariants extends VariantMap = VariantMap> {
+    presetMap?: Record<string, PresetTarget<TVariants>>;
+}
+
+interface TagMapOptions {
+    tagMap?: TagMap;
+}
+
+type CompositionOptions<TVariants extends VariantMap = VariantMap> = Simplify<TagMapOptions & PresetOptions<TVariants>>;
+
+type CVASystemOptions<TVariants extends VariantMap = VariantMap> = Simplify<CVAVariants<TVariants> & CVADefaults<TVariants> & CVACompounds<TVariants>>;
+
+type StyleOptions<TVariants extends VariantMap = VariantMap> = Simplify<BaseClassOptions & CVASystemOptions<TVariants>>;
+
+type ClassPipelineOptions<TVariants extends VariantMap = VariantMap> = Simplify<StyleOptions<TVariants> & CompositionOptions<TVariants>>;
+
+type OwnedPropKeys = ReadonlySet<string>;
+
+type ClassPlugin<TProps extends AnyRecord = EmptyRecord> = Readonly<{
+    pipeline: ClassPipelineFn;
+    ownedKeys?: OwnedPropKeys;
+    readonly _pluginProps?: TProps;
+}>;
+
+type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, strict: StrictMode) => ClassPlugin<TProps>;
+
 type AriaContext = {
     readonly tag: IntrinsicTag;
     readonly implicitRole: AriaRole | undefined;
@@ -100,6 +204,30 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
     readonly allowedAs?: readonly TAllowed[];
 };
 
+type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
+    readonly base?: ClassName;
+    readonly variants?: V;
+    readonly defaults?: Partial<DefaultVariants<V>>;
+    readonly compounds?: readonly CompoundVariant<V>[];
+    readonly presets?: TPreset;
+    readonly tags?: Readonly<TagMap>;
+    readonly plugin?: ClassPluginFactory<TPluginProps>;
+    readonly precomputedClasses?: Readonly<Record<string, string>>;
+};
+
+type NormalizeFn<Props extends AnyRecord = AnyRecord> = {
+    normalize(props: Readonly<Props & IntrinsicProps>): Props & IntrinsicProps;
+}['normalize'];
+type AnyFactoryOptions = FactoryOptions<ElementType, AnyRecord, VariantMap, PresetMap<VariantMap>, AnyRecord>;
+type FactoryOptions<TDefault extends ElementType = ElementType, Props extends AnyRecord = EmptyRecord, V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord, TAllowed extends ElementType = ElementType> = {
+    readonly tag?: TDefault;
+    readonly name?: string;
+    readonly defaults?: Partial<NoInfer<Props>>;
+    readonly normalize?: NormalizeFn<NoInfer<Props>>;
+    readonly styling?: StylingOptions<V, TPreset, TPluginProps>;
+    readonly enforcement?: EnforcementOptions<TAllowed>;
+};
+
 declare const activeProps: PropNormalizer;
 
 declare const disabledProps: PropNormalizer;
@@ -127,4 +255,4 @@ declare const selectedContract: EnforcementOptions;
 
 declare function mergeContracts(...contracts: readonly EnforcementOptions[]): EnforcementOptions;
 
-export { type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };
+export { type AnyFactoryOptions, type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };

package/dist/lit/index.d.ts

@@ -12,6 +12,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -22,6 +24,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -54,9 +60,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -70,19 +76,16 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
     compoundVariants?: readonly CompoundVariant<V>[];
 }
 
-/** The full optional prop surface exposed to callers for a given variant map. */
-type VariantProps<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
-};
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -205,7 +208,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/dist/{merge-refs-DxjWMq3U.d.ts → merge-refs-tA18zYP6.d.ts}

@@ -12,6 +12,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -22,6 +24,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -54,9 +60,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -70,7 +76,7 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
@@ -81,8 +87,9 @@ interface CVACompounds<V extends VariantMap> {
 type VariantProps<V extends VariantMap> = {
     [K in keyof V]?: VariantKey<V, K>;
 };
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -216,7 +223,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/dist/preact/index.d.ts

@@ -12,6 +12,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -22,6 +24,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -54,9 +60,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -70,7 +76,7 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
@@ -81,8 +87,9 @@ interface CVACompounds<V extends VariantMap> {
 type VariantProps<V extends VariantMap> = {
     [K in keyof V]?: VariantKey<V, K>;
 };
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -215,7 +222,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/dist/react/index.d.ts

@@ -1,5 +1,5 @@
-import { E as ElementType, U as UnknownProps, V as VariantMap, P as PresetMap, a as EmptyRecord, A as AnyRecord, R as ReactFactoryOptions, b as PolymorphicComponent, c as PolymorphicGenerics, F as FactoryOptions } from '../merge-refs-DxjWMq3U.js';
-export { d as AnyFactoryOptions, e as ElementRef, f as PolymorphicProps, g as PolymorphicWithAsChild, h as PolymorphicWithRender, i as RenderCallbackProps, S as Slottable, j as SlottableProps, m as mergeRefs } from '../merge-refs-DxjWMq3U.js';
+import { E as ElementType, U as UnknownProps, V as VariantMap, P as PresetMap, a as EmptyRecord, A as AnyRecord, R as ReactFactoryOptions, b as PolymorphicComponent, c as PolymorphicGenerics, F as FactoryOptions } from '../merge-refs-tA18zYP6.js';
+export { d as AnyFactoryOptions, e as ElementRef, f as PolymorphicProps, g as PolymorphicWithAsChild, h as PolymorphicWithRender, i as RenderCallbackProps, S as Slottable, j as SlottableProps, m as mergeRefs } from '../merge-refs-tA18zYP6.js';
 import { Ref, ReactElement } from 'react';
 import 'type-fest';
 

package/dist/react/legacy.d.ts

@@ -1,5 +1,5 @@
-import { E as ElementType, U as UnknownProps, V as VariantMap, P as PresetMap, a as EmptyRecord, A as AnyRecord, R as ReactFactoryOptions, b as PolymorphicComponent, c as PolymorphicGenerics } from '../merge-refs-DxjWMq3U.js';
-export { d as AnyFactoryOptions, e as ElementRef, F as FactoryOptions, f as PolymorphicProps, g as PolymorphicWithAsChild, h as PolymorphicWithRender, i as RenderCallbackProps, S as Slottable, j as SlottableProps, m as mergeRefs } from '../merge-refs-DxjWMq3U.js';
+import { E as ElementType, U as UnknownProps, V as VariantMap, P as PresetMap, a as EmptyRecord, A as AnyRecord, R as ReactFactoryOptions, b as PolymorphicComponent, c as PolymorphicGenerics } from '../merge-refs-tA18zYP6.js';
+export { d as AnyFactoryOptions, e as ElementRef, F as FactoryOptions, f as PolymorphicProps, g as PolymorphicWithAsChild, h as PolymorphicWithRender, i as RenderCallbackProps, S as Slottable, j as SlottableProps, m as mergeRefs } from '../merge-refs-tA18zYP6.js';
 import * as react from 'react';
 import 'type-fest';
 

package/dist/solid/index.d.ts

@@ -12,6 +12,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -22,6 +24,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -54,9 +60,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -70,7 +76,7 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
@@ -81,8 +87,9 @@ interface CVACompounds<V extends VariantMap> {
 type VariantProps<V extends VariantMap> = {
     [K in keyof V]?: VariantKey<V, K>;
 };
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -215,7 +222,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/dist/svelte/index.d.ts

@@ -11,6 +11,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -21,6 +23,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -59,9 +65,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -75,19 +81,16 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
     compoundVariants?: readonly CompoundVariant<V>[];
 }
 
-/** The full optional prop surface exposed to callers for a given variant map. */
-type VariantProps<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
-};
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -218,7 +221,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;
@@ -246,7 +249,7 @@ type ResolvedFactoryOptions<TDefault extends ElementType = ElementType, Props ex
     readonly tagMap?: Readonly<TagMap>;
     readonly presetMap?: TPreset;
     readonly variants?: V;
-    readonly defaultVariants?: Partial<VariantProps<V>>;
+    readonly defaultVariants?: Partial<DefaultVariants<V>>;
     readonly compoundVariants?: readonly CompoundVariant<V>[];
     readonly displayName?: string;
     readonly strict: StrictMode;

package/dist/vue/index.d.ts

@@ -13,6 +13,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -23,6 +25,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -55,9 +61,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -71,7 +77,7 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
@@ -82,8 +88,9 @@ interface CVACompounds<V extends VariantMap> {
 type VariantProps<V extends VariantMap> = {
     [K in keyof V]?: VariantKey<V, K>;
 };
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -216,7 +223,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/dist/web/index.d.ts

@@ -11,6 +11,8 @@ type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
 
 type AriaRole = KnownAriaRole | (string & {});
 
+type Booleanish = boolean | 'true' | 'false';
+
 type ClassName = string | string[];
 
 type EmptyRecord = Record<never, never>;
@@ -21,6 +23,10 @@ type IntrinsicProps = AnyRecord & {
 
 type NonEmptyArray<T> = [T, ...T[]];
 
+type Numberish = number | `${number}`;
+
+type Primitive = string | number | boolean;
+
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
 type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
@@ -53,9 +59,9 @@ type ValidResult = {
 
 type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
 
-type VariantValue = string | string[];
+type VariantValue$1 = string | string[];
 
-type VariantStates<K extends string = string> = Record<K, VariantValue>;
+type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
 
 type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
 
@@ -69,19 +75,16 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
 type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
 type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue;
+    class: VariantValue$1;
 };
 
 interface CVACompounds<V extends VariantMap> {
     compoundVariants?: readonly CompoundVariant<V>[];
 }
 
-/** The full optional prop surface exposed to callers for a given variant map. */
-type VariantProps<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
-};
+type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
 type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantKey<V, K>;
+    [K in keyof V]?: VariantValue<keyof V[K] & string>;
 };
 
 interface CVADefaults<V extends VariantMap> {
@@ -204,7 +207,7 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
 type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends PresetMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
     readonly base?: ClassName;
     readonly variants?: V;
-    readonly defaults?: Partial<VariantProps<V>>;
+    readonly defaults?: Partial<DefaultVariants<V>>;
     readonly compounds?: readonly CompoundVariant<V>[];
     readonly presets?: TPreset;
     readonly tags?: Readonly<TagMap>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "praxis-kit",
-  "version": "2.0.0",
+  "version": "2.0.2",
   "type": "module",
   "exports": {
     "./react": {