List of all items[−]
Structs
- ast::Ast
- ast::Discriminant
- ast::Identifier
- ast::SrcLoc
- ast::Type
- interpreter::interpret::InterpError
- interpreter::interpret::InterpretContext
- interpreter::interpret::StackFrame
- parser::parselets::BoolParselet
- parser::parselets::DataParselet
- parser::parselets::FunCallParselet
- parser::parselets::FunctionParselet
- parser::parselets::IdentifierParselet
- parser::parselets::IfParselet
- parser::parselets::LambdaParselet
- parser::parselets::LetParselet
- parser::parselets::MatchParselet
- parser::parselets::NumberParselet
- parser::parselets::OperatorParselet
- parser::parselets::ParenthesisParselet
- parser::util::ParseError
- runtime::CliArgs
- static_checking::exhaustiveness::ProgramExhaustivenessReport
- type_inferencer::ast::ConstraintSet
- type_inferencer::constraint_gen::DataDeclTable
- type_inferencer::constraint_gen::InferenceContext
- wasm::wasm_exports::WasmPrinter
Enums
- ast::AstNode
- ast::BinOp
- ast::Pattern
- ast::Val
- lexer::lex::Token
- runtime::SkiffError
- static_checking::exhaustiveness::ExhaustivenessError
- type_inferencer::ast::Term
- type_inferencer::type_inference::InferenceError
Traits
Functions
- ast::gensym
- error_handling::add_position_info_to_filename
- error_handling::index_to_file_position
- error_handling::pretty_print_error
- error_handling::pretty_print_warning
- interpreter::interpret::find_data_declarations
- interpreter::interpret::interpret
- parser::parse::get_binding_power
- parser::parse::parse_args
- parser::parse::parse_expr
- parser::parse::parse_exprs
- parser::parse::parse_identifier
- parser::parse::parse_params
- parser::parse::parse_program
- parser::util::ast_op_to_token_op
- parser::util::consume_if_present
- parser::util::expect_and_consume
- runtime::evaluate
- static_checking::exhaustiveness::check_pattern_exhaustiveness
- static_checking::exhaustiveness::check_program_exhaustiveness
- type_inferencer::constraint_gen::constraint_gen_binop_helper
- type_inferencer::constraint_gen::find_types
- type_inferencer::constraint_gen::generate_constraint_expr
- type_inferencer::constraint_gen::generate_constraints
- type_inferencer::type_inference::infer_types
- type_inferencer::unification::unify_constraints
- type_inferencer::util::add_any_to_declarations
- wasm::wasm_exports::__wasm_bindgen_generated_evaluate
- wasm::wasm_exports::evaluate