Module prelude

Structs

BTreeMap 🔒

An ordered map based on a B-Tree.

BTreeSet 🔒

An ordered set based on a B-Tree.

Block 🔒

Runtime statement block.

Elaborator 🔒

EnumTemplate 🔒

FunctionDecl 🔒

Runtime function declaration.

FunctionSig 🔒

NamedTypeField 🔒

Named type field.

Param 🔒

Runtime function parameter.

Program 🔒

Whole parsed frontend program.

RuntimeFunctionTemplate 🔒

SpecializationKey 🔒

StructDecl 🔒

Runtime struct declaration.

StructTemplate 🔒

TemplateCallBinding 🔒

TypeRef 🔒

Source-level type reference with ownership mode.

Enums

CallArg 🔒

Function call argument.

ElabError

Elaboration error produced while concretizing type syntax.

Expr 🔒

Runtime expression.

IntrinsicId 🔒

Builtin intrinsic identifier used by semantic phases.

MatchPattern 🔒

Runtime match pattern.

OwnershipMode 🔒

Parameter ownership mode.

PrefixOp 🔒

Prefix operator.

SpecializationValue 🔒

Stmt 🔒

Runtime statement.

Ty 🔒

Semantic type assigned by checking and consumed by lower IRs/backends.

TypeExpr 🔒

Type syntax shared across frontend stages.

Functions

can_safely_coerce_numeric 🔒

Return whether numeric value from can be converted into to without loss.

elaborate_meta_generated_expr

Elaborate a generated runtime expression using a restricted local environment.

elaborate_program

Elaborate a frontend program by resolving and concretizing runtime types.

elaborate_program_with_timings

Elaborate a frontend program and return elaboration subpass timings.

is_truncation_cast 🔒

Return whether source to target represents a narrowing truncation cast.

Derive Macros

Error 🔒