Trait number_general::NumberInstance

pub trait NumberInstance: Copy + Default + Sized + PartialOrd + From<Boolean> + Into<Number> + Add<Output = Self> + Sub<Output = Self> + Mul<Output = Self> + Div<Output = Self> + Product + Sum + Debug + Display {
    type Abs: NumberInstance;
    type Exp: NumberInstance;
    type Class: NumberClass<Instance = Self>;
    pub fn class(&self) -> Self::Class;
    pub fn into_type(
        self, 
        dtype: Self::Class
    ) -> <Self::Class as NumberClass>::Instance;
    pub fn abs(self) -> Self::Abs;
    pub fn pow(self, exp: Self::Exp) -> Self;

    pub fn and(self, other: Self) -> Self
    where
        Boolean: CastFrom<Self>,
    { ... }
    pub fn not(self) -> Self
    where
        Boolean: CastFrom<Self>,
    { ... }
    pub fn or(self, other: Self) -> Self
    where
        Boolean: CastFrom<Self>,
    { ... }
    pub fn xor(self, other: Self) -> Self
    where
        Self: CastInto<Boolean>,
    { ... }
}

Defines common operations on numeric types supported by Number.

Associated Types

type Abs: NumberInstance

type Exp: NumberInstance

type Class: NumberClass<Instance = Self>

Loading content...

Required methods

pub fn class(&self) -> Self::Class

Get an impl of NumberClass describing this number.

pub fn into_type(
    self,
    dtype: Self::Class
) -> <Self::Class as NumberClass>::Instance

Cast this number into the specified NumberClass.

pub fn abs(self) -> Self::Abs

Calculate the absolute value of this number.

pub fn pow(self, exp: Self::Exp) -> Self

Raise this number to the given exponent.

Loading content...

Provided methods

pub fn and(self, other: Self) -> Self where
    Boolean: CastFrom<Self>, 

Return true if self and other are nonzero.

pub fn not(self) -> Self where
    Boolean: CastFrom<Self>, 

Return true if this number is zero.

pub fn or(self, other: Self) -> Self where
    Boolean: CastFrom<Self>, 

Return true if self or other is nonzero.

pub fn xor(self, other: Self) -> Self where
    Self: CastInto<Boolean>, 

Return true if exactly one of self and other is zero.

Loading content...

Implementors

impl NumberInstance for Complex

type Abs = Float

type Exp = Self

type Class = ComplexType

pub fn class(&self) -> ComplexType

pub fn into_type(self, dtype: ComplexType) -> Complex

pub fn abs(self) -> Float

pub fn pow(self, exp: Self) -> Self

impl NumberInstance for Float

type Abs = Float

type Exp = Self

type Class = FloatType

pub fn class(&self) -> FloatType

pub fn into_type(self, dtype: FloatType) -> Float

pub fn abs(self) -> Float

pub fn pow(self, exp: Self) -> Self

impl NumberInstance for Int

type Abs = Self

type Exp = UInt

type Class = IntType

pub fn class(&self) -> IntType

pub fn into_type(self, dtype: IntType) -> Int

pub fn abs(self) -> Self

pub fn pow(self, exp: Self::Exp) -> Self

impl NumberInstance for Number

type Abs = Number

type Exp = Self

type Class = NumberType

pub fn class(&self) -> NumberType

pub fn into_type(self, dtype: NumberType) -> Number

pub fn abs(self) -> Number

pub fn pow(self, exp: Self) -> Self

impl NumberInstance for UInt

type Abs = Self

type Exp = Self

type Class = UIntType

pub fn class(&self) -> UIntType

pub fn into_type(self, dtype: UIntType) -> UInt

pub fn abs(self) -> UInt

pub fn pow(self, exp: Self::Exp) -> Self

impl NumberInstance for Boolean

type Abs = Self

type Exp = Self

type Class = BooleanType

pub fn class(&self) -> BooleanType

pub fn into_type(self, _dtype: BooleanType) -> Boolean

pub fn abs(self) -> Self

pub fn pow(self, exp: Self) -> Self

pub fn and(self, other: Self) -> Self

pub fn not(self) -> Self

pub fn or(self, other: Self) -> Self

pub fn xor(self, other: Self) -> Self

Loading content...