quil_rs::instruction

Enum Instruction

Source
pub enum Instruction {
Show 40 variants Arithmetic(Arithmetic), BinaryLogic(BinaryLogic), CalibrationDefinition(Calibration), Call(Call), Capture(Capture), CircuitDefinition(CircuitDefinition), Convert(Convert), Comparison(Comparison), Declaration(Declaration), Delay(Delay), Exchange(Exchange), Fence(Fence), FrameDefinition(FrameDefinition), Gate(Gate), GateDefinition(GateDefinition), Halt, Include(Include), Jump(Jump), JumpUnless(JumpUnless), JumpWhen(JumpWhen), Label(Label), Load(Load), MeasureCalibrationDefinition(MeasureCalibrationDefinition), Measurement(Measurement), Move(Move), Nop, Pragma(Pragma), Pulse(Pulse), RawCapture(RawCapture), Reset(Reset), SetFrequency(SetFrequency), SetPhase(SetPhase), SetScale(SetScale), ShiftFrequency(ShiftFrequency), ShiftPhase(ShiftPhase), Store(Store), SwapPhases(SwapPhases), UnaryLogic(UnaryLogic), WaveformDefinition(WaveformDefinition), Wait,
}

Variants§

§

Arithmetic(Arithmetic)

§

BinaryLogic(BinaryLogic)

§

CalibrationDefinition(Calibration)

§

Call(Call)

§

Capture(Capture)

§

CircuitDefinition(CircuitDefinition)

§

Convert(Convert)

§

Comparison(Comparison)

§

Declaration(Declaration)

§

Delay(Delay)

§

Exchange(Exchange)

§

Fence(Fence)

§

FrameDefinition(FrameDefinition)

§

Gate(Gate)

§

GateDefinition(GateDefinition)

§

Halt

§

Include(Include)

§

Jump(Jump)

§

JumpUnless(JumpUnless)

§

JumpWhen(JumpWhen)

§

Label(Label)

§

Load(Load)

§

MeasureCalibrationDefinition(MeasureCalibrationDefinition)

§

Measurement(Measurement)

§

Move(Move)

§

Nop

§

Pragma(Pragma)

§

Pulse(Pulse)

§

RawCapture(RawCapture)

§

Reset(Reset)

§

SetFrequency(SetFrequency)

§

SetPhase(SetPhase)

§

SetScale(SetScale)

§

ShiftFrequency(ShiftFrequency)

§

ShiftPhase(ShiftPhase)

§

Store(Store)

§

SwapPhases(SwapPhases)

§

UnaryLogic(UnaryLogic)

§

WaveformDefinition(WaveformDefinition)

§

Wait

Implementations§

Source§

impl Instruction

Source

pub fn apply_to_expressions(&mut self, closure: impl FnMut(&mut Expression))

Apply the provided closure to this instruction, mutating any Expressions within. Does not affect instructions without Expressions within. Does not traverse or mutate instructions nested within blocks (such as within DEFCAL).

§Example
use std::mem::replace;
use std::str::FromStr;
use quil_rs::{expression::Expression, Program, quil::Quil};


let program = Program::from_str("SHIFT-PHASE 0 \"rf\" 2*2").unwrap();
let mut instructions = program.to_instructions();
instructions.iter_mut().for_each(|inst| inst.apply_to_expressions(Expression::simplify));

assert_eq!(instructions[0].to_quil().unwrap(), String::from("SHIFT-PHASE 0 \"rf\" 4"))
Source

pub fn get_qubits(&self) -> Vec<&Qubit>

Return immutable references to the Qubits contained within an instruction

Source

pub fn get_qubits_mut(&mut self) -> Vec<&mut Qubit>

Return mutable references to the Qubits contained within an instruction

Source

pub fn is_quil_t(&self) -> bool

Returns true if the instruction is a Quil-T instruction.

Source

pub fn is_scheduled(&self) -> bool

Per the Quil-T spec, whether this instruction’s timing within the pulse program must be precisely controlled so as to begin exactly on the end of the latest preceding timed instruction

Source§

impl Instruction

Source

pub fn get_memory_accesses( &self, extern_signature_map: &ExternSignatureMap, ) -> MemoryAccessesResult

Return all memory accesses by the instruction - in expressions, captures, and memory manipulation.

This will fail if the program contains Instruction::Call instructions that cannot be resolved against a signature in the provided ExternSignatureMap (either because they call functions that don’t appear in the map or because the types of the parameters are wrong).

Trait Implementations§

Source§

impl Clone for Instruction

Source§

fn clone(&self) -> Instruction

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Instruction

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<&Instruction> for InstructionRole

Source§

fn from(instruction: &Instruction) -> Self

Converts to this type from the input type.
Source§

impl FromStr for Instruction

Source§

type Err = ParseInstructionError

The associated error which can be returned from parsing.
Source§

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type. Read more
Source§

impl PartialEq for Instruction

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Quil for Instruction

Source§

fn write( &self, f: &mut impl Write, fall_back_to_debug: bool, ) -> Result<(), ToQuilError>

Write the Quil representation of the item to the given writer. If fall_back_to_debug is true, then it must not return an error.
Source§

fn to_quil(&self) -> Result<String, ToQuilError>

Return a string in valid Quil syntax or an error if the item cannot be represented with valid Quil.
Source§

fn to_quil_or_debug(&self) -> String

Return a string in valid Quil syntax if possible. Any individual component of this object which cannot be represented in Quil will be replaced with a Debug representation of that component.
Source§

impl StructuralPartialEq for Instruction

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,