Struct AddI64

Source

pub struct AddI64;

Trait Implementations§

Source §

impl Clone for AddI64

Source §

fn clone(&self) -> AddI64

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for AddI64

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Execute<AddI64> for CPU

Source §

type Message = PopFromStack<(i64, i64)>

Input supplied by the runtime, rather than encoded in the instruction.

Source §

type Effect = PushToStack<(i64,)>

The successful result.

Source §

type Error = Report

The component’s execution error, usually eyre::Report.

Source §

fn execute( &mut self, _: &AddI64, PopFromStack: Self::Message, ) -> Result<Self::Effect>

Execute a borrowed instruction without consuming its payload. Read more

Source §

impl InstructionSpec for AddI64

Source §

const MNEMONIC: &'static str = "add_i64"

Source §

type Syntax = AddI64

Source representation selected by the instruction’s generated types.

Source §

fn parser() -> impl Parser<'__vihaco_src, &'__vihaco_src str, Self, Err<Simple<'__vihaco_src, char>>>

Source §

impl PartialEq for AddI64

Source §

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

Source §

impl StructuralPartialEq for AddI64

Auto Trait Implementations§

§

impl Freeze for AddI64

§

impl RefUnwindSafe for AddI64

§

impl Send for AddI64

§

impl Sync for AddI64

§

impl Unpin for AddI64

§

impl UnsafeUnpin for AddI64

§

impl UnwindSafe for AddI64

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<D> Apply<PushToStack<()>> for D

Source §

fn apply(&mut self, _: PushToStack<()>)

Apply a single effect to this destination.

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, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into 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.

§

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

§

type Proj<U: 'src> = U

§

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

§

impl<T> OrderedSeq<'_, T> for T
where T: Clone,

§

impl<'p, T> Seq<'p, T> for T
where T: Clone,

§

type Item<'a> = &'a T where T: 'a

The item yielded by the iterator.

§

type Iter<'a> = Once<&'a T> where T: 'a

An iterator over the items within this container, by reference.

§

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

Iterate over the elements of the container.

§

fn contains(&self, val: &T) -> bool
where T: PartialEq,

Check whether an item is contained within this sequence.

§

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

Convert an item of the sequence into a [MaybeRef].

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 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

AddI64

Struct AddI64 Copy item path

Trait Implementations§

impl Clone for AddI64

fn clone(&self) -> AddI64

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

impl Debug for AddI64

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

impl Execute<AddI64> for CPU

type Message = PopFromStack<(i64, i64)>

type Effect = PushToStack<(i64,)>

type Error = Report

fn execute( &mut self, _: &AddI64, PopFromStack: Self::Message, ) -> Result<Self::Effect>

impl InstructionSpec for AddI64

const MNEMONIC: &'static str = "add_i64"

type Syntax = AddI64

type Dialect = __VihacoDialect

impl<__VihacoLoader: ?Sized> Lower<__VihacoLoader> for AddI64

type Runtime = AddI64

fn lower(self, _: &mut __VihacoLoader) -> Result<Self>

impl<'__vihaco_src> Parse<'__vihaco_src> for AddI64

fn parser() -> impl Parser<'__vihaco_src, &'__vihaco_src str, Self, Err<Simple<'__vihaco_src, char>>>

impl PartialEq for AddI64

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

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

impl StructuralPartialEq for AddI64

Auto Trait Implementations§

impl Freeze for AddI64

impl RefUnwindSafe for AddI64

impl Send for AddI64

impl Sync for AddI64

impl Unpin for AddI64

impl UnsafeUnpin for AddI64

impl UnwindSafe for AddI64

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<D> Apply<PushToStack<()>> for D

fn apply(&mut self, _: PushToStack<()>)

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<'src, T> IntoMaybe<'src, T> for Twhere T: 'src,

type Proj<U: 'src> = U

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>where R: 'src,

impl<T> OrderedSeq<'_, T> for Twhere T: Clone,

impl<'p, T> Seq<'p, T> for Twhere T: Clone,

type Item<'a> = &'a T where T: 'a

type Iter<'a> = Once<&'a T> where T: 'a

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

fn contains(&self, val: &T) -> boolwhere T: PartialEq,

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where 'p: 'b,

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

Struct AddI64

impl<VihacoLoader: ?Sized> Lower<VihacoLoader> for AddI64

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

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

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

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

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

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

impl<T> OrderedSeq<'_, T> for T
where T: Clone,

impl<'p, T> Seq<'p, T> for T
where T: Clone,

fn contains(&self, val: &T) -> bool
where T: PartialEq,

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

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

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

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