lloyv0.1.3

Overview Docs Playground RFCs

Alloy on GitHub

Getting started

A first project

Language

Async and Futures

Enums and match

Conditional bindings

Structs and traits

Interfaces and types

Strict by default

Exhaustive match

JSON and TOML data

Tooling

Configuration

.luaurc and .config.luau

Project files and mounts

--@alloy-ignore

--@alloy-ignore-start and --@alloy-ignore-end

--@alloy-expect-error

--@alloy-nocheck

--@alloy-preserve

Reference

Standard library

Guides

Results and Futures

A struct or a plain table

Writing Alloy that reads as Alloy

Naming conventions

extends

Docs

Getting started

A first project

Language

Async and Futures

Enums and match

Conditional bindings

Structs and traits

Interfaces and types

Strict by default

Exhaustive match

JSON and TOML data

Tooling

Configuration

.luaurc and .config.luau

Project files and mounts

--@alloy-ignore

--@alloy-ignore-start and --@alloy-ignore-end

--@alloy-expect-error

--@alloy-nocheck

--@alloy-preserve

Reference

Standard library

Guides

Results and Futures

A struct or a plain table

Writing Alloy that reads as Alloy

Naming conventions

Docs
Reference
Keywords
extends

extends

UpdatedSep 26, 2026

interface Name extends Base, Other

The base shapes of an interface.

← Previousexport Next →for