zyzz 0.0.0 → 0.0.3

package/src/web/page.ts

@@ -0,0 +1,140 @@
+/** Declares page descriptors and page-margin boxes in authored order. @module */
+import type * as Context from './internal/Context.js'
+import type * as Lexical from '../internal/Lexical.js'
+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
+  },
+  context: Context.Options = {},
+): void {
+  void options
+  void context
+  return
+}
+/** Page and margin-box authoring contracts. */
+export declare namespace page {
+  /** Standard page-margin box rule names. */
+  type Margin =
+    `@${'top-left-corner' | 'top-left' | 'top-center' | 'top-right' | 'top-right-corner' | 'bottom-left-corner' | 'bottom-left' | 'bottom-center' | 'bottom-right' | 'bottom-right-corner' | 'left-top' | 'left-middle' | 'left-bottom' | 'right-top' | 'right-middle' | 'right-bottom'}`
+  /** CSS page descriptors that are not ordinary element properties. */
+  type Descriptors = {
+    /** Bleed beyond the page box. */
+    readonly bleed?:
+      | 'auto'
+      | Exclude<Literal.Length, `${number}%`>
+      | Literal.Calculation
+      | 0
+      | undefined
+    /** Printer marks outside the page box. */
+    readonly marks?:
+      | 'none'
+      | 'crop'
+      | 'cross'
+      | 'crop cross'
+      | 'cross crop'
+      | undefined
+    /** Rotation applied to a laid-out page. */
+    readonly pageOrientation?:
+      | 'upright'
+      | 'rotate-left'
+      | 'rotate-right'
+      | undefined
+    /** Page dimensions or a standard named paper size. */
+    readonly size?:
+      | 'auto'
+      | 'portrait'
+      | 'landscape'
+      | 'A3'
+      | 'A4'
+      | 'A5'
+      | 'B4'
+      | 'B5'
+      | 'JIS-B4'
+      | 'JIS-B5'
+      | 'letter'
+      | 'legal'
+      | 'ledger'
+      | Exclude<Literal.Length, `${number}%`>
+      | Literal.Calculation
+      | `${Exclude<Literal.Length, `${number}%`> | Literal.Calculation} ${Exclude<Literal.Length, `${number}%`> | Literal.Calculation}`
+      | `${'A3' | 'A4' | 'A5' | 'B4' | 'B5' | 'JIS-B4' | 'JIS-B5' | 'letter' | 'legal' | 'ledger'} ${'portrait' | 'landscape'}`
+      | `${'portrait' | 'landscape'} ${'A3' | 'A4' | 'A5' | 'B4' | 'B5' | 'JIS-B4' | 'JIS-B5' | 'letter' | 'legal' | 'ledger'}`
+      | undefined
+  }
+  /** Element properties applying to a page context. */
+  type Properties = Pick<
+    Style.DeclarationProperties,
+    Exclude<
+      Extract<
+        keyof Style.DeclarationProperties,
+        | `background${string}`
+        | `border${string}`
+        | `font${string}`
+        | `margin${string}`
+        | `padding${string}`
+        | `outline${string}`
+        | 'color'
+        | 'counterIncrement'
+        | 'counterReset'
+        | 'direction'
+        | 'height'
+        | 'letterSpacing'
+        | 'lineHeight'
+        | 'maxHeight'
+        | 'maxWidth'
+        | 'minHeight'
+        | 'minWidth'
+        | 'quotes'
+        | 'textAlign'
+        | 'textDecoration'
+        | 'textIndent'
+        | 'textTransform'
+        | 'visibility'
+        | 'whiteSpace'
+        | 'width'
+        | 'wordSpacing'
+      >,
+      'borderCollapse' | 'borderSpacing'
+    >
+  >
+  /** Additional properties available in page-margin boxes. */
+  type MarginProperties = Properties &
+    Pick<
+      Style.DeclarationProperties,
+      'content' | 'overflow' | 'unicodeBidi' | 'verticalAlign' | 'zIndex'
+    >
+  /** Exact descriptor bodies with isolated page-margin declaration contexts. */
+  type Body<body> = Style.Accepted<Omit<body, Margin | keyof Descriptors>> &
+    Record<
+      Exclude<keyof body, Margin | keyof Descriptors | keyof Properties>,
+      never
+    > & {
+      [key in keyof body as key extends Margin | keyof Descriptors
+        ? key
+        : never]: key extends Margin
+        ? Style.Accepted<body[key]> &
+            Record<Exclude<keyof body[key], keyof MarginProperties>, never>
+        : key extends keyof Descriptors
+          ? body[key] extends string
+            ? Keyword<body[key]> extends Keyword<
+                Extract<Descriptors[key], string>
+              >
+              ? body[key]
+              : never
+            : Descriptors[key]
+          : never
+    }
+}
+
+/** Normalized keyword spelling for descriptor literal inference. */
+type Keyword<value extends string> =
+  value extends `${' ' | '\t' | '\n' | '\r' | '\f'}${infer rest}`
+    ? Keyword<rest>
+    : value extends `${infer rest}${' ' | '\t' | '\n' | '\r' | '\f'}`
+      ? Keyword<rest>
+      : Lexical.Fold<Lexical.Normalized<value>>

package/src/web/positionTry.ts

