List of all items

Structs

• ast::Expr
• ast::Ident
• hir::TExpr
• hir::TypeVar
• lexer::LexError
• thunk::Thunk
• typecheck::InferenceTree
• typecheck::Scheme
• typecheck::Subst
• typecheck::TypeInference
• visitor::AstPrinter
• visitor::DisplayExpr
• visitor::PrintCtx

Enums

• ast::BinOp
• ast::EvalError
• ast::ExprKind
• ast::Literal
• ast::Pat
• ast::UnaryOp
• ast::Value
• hir::TExprKind
• hir::TPat
• hir::Type
• token::Token

Traits

• visitor::Visitor

Functions

• lexer::tokenize
• parser::parser
• typecheck::infer_type
• typecheck::run_inference

Type Aliases

• ast::Env
• typecheck::Env
• typecheck::TmVar
• typecheck::TyVar