Reference

Reference is for certainty. It is the part of the manual you use when you already know roughly what you want and need the exact surface, rules, or shipped catalog.

Language surface

Topic	Page
Values and function declarations	Values & Functions
Types, records, and tagged unions	Types
Pipes and operators	Pipes & Operators
Exhaustive matching	Pattern Matching
Record destructuring and projection	Record Patterns
Selectors and inline predicates	Predicates & Selectors
Semantic wrapper types	Domains

Reactivity and UI

Topic	Page
Signals and reactive derivation	Signals
Source model and provider handles	Sources
Current built-in source variants	Built-in Source Catalog
GTK/libadwaita markup surface	Markup & UI

Abstractions and structure

Topic	Page
Typeclass-style abstraction	Classes
Higher-kinded support	Typeclasses & HKTs
Lawfulness and design boundaries	Class Laws & Boundaries
Imports and exports	Modules

Standard library

The standard library has its own reference map at /stdlib/. Use it when you need to know what a module exports today, not when you are still learning the shape of the language.

Tooling and delivery

Topic	Page
Supported compiler toolchain, CLI outputs, artifacts, and caches	Toolchain & Artifacts
Diagnostic structure, LSP capabilities, and VS Code integration	Diagnostics & Editor Tooling
Criterion suites and performance evidence	Benchmarking