@@ -0,0 +1,71 @@
+/** Declares a named anchor-positioning fallback. @module */
+import * as Identity from '../internal/Identity.js'
+import type * as Style from '../Style.js'
+import type * as RuleReference from '../internal/RuleReference.js'
+import type * as Value from '../internal/Value.js'
+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>
+    >,
+  context: Context.Options = {},
+): positionTry.Reference {
+  void declarations
+  void context
+  return Identity.contribution(
+    'positionTry',
+    context.id,
+  ) as positionTry.Reference
+}
+/** Anchor fallback declaration and reference contracts. */
+export declare namespace positionTry {
+  /** Properties permitted in a position-try block. */
+  type Declarations = Pick<
+    Style.DeclarationProperties,
+    | 'alignSelf'
+    | 'blockSize'
+    | 'bottom'
+    | 'height'
+    | 'inlineSize'
+    | 'inset'
+    | 'insetBlock'
+    | 'insetBlockEnd'
+    | 'insetBlockStart'
+    | 'insetInline'
+    | 'insetInlineEnd'
+    | 'insetInlineStart'
+    | 'justifySelf'
+    | 'left'
+    | 'margin'
+    | 'marginBlock'
+    | 'marginBlockEnd'
+    | 'marginBlockStart'
+    | 'marginBottom'
+    | 'marginInline'
+    | 'marginInlineEnd'
+    | 'marginInlineStart'
+    | 'marginLeft'
+    | 'marginRight'
+    | 'marginTop'
+    | 'maxBlockSize'
+    | 'maxHeight'
+    | 'maxInlineSize'
+    | 'maxWidth'
+    | 'minBlockSize'
+    | 'minHeight'
+    | 'minInlineSize'
+    | 'minWidth'
+    | 'placeSelf'
+    | 'positionAnchor'
+    | 'positionArea'
+    | 'right'
+    | 'top'
+    | 'width'
+  >
+  /** Compiler-owned position fallback name. */
+  type Reference = RuleReference.Reference<'positionTry'>
+}

package/src/web/property.ts

@@ -0,0 +1,35 @@
+/** Declares a native custom-property registration with a CSS syntax contract. @module */
+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 }),
+  context: Context.Options = {},
+): void {
+  void options
+  void context
+  return
+}
+
+/** Native registration descriptors. */
+export declare namespace property {
+  /** Descriptors and authored identity for one registration. */
+  type Options = {
+    /** Whether the registered value inherits. */
+    readonly inherits: boolean
+    /** Computationally independent initial value; optional for universal syntax. */
+    readonly initialValue?: string | number | undefined
+    /** Authored custom-property name. */
+    readonly name: `--${string}`
+    /** Syntax components, alternatives, repetition, or the universal star. */
+    readonly syntax: string
+  }
+}

package/src/web/viewTransition.ts

@@ -0,0 +1,89 @@
+/** Declares stylesheet view-transition navigation and type descriptors. @module */
+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>
+      >
+    },
+  context: Context.Options = {},
+): void {
+  void options
+  void context
+  return
+}
+/** Standard navigation and transition type descriptors. */
+export declare namespace viewTransition {
+  /** Static descriptors for cross-document view transitions. */
+  type Options = {
+    /** Whether matching same-origin navigation enables transitions. */
+    readonly navigation?: 'auto' | 'none' | undefined
+    /** CSS custom-identifier list or none. */
+    readonly types?: string | undefined
+  }
+}
+
+type Keyword<value extends string> =
+  value extends `${' ' | '\t' | '\n' | '\r' | '\f'}${infer rest}`
+    ? Keyword<rest>
+    : value extends `${infer rest}${' ' | '\t' | '\n' | '\r' | '\f'}`
+      ? Keyword<rest>
+      : Lexical.Fold<value>
+
+type Checked<value, domain> = value extends string
+  ? Keyword<Lexical.Normalized<value>> extends domain
+    ? value
+    : never
+  : undefined
+
+/** CSS-text identifiers retain compiler validation for escapes and widened strings. */
+type Types<value> = value extends string
+  ? string extends value
+    ? value
+    : value extends `${string}\\${string}`
+      ? value
+      : Keyword<Lexical.Normalized<value>> extends 'none'
+        ? value
+        : Names<Lexical.Normalized<value>> extends true
+          ? value
+          : never
+  : undefined
+
+type Space = ' ' | '\t' | '\n' | '\r' | '\f'
+type Names<value extends string> = value extends `${Space}${infer rest}`
+  ? Names<rest>
+  : value extends `${infer rest}${Space}`
+    ? Names<rest>
+    : value extends `${infer first}${Space}${infer rest}`
+      ? Name<first> extends true
+        ? Names<rest>
+        : false
+      : Name<value>
+type Name<value extends string> = value extends
+  | ''
+  | '-'
+  | `${number}${string}`
+  | `-${number}${string}`
+  ? false
+  : value extends `${string}${',' | ';' | ':' | '(' | ')' | '{' | '}' | '[' | ']' | '"' | "'" | '/' | '!' | '.' | '+' | '=' | '#' | '@'}${string}`
+    ? false
+    : Lexical.Fold<value> extends
+          | 'none'
+          | 'default'
+          | 'inherit'
+          | 'initial'
+          | 'revert'
+          | 'revert-layer'
+          | 'unset'
+      ? false
+      : true