Skip to main content

ArchivedModuleV0

aranya_policy_module

Struct ArchivedModuleV0

#[repr(C)]
pub struct ArchivedModuleV0where
    Box<[Instruction]>: Archive,
    BTreeMap<Label, usize>: Archive,
    NamedMap<ActionDef>: Archive,
    NamedMap<CommandDef>: Archive,
    BTreeMap<Identifier, FactDefinition>: Archive,
    BTreeMap<Identifier, Vec<FieldDefinition>>: Archive,
    BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Archive,
    Option<CodeMap>: Archive,
    BTreeMap<Identifier, Value>: Archive,{
    pub progmem: <Box<[Instruction]> as Archive>::Archived,
    pub labels: <BTreeMap<Label, usize> as Archive>::Archived,
    pub action_defs: <NamedMap<ActionDef> as Archive>::Archived,
    pub command_defs: <NamedMap<CommandDef> as Archive>::Archived,
    pub fact_defs: <BTreeMap<Identifier, FactDefinition> as Archive>::Archived,
    pub struct_defs: <BTreeMap<Identifier, Vec<FieldDefinition>> as Archive>::Archived,
    pub enum_defs: <BTreeMap<Identifier, BTreeMap<Identifier, i64>> as Archive>::Archived,
    pub codemap: <Option<CodeMap> as Archive>::Archived,
    pub globals: <BTreeMap<Identifier, Value> as Archive>::Archived,
}

Expand description

An archived ModuleV0

Fields§

§progmem: <Box<[Instruction]> as Archive>::Archived

The archived counterpart of ModuleV0::progmem

§labels: <BTreeMap<Label, usize> as Archive>::Archived

The archived counterpart of ModuleV0::labels

§action_defs: <NamedMap<ActionDef> as Archive>::Archived

The archived counterpart of ModuleV0::action_defs

§command_defs: <NamedMap<CommandDef> as Archive>::Archived

The archived counterpart of ModuleV0::command_defs

§fact_defs: <BTreeMap<Identifier, FactDefinition> as Archive>::Archived

The archived counterpart of ModuleV0::fact_defs

§struct_defs: <BTreeMap<Identifier, Vec<FieldDefinition>> as Archive>::Archived

The archived counterpart of ModuleV0::struct_defs

§enum_defs: <BTreeMap<Identifier, BTreeMap<Identifier, i64>> as Archive>::Archived

The archived counterpart of ModuleV0::enum_defs

§codemap: <Option<CodeMap> as Archive>::Archived

The archived counterpart of ModuleV0::codemap

§globals: <BTreeMap<Identifier, Value> as Archive>::Archived

The archived counterpart of ModuleV0::globals

Trait Implementations§

impl<C: Fallible + ?Sized> CheckBytes<C> for ArchivedModuleV0
where Box<[Instruction]>: Archive, BTreeMap<Label, usize>: Archive, NamedMap<ActionDef>: Archive, NamedMap<CommandDef>: Archive, BTreeMap<Identifier, FactDefinition>: Archive, BTreeMap<Identifier, Vec<FieldDefinition>>: Archive, BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Archive, Option<CodeMap>: Archive, BTreeMap<Identifier, Value>: Archive, <C as Fallible>::Error: Trace, <Box<[Instruction]> as Archive>::Archived: CheckBytes<C>, <BTreeMap<Label, usize> as Archive>::Archived: CheckBytes<C>, <NamedMap<ActionDef> as Archive>::Archived: CheckBytes<C>, <NamedMap<CommandDef> as Archive>::Archived: CheckBytes<C>, <BTreeMap<Identifier, FactDefinition> as Archive>::Archived: CheckBytes<C>, <BTreeMap<Identifier, Vec<FieldDefinition>> as Archive>::Archived: CheckBytes<C>, <BTreeMap<Identifier, BTreeMap<Identifier, i64>> as Archive>::Archived: CheckBytes<C>, <Option<CodeMap> as Archive>::Archived: CheckBytes<C>, <BTreeMap<Identifier, Value> as Archive>::Archived: CheckBytes<C>,

unsafe fn check_bytes( value: *const Self, context: &mut C, ) -> Result<(), <C as Fallible>::Error>

Checks whether the given pointer points to a valid value within the given context. Read more

impl Portable for ArchivedModuleV0
where Box<[Instruction]>: Archive, BTreeMap<Label, usize>: Archive, NamedMap<ActionDef>: Archive, NamedMap<CommandDef>: Archive, BTreeMap<Identifier, FactDefinition>: Archive, BTreeMap<Identifier, Vec<FieldDefinition>>: Archive, BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Archive, Option<CodeMap>: Archive, BTreeMap<Identifier, Value>: Archive, <Box<[Instruction]> as Archive>::Archived: Portable, <BTreeMap<Label, usize> as Archive>::Archived: Portable, <NamedMap<ActionDef> as Archive>::Archived: Portable, <NamedMap<CommandDef> as Archive>::Archived: Portable, <BTreeMap<Identifier, FactDefinition> as Archive>::Archived: Portable, <BTreeMap<Identifier, Vec<FieldDefinition>> as Archive>::Archived: Portable, <BTreeMap<Identifier, BTreeMap<Identifier, i64>> as Archive>::Archived: Portable, <Option<CodeMap> as Archive>::Archived: Portable, <BTreeMap<Identifier, Value> as Archive>::Archived: Portable,

Auto Trait Implementations§

impl Freeze for ArchivedModuleV0

impl RefUnwindSafe for ArchivedModuleV0

impl Send for ArchivedModuleV0

impl Sync for ArchivedModuleV0

impl !Unpin for ArchivedModuleV0

impl !UnsafeUnpin for ArchivedModuleV0

impl UnwindSafe for ArchivedModuleV0

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> ArchivePointee for T

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> LayoutRaw for T

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.

impl<T> Pointee for T

type Metadata = ()

The metadata type for pointers and references to this type.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.