List of all items

Structs

• containers::Symbol
• context::Ctx
• context::CtxLocation
• context::ModuleId
• context::ProjectRoot
• demod::Demodularizer
• grammar::RawProgram
• grammar::RawTypeBind
• typed_ast::Expr
• typed_ast::FunDefn
• typed_ast::Program
• typesys::CgParam
• typesys::TypeParam

Enums

• containers::Void
• grammar::BinOp
• grammar::RawConstExpr
• grammar::RawDefn
• grammar::RawExpr
• grammar::RawTypeExpr
• grammar::Rule
• grammar::UniOp
• typed_ast::BinOp
• typed_ast::ExprInner
• typed_ast::TriOp
• typed_ast::UniOp
• typesys::ConstExpr
• typesys::Type

Traits

• context::ToCtx
• context::ToCtxErr
• typesys::Variable

Functions

• codegen::codegen_program
• compile
• grammar::find_by_name
• grammar::parse_program
• grammar::sort_defs
• typesys::monomorphize
• typesys::typecheck_expr
• typesys::typecheck_program

Type Aliases

• containers::List
• containers::Map
• containers::Set
• context::CtxErr
• context::CtxResult