List of all items

Structs

• core_syntax::ParserRule
• frontend::GrammarParser
• frontend::WithSpan
• frontend::lexical::LexerDatabase
• frontend::lexical::LexerRule
• frontend::syntax::Parser
• type_system::Type
• type_system::binding_proxy::BindingProxy
• utilities::Symbol

Enums

• Error
• core_syntax::Term
• frontend::Error
• frontend::GrammarDefinitionError
• frontend::Rule
• frontend::SurfaceSyntaxTree
• type_system::TypeError

Macros

• span_errors

Functions

• core_syntax::allocate_term
• frontend::parse
• frontend::syntax::construct_parser
• frontend::unicode::encode_char
• frontend::unicode::encode_range
• generate_parser
• type_system::type_check

Type Definitions

• core_syntax::BindingContext
• core_syntax::TermArena
• core_syntax::TermPtr
• frontend::SpanBox