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

case

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
case

case

UpdatedSep 26, 2026

case Pat then ...

One arm of a match. The arm runs to the next case, default, or end.

← Previousbxor Next →class