Crate rib

Source

Structs§

AmbiguousTypeError
CompilerOutput
CustomError
DynamicParsedFunctionName
EnvironmentKey
EvaluatedFnArgs
EvaluatedFqFn
EvaluatedWorkerName
ExprVisitor
FullyQualifiedFunctionName
FullyQualifiedResourceConstructor
FullyQualifiedResourceMethod
Function
FunctionDictionary
FunctionType
FunctionTypeRegistry
GlobalVariableTypeSpec
Id
InferredExpr
InstructionId
Interpreter
InterpreterEnv
InterpreterStack
InvalidWorkerName
ListAggregationIdentifier
ListComprehensionIdentifier
MatchArm
MatchIdentifier
MultipleUnResolvedTypesError
Number
ParsedFunctionName
Path
RangeType
ResourceMethod
ResourceMethodDictionary
RibByteCode
RibInput
RibInputTypeInfo
RibOutputTypeInfo
SemVer
TypeMismatchError
UnResolvedTypesError
WorkerFunctionType
WorkerFunctionsInRib

Enums§

ActualType
AnalysedTypeWithUnit
ArmPattern
CallType
CoercedNumericValue
DynamicParsedFunctionReference
ExpectedType
Expr
FunctionCallError
FunctionName
FunctionReferenceType
InferredNumber
InferredType
InstanceCreationType
InstanceType
InvalidPatternMatchError
LiteralValue
ParsedFunctionReference
ParsedFunctionSite
PathElem
PathType
Range
RegistryKey
RegistryValue
RibError
RibIR
RibResult
TypeName
VariableId
WorkerNamePresence

Traits§

GetLiteralValue
RibFunctionInvoke

Functions§

bind_default_types_to_index_expressions
bind_global_variable_types
bind_instance_types
bind_variables_of_let_assignment
bind_variables_of_list_comprehension
bind_variables_of_list_reduce
bind_variables_of_pattern_match
compile
compile_with_restricted_global_variables
from_string
identify_instance_creation
infer_all_identifiers
infer_enums
infer_function_call_types
infer_global_inputs
infer_orphan_literals
infer_variants
infer_worker_function_invokes
interpret
interpret_pure
push_types_down
reset_type_info
to_string
to_string_arm_pattern
type_check
type_inference_fix_point
type_pull_up
unify_types
visit_children_bottom_up
visit_children_bottom_up_mut
visit_children_mut_top_down