Re-exports§
pub use crate::json::EnumPatch;pub use crate::json::JsonOptions;pub use crate::json::json_to_rex;pub use crate::json::rex_to_json;
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 - Eval
Error - Evaluator
- Evaluator
Ref - Export
- GasCosts
- GasMeter
- Heap
- Instance
- 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.
- intern
- pointer_
display - pointer_
display_ with - prelude_
typeclasses_ program - sym
- value_
debug - value_
eq - virtual_
export_ name