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
Fact - An archived
Fact - Archived
Fact Key - An archived
FactKey - Archived
Fact Value - An archived
FactValue - Archived
Field - An archived
Field - Archived
Label - An archived
Label - Archived
Module - An archived
Module - Archived
Module V0 - An archived
ModuleV0 - Archived
Struct - An archived
Struct - 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 - Fact
- A Fact
- FactKey
- One labeled value in a fact key. A sequence of FactKeys mapped to a sequence of FactValues comprises a Fact.
- Fact
KeyResolver - The resolver for an archived
FactKey - Fact
Resolver - The resolver for an archived
Fact - Fact
Value - One labeled value in a fact value.
- Fact
Value Resolver - The resolver for an archived
FactValue - Field
- A struct or command field.
- Field
Resolver - The resolver for an archived
Field - KVPair
- A generic key/value pair. Used for Effects and Command fields. Technically identical to a FactValue but separate to distinguish usage.
- 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. - Struct
- A Struct value
- Struct
Resolver - The resolver for an archived
Struct - Unsupported
Version - Unsupported
Moduleversion.
Enums§
- Archived
Exit Reason - An archived
ExitReason - Archived
Hashable Value - An archived
HashableValue - 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
Value - An archived
Value - Exit
Reason - Reason for ending execution.
- Exit
Reason Resolver - The resolver for an archived
ExitReason - Hashable
Value - The subset of Values that can be hashed. Only these types of values can be used in the key portion of a Fact.
- Hashable
Value Resolver - The resolver for an archived
HashableValue - 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 - Value
- All of the value types allowed in the VM
- Value
Conversion Error - Indicates that the Value conversion has failed
- Value
Resolver - The resolver for an archived
Value - Version
- Identifies a
Module.
Traits§
- TryAs
Mut - Like
AsMut, but fallible. - TryFrom
Value - Trait for converting from a
Value, similar toTryFrom<Value>. - Typed
- Allows a type to be used by FFI derive.
Type Aliases§
- BaseId
- The base ID type.
- Fact
KeyList - A list of fact keys.
- Fact
Value List - A list of fact values.