Reference

Consultable, complete, and dry. These pages describe exact behaviour; for learning, start with the tutorials, and for tasks see the how-to guides.

Language

• Glossary — terse definitions of Bynk’s load-bearing terms.
• Type system — opaque, sum, record, and refined types.
• Refined-type API — .of, .unsafe, predicates, admission.
• Operators & built-ins — operators, precedence, built-in types.
• Agents — declaration, state, zeroability, lifecycle.
• HTTP — HTTP handlers and HttpResult.
• Testing — test, assert, mocks, Mock[T].

Project & output

• bynk.toml manifest — every manifest key.
• Emission — the TypeScript each construct emits.
• Diagnostic index — every bynk.* code (generated).
• Version compatibility & changelog.

Generated reference

These pages are generated directly from the compiler (or the grammar) and guarded by tests so they cannot drift:

• Syntax & grammar — from the tree-sitter-bynk grammar.
• Keywords — from the lexer’s keyword tokens.
• CLI (bynkc) — from the clap command tree.
• Diagnostic index — from the diagnostic registry.