Trait number_general::NumberInstance [−][src]
pub trait NumberInstance: Copy + Default + Sized + From<Boolean> + Into<Number> + Add<Output = Self> + AddAssign + Sub<Output = Self> + SubAssign + Mul<Output = Self> + MulAssign + Div<Output = Self> + DivAssign + Product + Sum + Debug + Display { type Abs: NumberInstance; type Exp: NumberInstance; type Class: NumberClass<Instance = Self>; fn class(&self) -> Self::Class; fn into_type(
self,
dtype: <Self as NumberInstance>::Class
) -> <<Self as NumberInstance>::Class as NumberClass>::Instance; fn abs(self) -> Self::Abs; fn pow(self, exp: Self::Exp) -> Self; fn and(self, other: Self) -> Self
where
Boolean: CastFrom<Self>, { ... } fn not(self) -> Self
where
Boolean: CastFrom<Self>, { ... } fn or(self, other: Self) -> Self
where
Boolean: CastFrom<Self>, { ... } fn xor(self, other: Self) -> Self
where
Boolean: CastFrom<Self>, { ... } }
Expand description
Defines common operations on numeric types supported by Number
.
Associated Types
Required methods
Get an impl of NumberClass
describing this number.
fn into_type(
self,
dtype: <Self as NumberInstance>::Class
) -> <<Self as NumberInstance>::Class as NumberClass>::Instance
fn into_type(
self,
dtype: <Self as NumberInstance>::Class
) -> <<Self as NumberInstance>::Class as NumberClass>::Instance
Cast this number into the specified NumberClass
.
Provided methods
Return true
if self
and other
are nonzero.
Return true
if self
or other
is nonzero.