Crate rib 

Re-exports

pub use value::Value;

pub use value_and_type::IntoValue;

pub use value_and_type::IntoValueAndType;

pub use value_and_type::ValueAndType;

Modules

arena

expr_arena

value

value_and_type

wit_type

Macros

bail_corrupted_state

internal_corrupted_state

Structs

AmbiguousTypeError

CompilerOutput

ComponentDependency

Single Wasm component: identity plus resolved export surface as a function dictionary.

ComponentDependencyKey

CustomError

CustomInstanceSpec

DefaultWorkerNameGenerator

DynamicParsedFunctionName

EnvironmentKey

EvaluatedFnArgs

EvaluatedFqFn

EvaluatedWorkerName

FullyQualifiedFunctionName

FullyQualifiedInterfaceName

FullyQualifiedResourceConstructor

FullyQualifiedResourceMethod

Function

FunctionDictionary

FunctionType

GlobalVariableTypeSpec

Id

InferredExpr

InferredType

InstructionId

InterfaceName

Interpreter

InterpreterEnv

InterpreterStack

InvalidWorkerName

ListAggregationIdentifier

ListComprehensionIdentifier

MatchArm

MatchIdentifier

Number

PackageName

ParsedFunctionName

Path

RangeType

ResourceMethodDictionary

RibByteCode

RibCompiler

RibCompilerConfig

Compiler configuration options for Rib.

RibEvalConfig

RibEvaluator

RibInput

RibInputTypeInfo

RibOutputTypeInfo

SemVer

TypeMismatchError

UnResolvedTypesError

UnificationError

WorkerFunctionType

WorkerFunctionsInRib

Enums

ActualType

ArmPattern

CallType

CastFrom

CoercedNumericValue

DynamicParsedFunctionReference

ExpectedType

Expr

FunctionCallError

FunctionDetails

FunctionName

FunctionReferenceType

InferredNumber

InstanceCreationType

InstanceIdentifier

InstanceType

InstanceVariable

InvalidItem

InvalidPatternMatchError

InvariantViolation

LiteralValue

ParsedFunctionReference

ParsedFunctionSite

PathElem

PathType

Range

RibByteCodeGenerationError

RibCompilationError

RibEvaluationError

RibIR

RibResult

RibRuntimeError

TypeHint

TypeInternal

TypeName

TypeParameter

TypeUnificationError

VariableId

WitTypeWithUnit

Traits

GenerateWorkerName

GetLiteralValue

GetTypeHint

RibComponentFunctionInvoke

Functions

arithmetic_error

bind_global_variable_types_lowered

bind_instance_types

Propagates instance types from let rhs to bound identifiers. Use from the same lower / rebuild_expr boundary as crate::Expr::infer_types.

bind_type_annotations

For every node that has a type_annotation, derives an InferredType from that annotation and writes it into TypeTable. For Let nodes the type annotation applies to the rhs child, not the Let node itself (mirrors the existing behaviour exactly).

bind_variables_of_let_assignment

Arena version: assigns local VariableIds to Let nodes and propagates them to matching Identifier use-sites.

bind_variables_of_list_comprehension

bind_variables_of_list_reduce

bind_variables_of_pattern_match

cast_error

cast_error_custom

collect_children_mut

empty_stack

ensure_stateful_instance

exhausted_iterator

field_not_found

from_string

function_invoke_fail

identify_instance_creation

index_out_of_bound

infer_all_identifiers

infer_enums

Enum constructor rewriting and type merge on lowered IR. Use from crate::expr_arena::lower / crate::expr_arena::rebuild_expr boundaries (e.g. Expr::infer_types); do not lower/rebuild per pass.

infer_function_call_types

Arena-based function-call argument typing (used from crate::expr_arena inference).

infer_function_invokes

Converts SelectField on an Instance type into a resolved Call, and InvokeMethodLazy on an Instance type into a resolved Call.

infer_global_inputs

infer_variants_lowered

infinite_computation

input_not_found

instruction_jump_error

insufficient_stack_items

interpret

interpret_pure

invalid_comparison

invalid_type_with_stack_value

no_result

parse_value_and_type

print_value_and_type

pull_types_up

Post-order traversal: for each node, read the types of its children from TypeTable to compute/update the node’s own type.

push_types_down

Pre-order traversal: for each parent node, read its type from TypeTable and push derived types down into child nodes.

reset_type_info

run_initial_binding_and_instance_phases

set_origin

For every node, tags its InferredType with TypeOrigin::OriginatedAt using the node’s source span. This mirrors Expr::set_origin.

sync_embedded_worker_exprs_from_calls

Copies the worker-name expression from the arena-backed CallTypeNode into InstanceType::worker_name for every Call whose type is TypeInternal::Instance.

throw_error

to_string

to_string_arm_pattern

try_visit_post_order_rev_mut

type_inference_fix_point

type_mismatch_with_type_hint

type_mismatch_with_value

unify_types

Same semantics as unify_types, but updates a TypeTable in place. On failure, rebuilds from root for error context (cold path).

visit_post_order

visit_post_order_mut

visit_post_order_rev_mut

visit_pre_order_mut

Type Aliases

RibFunctionInvokeResult

RibInterpreterResult