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

read

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
read

read

UpdatedSep 26, 2026

read x: T

A read-only field. read T[] is ReadArray<T>, the array without its writers.

← Previouspublic Next →remote