zyzz 0.0.8 → 0.0.11

package/src/web/keyframes.ts

@@ -7,15 +7,7 @@ import type * as Value from '../internal/Value.js'
 
 /** Compiles ordered frame stops and returns a fixed animation name. */
 export function keyframes<const frames extends Record<string, unknown>>(
-  frames: frames &
-    NoInfer<{
-      [key in keyof frames]: key extends string
-        ? Stops<Lexical.Fold<Lexical.Normalized<key>>> extends true
-          ? Value.Accepted<frames[key], Style.DeclarationProperties> &
-              Value.Checked<frames[key]>
-          : never
-        : never
-    }>,
+  frames: frames & NoInfer<Accepted<frames>>,
   context: Context.Options = {},
 ): string {
   void context
@@ -41,3 +33,26 @@ type Stops<value extends string> = value extends `${infer first},${infer rest}`
         | `${'contain' | 'cover' | 'entry' | 'entry-crossing' | 'exit' | 'exit-crossing'}${Space}${number}%`
     ? true
     : false
+
+type Accepted<input> = {
+  [key in keyof input as key extends Context.Group ? key : never]: Accepted<
+    input[key]
+  >
+} & (keyof input extends never
+  ? Definition<input>
+  : Exclude<keyof input, Context.Group> extends never
+    ? unknown
+    : Definition<Omit<input, Context.Group>>)
+
+type Definition<frames> =
+  frames extends Record<string, unknown>
+    ? frames &
+        NoInfer<{
+          [key in keyof frames]: key extends string
+            ? Stops<Lexical.Fold<Lexical.Normalized<key>>> extends true
+              ? Value.Accepted<frames[key], Style.DeclarationProperties> &
+                  Value.Checked<frames[key]>
+              : never
+            : never
+        }>
+    : never

package/src/web/page.ts

@@ -5,11 +5,8 @@ import type * as Literal from '../internal/Literal.js'
 import type * as Style from '../Style.js'
 
 /** Emits an eager page rule, optionally selecting named pages or page pseudo-classes. */
-export function page<const descriptors extends Record<string, unknown>>(
-  options: {
-    readonly descriptors: descriptors & NoInfer<page.Body<descriptors>>
-    readonly selector?: string | undefined
-  },
+export function page<const options extends Record<string, unknown>>(
+  options: options & NoInfer<Accepted<options>>,
   context: Context.Options = {},
 ): void {
   void options
@@ -138,3 +135,23 @@ type Keyword<value extends string> =
     : value extends `${infer rest}${' ' | '\t' | '\n' | '\r' | '\f'}`
       ? Keyword<rest>
       : Lexical.Fold<Lexical.Normalized<value>>
+
+type Accepted<input> = {
+  [key in keyof input as key extends Context.Group ? key : never]: Accepted<
+    input[key]
+  >
+} & (keyof input extends never
+  ? Definition<input>
+  : Exclude<keyof input, Context.Group> extends never
+    ? unknown
+    : Definition<Omit<input, Context.Group>>)
+
+type Definition<input> = input extends {
+  readonly descriptors: infer descriptors
+  readonly selector?: string | undefined
+}
+  ? {
+      readonly descriptors: descriptors & NoInfer<page.Body<descriptors>>
+      readonly selector?: string | undefined
+    } & Record<Exclude<keyof input, 'descriptors' | 'selector'>, never>
+  : never

package/src/web/positionTry.ts

@@ -7,11 +7,7 @@ import type * as Context from './internal/Context.js'
 
 /** Emits the restricted position-try declaration set and returns its CSS name. */
 export function positionTry<const declarations extends Record<string, unknown>>(
-  declarations: declarations &
-    NoInfer<
-      Value.Accepted<declarations, positionTry.Declarations> &
-        Value.Checked<declarations>
-    >,
+  declarations: declarations & NoInfer<Accepted<declarations>>,
   context: Context.Options = {},
 ): positionTry.Reference {
   void declarations
@@ -69,3 +65,22 @@ export declare namespace positionTry {
   /** Compiler-owned position fallback name. */
   type Reference = RuleReference.Reference<'positionTry'>
 }
+
+type Accepted<input> = {
+  [key in keyof input as key extends Context.Group ? key : never]: Accepted<
+    input[key]
+  >
+} & (keyof input extends never
+  ? Definition<input>
+  : Exclude<keyof input, Context.Group> extends never
+    ? unknown
+    : Definition<Omit<input, Context.Group>>)
+
+type Definition<declarations> =
+  declarations extends Record<string, unknown>
+    ? declarations &
+        NoInfer<
+          Value.Accepted<declarations, positionTry.Declarations> &
+            Value.Checked<declarations>
+        >
+    : never

package/src/web/property.ts

@@ -3,15 +3,8 @@ import type * as Context from './internal/Context.js'
 import type * as FunctionSyntax from '../internal/FunctionSyntax.js'
 
 /** Emits an eager registration; initial values are checked by the compiler. */
-export function property<const options extends property.Options>(
-  options: options &
-    Record<Exclude<keyof options, keyof property.Options>, never> & {
-      readonly syntax: FunctionSyntax.Checked<`type(${options['syntax']})`> extends never
-        ? never
-        : options['syntax']
-    } & (options['syntax'] extends '*'
-      ? unknown
-      : { readonly initialValue: string | number }),
+export function property<const options extends Record<string, unknown>>(
+  options: options & NoInfer<Accepted<options>>,
   context: Context.Options = {},
 ): void {
   void options
@@ -33,3 +26,24 @@ export declare namespace property {
     readonly syntax: string
   }
 }
+
+type Accepted<input> = {
+  [key in keyof input as key extends Context.Group ? key : never]: Accepted<
+    input[key]
+  >
+} & (keyof input extends never
+  ? Definition<input>
+  : Exclude<keyof input, Context.Group> extends never
+    ? unknown
+    : Definition<Omit<input, Context.Group>>)
+
+type Definition<options> = options extends property.Options
+  ? options &
+      Record<Exclude<keyof options, keyof property.Options>, never> & {
+        readonly syntax: FunctionSyntax.Checked<`type(${options['syntax']})`> extends never
+          ? never
+          : options['syntax']
+      } & (options['syntax'] extends '*'
+        ? unknown
+        : { readonly initialValue: string | number })
+  : never

package/src/web/viewTransition.ts

@@ -3,19 +3,8 @@ import type * as Context from './internal/Context.js'
 import type * as Lexical from '../internal/Lexical.js'
 
 /** Emits an eager view-transition rule; browser navigation owns transition execution. */
-export function viewTransition<
-  const options extends Omit<viewTransition.Options, 'navigation'> & {
-    readonly navigation?: string | undefined
-  },
->(
-  options: options &
-    Record<Exclude<keyof options, keyof viewTransition.Options>, never> & {
-      readonly types?: NoInfer<Types<options['types']>>
-      readonly navigation?: Checked<
-        options['navigation'],
-        Exclude<viewTransition.Options['navigation'], undefined>
-      >
-    },
+export function viewTransition<const options extends Record<string, unknown>>(
+  options: options & NoInfer<Accepted<options>>,
   context: Context.Options = {},
 ): void {
   void options
@@ -87,3 +76,29 @@ type Name<value extends string> = value extends
           | 'unset'
       ? false
       : true
+
+type Accepted<input> = {
+  [key in keyof input as key extends Context.Group ? key : never]: Accepted<
+    input[key]
+  >
+} & (keyof input extends never
+  ? Definition<input>
+  : Exclude<keyof input, Context.Group> extends never
+    ? unknown
+    : Definition<Omit<input, Context.Group>>)
+
+type Definition<options> = options extends Omit<
+  viewTransition.Options,
+  'navigation'
+> & {
+  readonly navigation?: string | undefined
+}
+  ? options &
+      Record<Exclude<keyof options, keyof viewTransition.Options>, never> & {
+        readonly types?: NoInfer<Types<options['types']>>
+        readonly navigation?: Checked<
+          options['navigation'],
+          Exclude<viewTransition.Options['navigation'], undefined>
+        >
+      }
+  : never