Skip to content

Reference

Complete reference material for Typist's type expression syntax, built-in types and functions, diagnostic messages, and environment variables.

Contents

  • Type Syntax -- Full grammar and token reference for type expressions and :sig() annotations
  • Prelude -- Built-in primitive types, type constructors, effect labels, and function annotations
  • Diagnostics -- All diagnostic kinds, severity levels, example messages, and suppression mechanisms
  • Environment Variables -- Configuration via environment variables for runtime, static analysis, LSP, and CLI