Macros§
Structs§
- Ambiguous
Type Error - Compiler
Output - Component
Dependencies - Component
Dependency - Component
Dependency Key - Custom
Error - Custom
Instance Spec - Default
Worker Name Generator - Dynamic
Parsed Function Name - Environment
Key - Evaluated
FnArgs - Evaluated
FqFn - Evaluated
Worker Name - Expr
Visitor - Fully
Qualified Function Name - Fully
Qualified Interface Name - Fully
Qualified Resource Constructor - Fully
Qualified Resource Method - Function
- Function
Dictionary - Function
Type - Global
Variable Type Spec - Id
- Inferred
Expr - Inferred
Type - Instruction
Id - Interface
Name - Interpreter
- Interpreter
Env - Interpreter
Stack - Invalid
Worker Name - List
Aggregation Identifier - List
Comprehension Identifier - Match
Arm - Match
Identifier - Number
- Package
Name - Parsed
Function Name - Path
- Range
Type - Resource
Method Dictionary - RibByte
Code - RibCompiler
- RibCompiler
Config - Compiler configuration options for Rib.
- RibEval
Config - RibEvaluator
- RibInput
- RibInput
Type Info - RibOutput
Type Info - SemVer
- Type
Mismatch Error - UnResolved
Types Error - Unification
Error - Worker
Function Type - Worker
Functions InRib
Enums§
- Actual
Type - Analysed
Type With Unit - ArmPattern
- Call
Type - Cast
From - Coerced
Numeric Value - Dynamic
Parsed Function Reference - Expected
Type - Expr
- Function
Call Error - Function
Name - Function
Reference Type - Inferred
Number - Instance
Creation Type - Instance
Identifier - Instance
Type - Instance
Variable - Invalid
Item - Invalid
Pattern Match Error - Invariant
Violation - Literal
Value - Parsed
Function Reference - Parsed
Function Site - Path
Elem - Path
Type - Range
- RibByte
Code Generation Error - RibCompilation
Error - RibEvaluation
Error - RibIR
- RibResult
- RibRuntime
Error - Type
Hint - Type
Internal - Type
Name - Type
Parameter - Type
Unification Error - Variable
Id
Traits§
Functions§
- arithmetic_
error - bind_
default_ types_ to_ index_ expressions - bind_
global_ variable_ types - Applies global variable type specifications to an expression tree.
- bind_
instance_ types - bind_
type_ annotations - bind_
variables_ of_ let_ assignment - bind_
variables_ of_ list_ comprehension - bind_
variables_ of_ list_ reduce - bind_
variables_ of_ pattern_ match - cast_
error - cast_
error_ custom - empty_
stack - ensure_
stateful_ instance - exhausted_
iterator - field_
not_ found - from_
string - function_
invoke_ fail - handle_
pattern_ match - identify_
instance_ creation - identify_
instance_ creation_ with_ worker - index_
out_ of_ bound - infer_
all_ identifiers - infer_
enums - infer_
function_ call_ types - infer_
global_ inputs - infer_
variants - infer_
worker_ function_ invokes - infinite_
computation - input_
not_ found - instruction_
jump_ error - insufficient_
stack_ items - interpret
- interpret_
pure - invalid_
comparison - invalid_
type_ with_ stack_ value - no_
result - push_
types_ down - reset_
type_ info - search_
for_ invalid_ instance_ declarations - throw_
error - to_
string - to_
string_ arm_ pattern - type_
check - type_
inference_ fix_ point - type_
mismatch_ with_ type_ hint - type_
mismatch_ with_ value - type_
pull_ up - unify_
types - visit_
expr_ nodes_ lazy