Module sym 

The reserved heads. Named constants rather than string literals scattered through the compiler: a typo in "paramss" would otherwise be a silently-unmatched form.

Constants

ANNOT

CALL

CASE

DECORATE

DEF

DO

DOCUMENT

DOT

EXPECT

(expect <Bool>).

EXPECT_CONTAINS

(expect-contains <Str> <actor?>) — expect page contains "milk". The subject is always the rendered page, for the actor named or the test’s default one.

EXPECT_EFFECT

(expect-effect "<atom>" (none|once|times <n>|with <expr>)) — §21.3 rule 4: verification is a query over what happened, not an expectation set in advance.

EXPECT_FLOW

(expect-flow <Type> <tier>).

EXPECT_FOLD

(expect-fold <list[Event]> <actor?>) — expect state == fold_of [ … ].

EXPECT_PLACE

(expect-place <name> <tier>) — answered without running anything.

EXPECT_SNAPSHOT

EXPECT_WIRE

(expect-wire "previous.becki").

FIELD

FN

FOR

GIVEN

(given <list[Event]> <actor?>) — the state, as the log that reaches it.

IDENTITY

identity = external(issuer="https://login.acme.com") — who authenticates this program’s clients (docs/10 D6).

IF

IMPL

IMPORT

KW_ARG

LET

LIST

MACRO

MAP

MATCH

MODEL

MODULE

NEWTYPE

ON

PARALLEL

parallel: block — a scope whose bindings are its children.

PARAMS

PROPERTY

(property "name" (params …) (do …)) — §11.10’s generated-input sibling of test.

QUOTE

RAISE

raise e — fail with a value. Performs raises(T), where T is the value’s type.

RECORD

RENDER

@render(client) — where a component’s view runs, which is a different question from @on: placement says a tier may run it, rendering says which one does.

RESERVED_FORMS

Names the checker matches as forms before it resolves anything.

REST

*rest inside a list — the tail binder of a list pattern (docs/33 §33.5).

RETURN

RETURNS

ROW

row Name = a, b — a name for a bundle of effect atoms, usable in a uses clause.

SERVICE

SET

SPLICE

STUB

(stub "<atom>" <value>) — §21.3 rule 2: name the effect, not the shape.

STUB_ARMS

(stub "<atom>" (arms (case …) …)) — §21.3 rule 3. The arms have no scrutinee written because only the checker knows what performs the effect, and therefore what its argument is.

STYLES

TEST

TRAIT

TRY

try: block — run the block and reify a failure as a Result[T, E].

TYPARAMS

A def’s type parameters — def map[T, U](…). Always present on a def, empty when the definition is monomorphic, so that the form has one shape (docs/32 §32.7).

TYPE

UI

UNION

UNQUOTE

VAR

VARIANT

WHEN

(when <session|_> <command> …) — proposals through the real validate.

WHILE

WILDCARD