Modules§
Macros§
Structs§
- AdtConflict
- AdtDecl
- A type declaration for an algebraic data type.
- Class
Method Capability - Class
Method Requirement - Collect
Adts Error - Compile
Error - Compiled
Externs - Compiled
Program - Compiled
Program Boundary - Compiler
- Engine
- Engine
Options - Enum
Patch - Eval
Error - Evaluator
- Evaluator
Ref - Export
- GasCosts
- GasMeter
- Heap
- Instance
- Json
Options - Options for handling enum JSON encodings.
- Library
- A staged host library that you build up in Rust and later inject into an
Engine. - Native
Capability - Native
Requirement - Parser
- Parser
Err - Parser
Limits - Pointer
- Predicate
- Program
- Repl
State - Runtime
Capabilities - Runtime
Compatibility - Runtime
Env - Runtime
EnvBoundary - Runtime
Link Contract - Scheme
- Symbol
- Type
- Type
System - Type
VarSupply - Value
Display Options
Enums§
- Builtin
Type Id - Decl
- Engine
Error - Execution
Error - Expr
- Prelude
Mode - Token
- A Token represents a lexical token in the Rex programming language. It includes the values of literals, identifiers, and comments.
- Type
Error - Type
Kind - Value
Constants§
Traits§
- Async
Handler - From
Pointer - Handler
- Into
Pointer - RexAdt
- Shared ADT registration surface for derived and manually implemented Rust types.
- RexDefault
- RexType
Functions§
- closure_
debug - closure_
eq - collect_
adts_ error_ to_ engine - Convert ADT collection conflicts into an embedder-facing
EngineError. - collect_
adts_ in_ types - Collect all user-defined ADT constructors referenced by the provided types.
- eval
- intern
- json_
to_ rex - Convert a JSON
Valueinto a typed Rex runtime value (Pointer) allocated onheap. - pointer_
display - pointer_
display_ with - prelude_
typeclasses_ program - rex_
to_ json - Convert a typed Rex runtime value (
Pointer) to a JSONValue. - sym
- value_
debug - value_
eq - virtual_
export_ name