Expand description
Policy Module
Defines core data types for compiled modules.
Re-exports§
pub use aranya_policy_ast as ast;
Modules§
Macros§
Structs§
- Action
Def - An action definition.
- Action
DefResolver - The resolver for an archived
ActionDef - Archived
Action Def - An archived
ActionDef - Archived
Attribute - An archived
Attribute - Archived
Code Map - An archived
CodeMap - Archived
Command Def - An archived
CommandDef - Archived
Const Struct - An archived
ConstStruct - Archived
Field - An archived
Field - Archived
Label - An archived
Label - Archived
Module - An archived
Module - Archived
Module V0 - An archived
ModuleV0 - Attribute
- A command attribute.
- Attribute
Resolver - The resolver for an archived
Attribute - CodeMap
- The code map contains the original source and can map VM instructions to text ranges inside that source.
- Code
MapResolver - The resolver for an archived
CodeMap - Command
Def - A command definition.
- Command
DefResolver - The resolver for an archived
CommandDef - Const
Struct - A Struct value
- Const
Struct Resolver - The resolver for an archived
ConstStruct - Field
- A struct or command field.
- Field
Resolver - The resolver for an archived
Field - Label
- Labels are branch targets and execution entry points.
- Label
Resolver - The resolver for an archived
Label - Module
- The serializable state of
a
Machine. - Module
Resolver - The resolver for an archived
Module - Module
V0 - The Version 0 module format
- Module
V0Resolver - The resolver for an archived
ModuleV0 - Range
Error - An error for a range that doesn’t exist. Used in CodeMap.
- Spanned
Text - This is a simplified version of Pest’s
Span. We can’t use Pest’s version because we need to work inno_stdenvironments. - Unsupported
Version - Unsupported
Moduleversion.
Enums§
- Archived
Const Value - An archived
ConstValue - Archived
Exit Reason - An archived
ExitReason - Archived
Instruction - An archived
Instruction - Archived
Label Type - An archived
LabelType - Archived
Meta - An archived
Meta - Archived
Module Data - An archived
ModuleData - Archived
Target - An archived
Target - Archived
Wrap Type - An archived
WrapType - Const
Value - A constant or literal value used in policy.
- Const
Value Resolver - The resolver for an archived
ConstValue - Exit
Reason - Reason for ending execution.
- Exit
Reason Resolver - The resolver for an archived
ExitReason - Instruction
- The machine instruction types
- Instruction
Resolver - The resolver for an archived
Instruction - Label
Type - Types of Labels
- Label
Type Resolver - The resolver for an archived
LabelType - Meta
- Compiler Tracer metadata
- Meta
Resolver - The resolver for an archived
Meta - Module
Data - Versioned
Moduledata. - Module
Data Resolver - The resolver for an archived
ModuleData - Target
- The target of a branch
- Target
Resolver - The resolver for an archived
Target - Version
- Identifies a
Module. - Wrap
Type - Type of
Valuewrapping - Wrap
Type Resolver - The resolver for an archived
WrapType