Struct real

pub struct real;

Implementations§

§

Returns the largest integer less than or equal to self (i.e., floor function). This is equivalent to self as int when casting from real to int.

Trait Implementations§

§

§

§

Returns a duplicate of the value. Read more

Performs copy-assignment from source. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

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

Performs copy-assignment from self to dest. Read more

Returns the argument unchanged.

Calls U::from(self).

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

The resulting type after obtaining ownership.

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

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

The type returned in the event of a conversion error.

Performs the conversion.

§

§

§

The type returned in the event of a conversion error.

Performs the conversion.

Struct real Copy item path

Implementations§

impl real

pub fn floor(self) -> int

Trait Implementations§

impl Chainable for real

impl Clone for real

fn clone(&self) -> real

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

impl Copy for real

impl Decimal for real

const CONST_DEFAULT: real = real

impl IeeeFloatCast<f32> for real

fn ieee_cast(self) -> f32

impl IeeeFloatCast<f64> for real

fn ieee_cast(self) -> f64

impl IeeeFloatCast<real> for f32

fn ieee_cast(self) -> real

impl IeeeFloatCast<real> for f64

fn ieee_cast(self) -> real

impl SpecAdd for real

type Output = real

fn spec_add(self, _rhs: real) -> <real as SpecAdd>::Output

impl SpecEuclideanOrRealDiv for real

type Output = real

fn spec_euclidean_or_real_div( self, _rhs: real, ) -> <real as SpecEuclideanOrRealDiv>::Output

impl SpecMul for real

type Output = real

fn spec_mul(self, _rhs: real) -> <real as SpecMul>::Output

impl SpecNeg for real

type Output = real

fn spec_neg(self) -> <real as SpecNeg>::Output

impl SpecOrd for real

fn spec_lt(self, _rhs: real) -> bool

fn spec_le(self, _rhs: real) -> bool

fn spec_gt(self, _rhs: real) -> bool

fn spec_ge(self, _rhs: real) -> bool

impl SpecSub for real

type Output = real

fn spec_sub(self, _rhs: real) -> <real as SpecSub>::Output

Auto Trait Implementations§

impl Freeze for real

impl RefUnwindSafe for real

impl Send for real

impl Sync for real

impl Unpin for real

impl UnsafeUnpin for real

impl UnwindSafe for real

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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, VERUS_SPEC__A> FromSpec<T> for VERUS_SPEC__Awhere VERUS_SPEC__A: From<T>,

fn obeys_from_spec() -> bool

fn from_spec(v: T) -> VERUS_SPEC__A

impl<T> FromSpecImpl<T> for T

fn obeys_from_spec() -> bool

fn from_spec(v: T) -> T

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

fn into(self) -> U

impl<T, VERUS_SPEC__A> IntoSpec<T> for VERUS_SPEC__Awhere VERUS_SPEC__A: Into<T>,

fn obeys_into_spec() -> bool

fn into_spec(self) -> T

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

fn obeys_into_spec() -> bool

fn into_spec(self) -> U

impl<A> SpecEq<&A> for Awhere A: ?Sized,

impl<A> SpecEq<&mut A> for Awhere A: ?Sized,

impl<A> SpecEq<A> for Awhere A: ?Sized,

impl<A> SpecEq<Ghost<A>> for A

impl<A> SpecEq<Tracked<A>> for A

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

Struct real

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, VERUS_SPEC__A> FromSpec<T> for VERUS_SPEC__A
where VERUS_SPEC__A: From<T>,

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

impl<T, VERUS_SPEC__A> IntoSpec<T> for VERUS_SPEC__A
where VERUS_SPEC__A: Into<T>,

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

impl<A> SpecEq<&A> for A
where A: ?Sized,

impl<A> SpecEq<&mut A> for A
where A: ?Sized,

impl<A> SpecEq<A> for A
where A: ?Sized,

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

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

impl<T, VERUS_SPEC__A> TryFromSpec<T> for VERUS_SPEC__A
where VERUS_SPEC__A: TryFrom<T>,

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

impl<T, VERUS_SPEC__A> TryIntoSpec<T> for VERUS_SPEC__A
where VERUS_SPEC__A: TryInto<T>,

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