Struct AlgebraicStructure 

pub struct AlgebraicStructure<T>(pub T);

Tuple Fields

0: T

Trait Implementations

impl<T: Add<Output = T> + Copy> Add for AlgebraicStructure<T>

type Output = AlgebraicStructure<T>

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self

Performs the + operation.

impl<T: Add<Output = T> + Copy> AdditiveOperation<T> for AlgebraicStructure<T>

fn add_op(&self, other: &Self) -> Self

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Associativity<T> for AlgebraicStructure<T>

fn verify_associativity_add(&self, b: &Self, c: &Self) -> bool

where Self: AdditiveOperation<T>,

fn verify_associativity_mul(&self, b: &Self, c: &Self) -> bool

where Self: MultiplicativeOperation<T>,

impl<T: Clone> Clone for AlgebraicStructure<T>

fn clone(&self) -> AlgebraicStructure<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> ClosureUnderOperation<T> for AlgebraicStructure<T>

fn verify_closure_add(&self, other: &Self) -> bool

where Self: AdditiveOperation<T>,

fn verify_closure_mul(&self, other: &Self) -> bool

where Self: MultiplicativeOperation<T>,

impl<T: Add<Output = T> + Mul<Output = T> + Copy + PartialEq> Commutativity<T> for AlgebraicStructure<T>

fn verify_commutativity_add(&self, other: &Self) -> bool

where Self: AdditiveOperation<T>,

fn verify_commutativity_mul(&self, other: &Self) -> bool

where Self: MultiplicativeOperation<T>,

impl<T: Debug> Debug for AlgebraicStructure<T>

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

Formats the value using the given formatter.

impl Distributivity<f32> for AlgebraicStructure<f32>

fn verify_distributivity(&self, b: &Self, c: &Self) -> bool

impl<T: Div<Output = T> + Copy> Div for AlgebraicStructure<T>

type Output = AlgebraicStructure<T>

The resulting type after applying the / operator.

fn div(self, other: Self) -> Self

Performs the / operation.

impl Identity<f32> for AlgebraicStructure<f32>

fn verify_additive_identity(&self, identity: &f32) -> bool

fn verify_multiplicative_identity(&self, identity: &f32) -> bool

fn get_additive_identity() -> f32

fn get_multiplicative_identity() -> f32

impl Inverse<f32> for AlgebraicStructure<f32>

fn has_additive_inverse(&self) -> bool

fn has_multiplicative_inverse(&self) -> bool

fn get_additive_inverse(&self) -> Option<Self>

fn get_multiplicative_inverse(&self) -> Option<Self>

impl<T: Mul<Output = T> + Copy> Mul for AlgebraicStructure<T>

type Output = AlgebraicStructure<T>

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self

Performs the * operation.

impl<T: Mul<Output = T> + Copy> MultiplicativeOperation<T> for AlgebraicStructure<T>

fn mul_op(&self, other: &Self) -> Self

impl<T: PartialEq> PartialEq for AlgebraicStructure<T>

fn eq(&self, other: &AlgebraicStructure<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Sub<Output = T> + Copy> Sub for AlgebraicStructure<T>

type Output = AlgebraicStructure<T>

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self

Performs the - operation.

impl<T: Copy> Copy for AlgebraicStructure<T>

impl<T> StructuralPartialEq for AlgebraicStructure<T>