XDiv

deptypes::ops

Struct XDiv 

Source 
pub struct XDiv<a: Term, b: Term> { /* private fields */ }
Expand description

Term that represents the arithmetic operation on the base type and whose evalutations just call the base type operation

For primitive integers, this may be the operation on mathematical integers or on the Z mod 2**b ring depending on whether overflow checks are on or not.

Implementations§

Source§

impl<a0: Term, b0: Term> XDiv<a0, b0>

Source

pub fn eq<a1: Term, b1: Term>( _: ValueEq<a0, a1>, _: ValueEq<b0, b1>, ) -> ValueEq<Self, XDiv<a1, b1>>

Trait Implementations§

Source§

impl<a: Term, b: Term> Term for XDiv<a, b>
where a::Type: Div<b::Type> + ConstOps,

Source§

type Type = <<a as Term>::Type as Div<<b as Term>::Type>>::Output

Auto Trait Implementations§

§

impl<a, b> Freeze for XDiv<a, b>

§

impl<a, b> RefUnwindSafe for XDiv<a, b>

§

impl<a, b> Send for XDiv<a, b>

§

impl<a, b> Sync for XDiv<a, b>

§

impl<a, b> Unpin for XDiv<a, b>

§

impl<a, b> UnwindSafe for XDiv<a, b>

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> 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, 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.