List of all items
Structs
- checker::ParseSite
- checker::ProgramTypes
- env::TypeDef
- env::TypeEnv
- error::PositionedError
- position::Position
- rules::RuleInfo
- stdlib_spec::BuiltinDef
- trust::Grant
- trust::GrantId
- types::EffectKind
- types::EffectSet
- types::Scheme
- unifier::Unifier
Enums
- discharge::DischargeOutcome
- env::TypeDefKind
- error::TypeError
- stdlib_spec::BuiltinKind
- stdlib_spec::IndexConvention
- trust::Dimension
- trust::Level
- trust::TrustError
- types::EffectArg
- types::Prim
- types::Ty
- unifier::UnifyError
Functions
- builtins::module_for_import
- builtins::module_scope
- checker::check_and_rewrite_program
- checker::check_program
- checker::check_program_with_positions
- checker::rewrite_parse_calls
- discharge::try_discharge
- env::ty_from_canon
- env::ty_from_canon_env
- position::byte_to_line_col
- rules::all_rules
- rules::suggested_transform_for
- stdlib_spec::declared_modules
- stdlib_spec::defs_for
- stdlib_spec::is_declared_module
- stdlib_spec::lookup
- stdlib_spec::module_record
- stdlib_spec::parse_signature
- trust::effect_requirement
- trust::host_matches
- trust::is_net_effect