Skip to content
Topaz6.0 · Before release
Download

Search documentation

Specification 6.0 · Not released · Tested product 5.21.3

Use arrow keys to choose a result. Press Enter to open.

Type an API name, diagnostic number, rule, or project topic.

    Language

    Read syntax and language rules in order.

    1. Lexical structureSource spellings, reserved and contextual words, comments, line breaks and diagnostic positions.
    2. Literals and templatesLiteral spellings, values, string interpolation, and tagged templates.
    3. TypesDefines type forms, compatibility, and shared inference rules.
    4. Bindings and scopeDefines how names are introduced, resolved, and reassigned.
    5. Expressions and operatorsDefines expression formation, grouping, and operator behavior.
    6. Functions and genericsFunctions relate parameter types, a body, and a result type. A named function can declare type parameters and require protocol bounds.
    7. Records, enums and newtypesDeclare data types, construct their values, and check record updates and generic construction.
    8. Protocols and implementationsDeclare protocol requirements, provide implementations, and understand conformance, receiver methods, and resource bindings.
    9. Pattern matchingDefines patterns, matching, and accepted matches.
    10. Collections and comprehensionsChoose collection construction forms and check the rules for literals, array spread, and comprehensions.
    11. Blocks and control flowBlocks group execution and produce final values. Conditional branches, loops, explicit transfers, and deferred actions determine which code runs next.
    12. Failure and propagationRead and check functions that forward Result errors with postfix ?.
    13. Modules and visibilityUse this page to split a source program into files and choose which declarations other files can access.
    14. ConcurrencyWrite and check concurrent expressions with this reference. The examples cover result fields, duration spellings, and rejected forms.
    15. Derived Show outputUse derived Show to inspect record values. The output includes the record name, declared fields, and rendered field values.

    Menu

    Download