Struct free_algebra::FreePow

pub struct FreePow<C: Eq, P>(pub C, pub P);

Represents a free symbol raised to some power

This is used in FreePowMonoid mainly as a way to compress the size-footprint of a FreeMonoid by combining repeated elements under an integral exponent, but the option for more exotic exponents is also available

Trait Implementations

impl<C: Eq, P: Add<Output = P>> MonoidRule<FreePow<C, P>> for PowRule

fn apply(
    string: Vec<FreePow<C, P>>,
    letter: FreePow<C, P>
) -> Vec<FreePow<C, P>>

Applies the operation rule to the product of a word and a single letter

fn apply_many(word1: Vec<C>, word2: Vec<C>) -> Vec<C>

Applies the operation rule to the product of two words

fn apply_iter<I: Iterator<Item = C>>(word: Vec<C>, letters: I) -> Vec<C>

Applies the operation rule to the product of a word and a sequence of letters

impl<C: Eq, P: Add<Output = P> + Neg<Output = P> + Zero> InvMonoidRule<FreePow<C, P>> for PowRule

fn invert(free: FreePow<C, P>) -> FreePow<C, P>

Inverts a letter x such that x * x.invert() == 1

impl<C: Eq, P: Add<Output = P> + AddAssociative> AssociativeMonoidRule<FreePow<C, P>> for PowRule

impl<C: Eq, P: One + Neg<Output = P>> From<FreeInv<C>> for FreePow<C, P>

fn from(inv: FreeInv<C>) -> Self

Performs the conversion.

impl<C: Eq, P: One> From<C> for FreePow<C, P>

fn from(c: C) -> Self

Performs the conversion.

impl<C: Eq, P> From<(C, P)> for FreePow<C, P>

fn from((c, z): (C, P)) -> Self

Performs the conversion.

impl<C: Eq, P> Clone for FreePow<C, P> where
    C: Clone,
    P: Clone, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Eq, P> Copy for FreePow<C, P> where
    C: Copy,
    P: Copy, 

impl<C: Eq, P> Eq for FreePow<C, P> where
    C: Eq,
    P: Eq, 

impl<C: Eq, P> PartialEq<FreePow<C, P>> for FreePow<C, P> where
    C: PartialEq,
    P: PartialEq, 

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<C: Eq + Display, P: Display> Display for FreePow<C, P>

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

Formats the value using the given formatter.

impl<C: Eq, P> Debug for FreePow<C, P> where
    C: Debug,
    P: Debug, 

fn fmt(&self, __f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<C: Eq, P: Add<Output = P> + Neg<Output = P> + Zero> Div<FreePow<C, P>> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> FreePowMonoid<C, P>

Performs the / operation.

impl<C: Eq, P: Add<Output = P> + One + Neg<Output = P> + Zero> Div<C> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the / operator.

fn div(self, rhs: C) -> FreePowMonoid<C, P>

Performs the / operation.

impl<C: Eq, P: Add<Output = P> + Neg<Output = P> + Zero> Div<MonoidalString<FreePow<C, P>, PowRule>> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the / operator.

fn div(self, rhs: FreePowMonoid<C, P>) -> FreePowMonoid<C, P>

Performs the / operation.

impl<C: Eq, P: Add<Output = P>> Mul<FreePow<C, P>> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> FreePowMonoid<C, P>

Performs the * operation.

impl<C: Eq, P: Add<Output = P> + One> Mul<C> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the * operator.

fn mul(self, rhs: C) -> FreePowMonoid<C, P>

Performs the * operation.

impl<C: Eq, P: Add<Output = P>> Mul<MonoidalString<FreePow<C, P>, PowRule>> for FreePow<C, P>

type Output = FreePowMonoid<C, P>

The resulting type after applying the * operator.

fn mul(self, rhs: FreePowMonoid<C, P>) -> FreePowMonoid<C, P>

Performs the * operation.

impl<C: Eq, P> Hash for FreePow<C, P> where
    C: Hash,
    P: Hash, 

fn hash<__HCP>(&self, __state: &mut __HCP) where
    __HCP: Hasher, 

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<C: Eq, P: Neg<Output = P>> Inv for FreePow<C, P>

type Output = Self

The result after applying the operator.

fn inv(self) -> Self

Returns the multiplicative inverse of self.

impl<C: Eq, P: Mul<Output = P>> Pow<P> for FreePow<C, P>

type Output = FreePow<C, P>

The result after applying the operator.

fn pow(self, rhs: P) -> FreePow<C, P>

Returns self to the power rhs.