a11y-typed-aria 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Gayathri Devi N
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,148 @@
+# a11y-typed-aria
+
+> Type-safe ARIA attributes with compile-time validation for better web accessibility. 🎯
+
+[![npm version](https://img.shields.io/npm/v/a11y-typed-aria.svg)](https://www.npmjs.com/package/a11y-typed-aria)
+[![TypeScript](https://img.shields.io/badge/TypeScript-5.3+-blue.svg)](https://www.typescriptlang.org/)
+[![Zero Runtime](https://img.shields.io/badge/Runtime-Zero-green.svg)](https://www.npmjs.com/package/a11y-typed-aria)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+
+Catch ARIA mistakes at **compile-time**, not in production. `a11y-typed-aria` provides a strict, spec-aligned type system for ARIA roles and attributes.
+
+---
+
+## ✨ Features
+
+- 🔒 **Strongly Typed**: Compile-time validation of ARIA roles and permitted attributes.
+- 🚫 **Forbidden Props**: Prevents invalid attributes (e.g., `aria-checked` on `button`) via explicit `never` types.
+- ⚡ **Zero Runtime**: Compiled to exactly nothing. Pure TypeScript types with no runtime overhead.
+- 📖 **Spec-Aligned**: Closely follows [WAI-ARIA 1.2 specification](https://www.w3.org/TR/wai-aria-1.2/).
+- 🎯 **DX-First**: Excellent IDE autocomplete and descriptive error messages.
+- 🪶 **Dependency-Free**: Extremely lightweight, types-only package.
+
+---
+
+## 📦 Installation
+
+```bash
+npm install a11y-typed-aria
+```
+
+---
+
+## 🚀 Quick Start
+
+```typescript
+import type { Aria } from "a11y-typed-aria";
+
+// ✅ Success: Correct attributes for button
+const button: Aria<"button"> = {
+  role: "button",
+  "aria-pressed": true,
+  "aria-label": "Toggle menu"
+};
+
+// ❌ Error: aria-checked is not allowed on a button
+const invalid: Aria<"button"> = {
+  role: "button",
+  "aria-checked": true // Type error!
+};
+
+// ✅ Success: Checkbox requires aria-checked
+const checkbox: Aria<"checkbox"> = {
+  role: "checkbox",
+  "aria-checked": true,
+  "aria-label": "Accept terms"
+};
+```
+
+---
+
+## 🏛️ Core Principles
+
+| Feature | Raw Strings / `Record<string, any>` | `a11y-typed-aria` |
+| :--- | :--- | :--- |
+| **Validation** | Manual testing / Linting | **Compile-time enforcement** |
+| **Autocomplete** | None | **Role-specific attributes** |
+| **Breaking Changes** | Silent failures | **Immediate type errors** |
+| **Spec Accuracy** | Human-prone errors | **Spec-aligned types** |
+
+---
+
+## 📚 Supported Roles
+
+The package currently supports a wide range of common ARIA roles:
+
+- **Widgets**: `button`, `checkbox`, `textbox`, `tab`, `link`, `menu`, `menuitem`
+- **Live Regions**: `alert`
+- **Windows**: `dialog`
+- ...and more coming soon!
+
+---
+
+## 🛠️ Advanced Usage
+
+### React Integration
+
+Using our types with React components is seamless:
+
+```tsx
+import type { Aria } from "a11y-typed-aria";
+
+interface ButtonProps extends Aria<"button"> {
+  children: React.ReactNode;
+  onClick: () => void;
+}
+
+const IconButton = ({ role, children, onClick, ...ariaProps }: ButtonProps) => (
+  <button role={role} onClick={onClick} {...ariaProps}>
+    {children}
+  </button>
+);
+```
+
+### React Hook Pattern
+
+Manage ARIA state with a reusable hook:
+
+```tsx
+import { useAria } from "a11y-typed-aria/examples/react-hook";
+
+function Accordion({ title, content }) {
+  const { ariaProps, toggleExpanded } = useAria("button", {
+    "aria-expanded": false,
+  });
+
+  return (
+    <>
+      <button {...ariaProps} onClick={toggleExpanded}>{title}</button>
+      <div hidden={!ariaProps["aria-expanded"]}>{content}</div>
+    </>
+  );
+}
+```
+
+---
+
+## 🏗️ Architecture
+
+- `src/core`: The brains of the type system.
+- `src/roles`: Individual role definitions.
+- `src/attributes`: Categorized ARIA attribute sets.
+- `tests/`: Extensive type-level testing using `tsd`.
+
+---
+
+## 🤝 Contributing
+
+Contributions are welcome! Please see our [CONTRIBUTING.md](./CONTRIBUTING.md) for guidelines on adding new roles.
+
+---
+
+## 📄 License
+
+MIT © Gayathri Devi N
+
+---
+
+**Built with ❤️ for a more accessible web.**

package/dist/attributes/global.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Global ARIA attributes
+ * Available on all elements with ARIA roles
+ * @see https://www.w3.org/TR/wai-aria-1.2/#global_states
+ */
+export type AriaLabel = string;
+export type AriaLabelledBy = string;
+export type AriaDescribedBy = string;
+export type AriaDetails = string;
+export type AriaHidden = boolean | "false" | "true";
+export type AriaKeyShortcuts = string;
+export type AriaRoleDescription = string;
+/**
+ * Live region attributes
+ */
+export type AriaLive = "off" | "polite" | "assertive";
+export type AriaRelevant = "additions" | "removals" | "text" | "all" | string;
+export type AriaAtomic = boolean | "false" | "true";
+export type AriaBusy = boolean | "false" | "true";
+/**
+ * Global ARIA attributes interface
+ */
+export interface GlobalAriaAttributes {
+    "aria-label"?: AriaLabel;
+    "aria-labelledby"?: AriaLabelledBy;
+    "aria-describedby"?: AriaDescribedBy;
+    "aria-details"?: AriaDetails;
+    "aria-hidden"?: AriaHidden;
+    "aria-keyshortcuts"?: AriaKeyShortcuts;
+    "aria-roledescription"?: AriaRoleDescription;
+    "aria-live"?: AriaLive;
+    "aria-relevant"?: AriaRelevant;
+    "aria-atomic"?: AriaAtomic;
+    "aria-busy"?: AriaBusy;
+}
+//# sourceMappingURL=global.d.ts.map

package/dist/attributes/global.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"global.d.ts","sourceRoot":"","sources":["../../src/attributes/global.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAC/B,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AACpC,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC;AACrC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AACjC,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACpD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC;AACtC,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,WAAW,CAAC;AACtD,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,UAAU,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,CAAC;AAC9E,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACpD,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACjC,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,iBAAiB,CAAC,EAAE,cAAc,CAAC;IACnC,kBAAkB,CAAC,EAAE,eAAe,CAAC;IACrC,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B,mBAAmB,CAAC,EAAE,gBAAgB,CAAC;IACvC,sBAAsB,CAAC,EAAE,mBAAmB,CAAC;IAC7C,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B,WAAW,CAAC,EAAE,QAAQ,CAAC;CAC1B"}

package/dist/attributes/global.js

@@ -0,0 +1,6 @@
+/**
+ * Global ARIA attributes
+ * Available on all elements with ARIA roles
+ * @see https://www.w3.org/TR/wai-aria-1.2/#global_states
+ */
+export {};

package/dist/attributes/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * ARIA attributes organized by category
+ */
+export type { GlobalAriaAttributes } from "./global";
+export type { StateAriaAttributes } from "./state";
+export type { PropertyAriaAttributes } from "./property";
+/**
+ * All ARIA attributes combined
+ */
+import type { GlobalAriaAttributes } from "./global";
+import type { StateAriaAttributes } from "./state";
+import type { PropertyAriaAttributes } from "./property";
+export type AllAriaAttributes = GlobalAriaAttributes & StateAriaAttributes & PropertyAriaAttributes;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/attributes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AACrD,YAAY,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AACnD,YAAY,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEzD;;GAEG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEzD,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,GAAG,mBAAmB,GAAG,sBAAsB,CAAC"}

package/dist/attributes/index.js

@@ -0,0 +1,4 @@
+/**
+ * ARIA attributes organized by category
+ */
+export {};

package/dist/attributes/property.d.ts

@@ -0,0 +1,107 @@
+/**
+ * ARIA property attributes
+ * Represent static properties and relationships
+ * @see https://www.w3.org/TR/wai-aria-1.2/#state_prop_def
+ */
+export type AriaAutocomplete = "none" | "inline" | "list" | "both";
+export type AriaHasPopup = boolean | "false" | "true" | "menu" | "listbox" | "tree" | "grid" | "dialog";
+/**
+ * ARIA numeric attributes with documentation on expected values
+ */
+/**
+ * Defines the hierarchical level of an element within a structure.
+ * Values: integers 1 or greater.
+ */
+export type AriaLevel = number;
+/**
+ * Indicates whether the element is to be rendered as a multi-line input or a single-line input.
+ */
+export type AriaMultiline = boolean | "false" | "true";
+/**
+ * Indicates that the user may select more than one item from the current selectable descendants.
+ */
+export type AriaMultiselectable = boolean | "false" | "true";
+/**
+ * Indicates whether the element's orientation is horizontal, vertical, or unknown/ambiguous.
+ */
+export type AriaOrientation = "horizontal" | "vertical";
+/**
+ * Defines a short hint (a word or short phrase) intended to aid the user with data entry when the control has no value.
+ */
+export type AriaPlaceholder = string;
+/**
+ * Indicates that the element is not editable, but is otherwise operable.
+ */
+export type AriaReadonly = boolean | "false" | "true";
+/**
+ * Indicates that user input is required on the element before a form may be submitted.
+ */
+export type AriaRequired = boolean | "false" | "true";
+/**
+ * Indicates if items in a table or grid are sorted in ascending or descending order.
+ */
+export type AriaSort = "none" | "ascending" | "descending" | "other";
+/**
+ * Defines the maximum allowed value for a range widget.
+ */
+export type AriaValueMax = number;
+/**
+ * Defines the minimum allowed value for a range widget.
+ */
+export type AriaValueMin = number;
+/**
+ * Defines the current value for a range widget.
+ */
+export type AriaValueNow = number;
+/**
+ * Defines the human readable text alternative of aria-valuenow for a range widget.
+ */
+export type AriaValueText = string;
+/**
+ * Defines an element's number or position in the current set of listitems or treeitems.
+ * Values: integers 1 or greater, and less than or equal to aria-setsize.
+ */
+export type AriaPosInSet = number;
+/**
+ * Defines the total number of items in the current set of listitems or treeitems.
+ * Values: integers -1 (for unknown), 0, or greater.
+ */
+export type AriaSetSize = number;
+/**
+ * Relationship attributes
+ */
+export type AriaActiveDescendant = string;
+export type AriaControls = string;
+export type AriaDescribedBy = string;
+export type AriaDetails = string;
+export type AriaErrorMessage = string;
+export type AriaFlowTo = string;
+export type AriaLabelledBy = string;
+export type AriaOwns = string;
+/**
+ * ARIA property attributes interface
+ */
+export interface PropertyAriaAttributes {
+    "aria-autocomplete"?: AriaAutocomplete;
+    "aria-haspopup"?: AriaHasPopup;
+    "aria-level"?: AriaLevel;
+    "aria-multiline"?: AriaMultiline;
+    "aria-multiselectable"?: AriaMultiselectable;
+    "aria-orientation"?: AriaOrientation;
+    "aria-placeholder"?: AriaPlaceholder;
+    "aria-readonly"?: AriaReadonly;
+    "aria-required"?: AriaRequired;
+    "aria-sort"?: AriaSort;
+    "aria-valuemax"?: AriaValueMax;
+    "aria-valuemin"?: AriaValueMin;
+    "aria-valuenow"?: AriaValueNow;
+    "aria-valuetext"?: AriaValueText;
+    "aria-activedescendant"?: AriaActiveDescendant;
+    "aria-controls"?: AriaControls;
+    "aria-errormessage"?: AriaErrorMessage;
+    "aria-flowto"?: AriaFlowTo;
+    "aria-owns"?: AriaOwns;
+    "aria-posinset"?: AriaPosInSet;
+    "aria-setsize"?: AriaSetSize;
+}
+//# sourceMappingURL=property.d.ts.map

package/dist/attributes/property.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../src/attributes/property.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AACnE,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;AACxG;;GAEG;AAEH;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,UAAU,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,OAAO,CAAC;AAErE;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AAEnC;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC;AAC1C,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAClC,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC;AACrC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AACjC,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC;AACtC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAChC,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AACpC,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACnC,mBAAmB,CAAC,EAAE,gBAAgB,CAAC;IACvC,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,sBAAsB,CAAC,EAAE,mBAAmB,CAAC;IAC7C,kBAAkB,CAAC,EAAE,eAAe,CAAC;IACrC,kBAAkB,CAAC,EAAE,eAAe,CAAC;IACrC,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,uBAAuB,CAAC,EAAE,oBAAoB,CAAC;IAC/C,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,mBAAmB,CAAC,EAAE,gBAAgB,CAAC;IACvC,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,cAAc,CAAC,EAAE,WAAW,CAAC;CAChC"}

package/dist/attributes/property.js

@@ -0,0 +1,6 @@
+/**
+ * ARIA property attributes
+ * Represent static properties and relationships
+ * @see https://www.w3.org/TR/wai-aria-1.2/#state_prop_def
+ */
+export {};

package/dist/attributes/state.d.ts

@@ -0,0 +1,27 @@
+/**
+ * ARIA state attributes
+ * Represent dynamic state that can change during user interaction
+ * @see https://www.w3.org/TR/wai-aria-1.2/#state_prop_def
+ */
+export type AriaChecked = boolean | "false" | "true" | "mixed";
+export type AriaDisabled = boolean | "false" | "true";
+export type AriaExpanded = boolean | "false" | "true";
+export type AriaGrabbed = boolean | "false" | "true";
+export type AriaHidden = boolean | "false" | "true";
+export type AriaInvalid = boolean | "false" | "true" | "grammar" | "spelling";
+export type AriaPressed = boolean | "false" | "true" | "mixed";
+export type AriaSelected = boolean | "false" | "true";
+/**
+ * ARIA state attributes interface
+ */
+export interface StateAriaAttributes {
+    "aria-checked"?: AriaChecked;
+    "aria-disabled"?: AriaDisabled;
+    "aria-expanded"?: AriaExpanded;
+    "aria-grabbed"?: AriaGrabbed;
+    "aria-hidden"?: AriaHidden;
+    "aria-invalid"?: AriaInvalid;
+    "aria-pressed"?: AriaPressed;
+    "aria-selected"?: AriaSelected;
+}
+//# sourceMappingURL=state.d.ts.map

package/dist/attributes/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/attributes/state.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAC/D,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACtD,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACtD,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACrD,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AACpD,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;AAC9E,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAC/D,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAChC,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,eAAe,CAAC,EAAE,YAAY,CAAC;CAClC"}

package/dist/attributes/state.js

@@ -0,0 +1,6 @@
+/**
+ * ARIA state attributes
+ * Represent dynamic state that can change during user interaction
+ * @see https://www.w3.org/TR/wai-aria-1.2/#state_prop_def
+ */
+export {};

package/dist/core/aria-props.d.ts

@@ -0,0 +1,36 @@
+/**
+ * ARIA role to props mapping
+ * Maps each ARIA role to its allowed attributes
+ */
+import type { ButtonAriaProps } from "../roles/button";
+import type { CheckboxAriaProps } from "../roles/checkbox";
+import type { TextboxAriaProps } from "../roles/textbox";
+import type { TabAriaProps } from "../roles/tab";
+import type { LinkAriaProps } from "../roles/link";
+import type { AlertAriaProps } from "../roles/alert";
+import type { DialogAriaProps } from "../roles/dialog";
+import type { MenuAriaProps } from "../roles/menu";
+import type { MenuitemAriaProps } from "../roles/menuitem";
+/**
+ * Union of all supported ARIA roles
+ */
+export type AriaRole = "button" | "checkbox" | "textbox" | "tab" | "link" | "alert" | "dialog" | "menu" | "menuitem";
+/**
+ * Map role names to their prop types
+ */
+export interface AriaRolePropsMap {
+    button: ButtonAriaProps;
+    checkbox: CheckboxAriaProps;
+    textbox: TextboxAriaProps;
+    tab: TabAriaProps;
+    link: LinkAriaProps;
+    alert: AlertAriaProps;
+    dialog: DialogAriaProps;
+    menu: MenuAriaProps;
+    menuitem: MenuitemAriaProps;
+}
+/**
+ * Get the props type for a specific role
+ */
+export type AriaPropsForRole<R extends AriaRole> = AriaRolePropsMap[R];
+//# sourceMappingURL=aria-props.d.ts.map

package/dist/core/aria-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aria-props.d.ts","sourceRoot":"","sources":["../../src/core/aria-props.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;AAErH;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC7B,MAAM,EAAE,eAAe,CAAC;IACxB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,OAAO,EAAE,gBAAgB,CAAC;IAC1B,GAAG,EAAE,YAAY,CAAC;IAClB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,iBAAiB,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC"}

package/dist/core/aria-props.js

@@ -0,0 +1,5 @@
+/**
+ * ARIA role to props mapping
+ * Maps each ARIA role to its allowed attributes
+ */
+export {};

package/dist/core/aria-role.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Main Aria<T> generic type
+ * The core type that provides compile-time ARIA validation
+ */
+import type { AriaRole, AriaPropsForRole } from "./aria-props";
+import type { Prettify } from "../utils/types";
+import type { ForbiddenPropsForRole, WithForbiddenProps } from "./forbid-props";
+import type { AllAriaAttributes } from "../attributes";
+/**
+ * Aria<T> - Type-safe ARIA props for a specific role
+ *
+ * @example
+ * ```ts
+ * // Valid button
+ * const button: Aria<"button"> = {
+ *   role: "button",
+ *   "aria-pressed": true
+ * };
+ *
+ * // Invalid - aria-checked not allowed on button
+ * const invalid: Aria<"button"> = {
+ *   role: "button",
+ *   "aria-checked": true // ❌ Type error
+ * };
+ *
+ * // Valid checkbox with required aria-checked
+ * const checkbox: Aria<"checkbox"> = {
+ *   role: "checkbox",
+ *   "aria-checked": true
+ * };
+ *
+ * // Invalid - missing required aria-checked
+ * const invalid2: Aria<"checkbox"> = {
+ *   role: "checkbox" // ❌ Type error
+ * };
+ * ```
+ */
+export type Aria<R extends AriaRole> = Prettify<WithForbiddenProps<AriaPropsForRole<R>, ForbiddenPropsForRole<Extract<keyof AriaPropsForRole<R>, keyof AllAriaAttributes>>>>;
+/**
+ * Helper to extract the role from an Aria type
+ */
+export type ExtractRole<T extends Aria<any>> = T["role"];
+/**
+ * Check if a role is valid
+ */
+export type IsValidRole<R> = R extends AriaRole ? true : false;
+//# sourceMappingURL=aria-role.d.ts.map

package/dist/core/aria-role.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aria-role.d.ts","sourceRoot":"","sources":["../../src/core/aria-role.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,IAAI,QAAQ,CAC3C,kBAAkB,CACd,gBAAgB,CAAC,CAAC,CAAC,EACnB,qBAAqB,CAAC,OAAO,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CACrF,CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAC"}

package/dist/core/aria-role.js

@@ -0,0 +1,5 @@
+/**
+ * Main Aria<T> generic type
+ * The core type that provides compile-time ARIA validation
+ */
+export {};

package/dist/core/forbid-props.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Forbidden props enforcement
+ * Prevents invalid ARIA attributes from being used on specific roles
+ */
+import type { Forbid } from "../utils/types";
+import type { AllAriaAttributes } from "../attributes";
+/**
+ * Get forbidden props for a role
+ * These are all ARIA attributes NOT allowed on this role
+ */
+export type ForbiddenPropsForRole<AllowedKeys extends keyof AllAriaAttributes> = Exclude<keyof AllAriaAttributes, AllowedKeys>;
+/**
+ * Enforce forbidden props on a type
+ * Makes forbidden props have type 'never'
+ */
+export type WithForbiddenProps<T, ForbiddenKeys extends keyof any> = Forbid<T, ForbiddenKeys>;
+//# sourceMappingURL=forbid-props.d.ts.map

package/dist/core/forbid-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbid-props.d.ts","sourceRoot":"","sources":["../../src/core/forbid-props.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvD;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,WAAW,SAAS,MAAM,iBAAiB,IAAI,OAAO,CACpF,MAAM,iBAAiB,EACvB,WAAW,CACd,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,aAAa,SAAS,MAAM,GAAG,IAAI,MAAM,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC"}

package/dist/core/forbid-props.js

@@ -0,0 +1,5 @@
+/**
+ * Forbidden props enforcement
+ * Prevents invalid ARIA attributes from being used on specific roles
+ */
+export {};

package/dist/core/required-props.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Required props enforcement
+ * Ensures required ARIA attributes are present at compile-time
+ */
+import type { RequireKeys } from "../utils/types";
+/**
+ * Map of roles to their required attributes
+ */
+export interface RequiredPropsMap {
+    button: never;
+    checkbox: "aria-checked";
+    textbox: never;
+    tab: never;
+}
+/**
+ * Get required props for a role
+ */
+export type RequiredPropsForRole<R extends keyof RequiredPropsMap> = RequiredPropsMap[R];
+/**
+ * Enforce required props on a type
+ */
+export type WithRequiredProps<T, K extends keyof T> = K extends never ? T : RequireKeys<T, K>;
+//# sourceMappingURL=required-props.d.ts.map

package/dist/core/required-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"required-props.d.ts","sourceRoot":"","sources":["../../src/core/required-props.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC7B,MAAM,EAAE,KAAK,CAAC;IACd,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,KAAK,CAAC;IACf,GAAG,EAAE,KAAK,CAAC;CACd;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,gBAAgB,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAEzF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,GAC/D,CAAC,GACD,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/core/required-props.js

@@ -0,0 +1,5 @@
+/**
+ * Required props enforcement
+ * Ensures required ARIA attributes are present at compile-time
+ */
+export {};

package/dist/index.d.ts

@@ -0,0 +1,39 @@
+/**
+ * a11y-typed-aria
+ * TypeScript-first ARIA types with compile-time validation
+ *
+ * @example
+ * ```ts
+ * import type { Aria } from "a11y-typed-aria";
+ *
+ * // Type-safe button
+ * const button: Aria<"button"> = {
+ *   role: "button",
+ *   "aria-pressed": true,
+ *   "aria-label": "Toggle"
+ * };
+ *
+ * // Type-safe checkbox with required aria-checked
+ * const checkbox: Aria<"checkbox"> = {
+ *   role: "checkbox",
+ *   "aria-checked": true,
+ *   "aria-label": "Accept terms"
+ * };
+ * ```
+ */
+export type { Aria, ExtractRole, IsValidRole } from "./core/aria-role";
+export type { AriaRole, AriaPropsForRole } from "./core/aria-props";
+export type { ButtonAriaProps } from "./roles/button";
+export type { CheckboxAriaProps } from "./roles/checkbox";
+export type { TextboxAriaProps } from "./roles/textbox";
+export type { TabAriaProps } from "./roles/tab";
+export type { LinkAriaProps } from "./roles/link";
+export type { AlertAriaProps } from "./roles/alert";
+export type { DialogAriaProps } from "./roles/dialog";
+export type { MenuAriaProps } from "./roles/menu";
+export type { MenuitemAriaProps } from "./roles/menuitem";
+export type { GlobalAriaAttributes, StateAriaAttributes, PropertyAriaAttributes, AllAriaAttributes, } from "./attributes";
+export type { Prettify, RequireKeys, Forbid } from "./utils/types";
+export type { MergeProps } from "./utils/merge";
+export { VERSION } from "./version";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACvE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAGpE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAG1D,YAAY,EACR,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,GACpB,MAAM,cAAc,CAAC;AAGtB,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -0,0 +1,25 @@
+/**
+ * a11y-typed-aria
+ * TypeScript-first ARIA types with compile-time validation
+ *
+ * @example
+ * ```ts
+ * import type { Aria } from "a11y-typed-aria";
+ *
+ * // Type-safe button
+ * const button: Aria<"button"> = {
+ *   role: "button",
+ *   "aria-pressed": true,
+ *   "aria-label": "Toggle"
+ * };
+ *
+ * // Type-safe checkbox with required aria-checked
+ * const checkbox: Aria<"checkbox"> = {
+ *   role: "checkbox",
+ *   "aria-checked": true,
+ *   "aria-label": "Accept terms"
+ * };
+ * ```
+ */
+// Version
+export { VERSION } from "./version";