Enum TypedMemory 

pub enum TypedMemory {
    Load(TypedPointer),
    Store {
        pointer: TypedPointer,
        value: Variable,
    },
}

Variants

Load(TypedPointer)

Store

Fields

pointer: TypedPointer

value: Variable

Implementations

impl TypedMemory

pub fn pointer(&self) -> &TypedPointer

pub fn validate(&self, out: Option<Variable>) -> Result<(), String>

pub fn lower(&self, out: Option<Variable>) -> Result<Instruction, String>

pub fn retag(&self, instruction: Instruction) -> Instruction

Trait Implementations

impl Clone for TypedMemory

fn clone(&self) -> TypedMemory

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypedMemory

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypedMemory

fn deserialize<__D>( __deserializer: __D, ) -> Result<TypedMemory, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypedMemory

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for TypedMemory

impl From<<TypedMemory as OperationReflect>::OpCode> for OpCode

fn from(value: <TypedMemory as OperationReflect>::OpCode) -> OpCode

Converts to this type from the input type.

impl From<TypedMemory> for Operation

fn from(value: TypedMemory) -> Operation

Converts to this type from the input type.

impl Hash for TypedMemory

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl OperationReflect for TypedMemory

type OpCode = TypedMemoryOpCode

Type of the op codes for this operation

fn op_code(&self) -> <TypedMemory as OperationReflect>::OpCode

Get the opcode for this operation

fn args(&self) -> Option<Vec<Variable>>

Get the list of arguments for this operation. If not all arguments are Variable, returns None instead.

fn from_code_and_args( code: <TypedMemory as OperationReflect>::OpCode, args: &[Variable], ) -> Option<TypedMemory>

Create typed operation from an opcode and a list of arguments. Returns None if not all arguments are Variable.

fn is_commutative(&self) -> bool

Whether this operation is commutative (arguments can be freely reordered). Ignored for single argument operations.

fn is_pure(&self) -> bool

Whether this operation is pure (has no side effects). Things like uniform/plane operations are considered impure, because they affect other units.

impl PartialEq for TypedMemory

fn eq(&self, other: &TypedMemory) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for TypedMemory

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypedMemory

impl TypeHash for TypedMemory

fn write_hash(hasher: &mut impl Hasher)

Write the structure of the type to the hasher

fn type_hash() -> u64

Generate a stable hash of the type structure.