Struct Dyadic 

pub struct Dyadic<T> { /* private fields */ }

Finally a dyadic number (Mono + … + Mono) / Bin Dyadic(Set(), Bin::lit(0)) = Dyadic(Set(Mono::lit(0)), Bin::lit(0)) = 0

Implementations

impl<T: Ord> Dyadic<T>

pub fn lit(i: i32) -> Self

pub fn var(v: T) -> Self

pub fn bin(b: Bin<T>) -> Self

pub fn unit_add() -> Self

pub fn unit_mul() -> Self

pub fn neg(self) -> Self

pub fn double(self) -> Self

where T: Clone,

pub fn half(self) -> Self

where T: Clone,

pub fn div_bin(&self, other: &Bin<T>) -> Self

where T: Clone,

Trait Implementations

impl<T: Ord + Clone> Add<&Bin<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: &Bin<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> Add<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: &Mono<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> Add<Bin<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: Bin<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> Add<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: Mono<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> Add for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Ord + Clone> Add for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Ord + Clone> AddAssign<Bin<T>> for Dyadic<T>

fn add_assign(&mut self, other: Bin<T>)

Performs the += operation.

impl<T: Ord + Clone> AddAssign<Mono<T>> for Dyadic<T>

Addition of dyadic numbers

fn add_assign(&mut self, other: Mono<T>)

Performs the += operation.

impl<T: Ord + Clone> AddAssign<i32> for Dyadic<T>

fn add_assign(&mut self, other: i32)

Performs the += operation.

impl<T: Ord + Clone> AddAssign for Dyadic<T>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<T: Clone> Clone for Dyadic<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Dyadic<T>

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

Formats the value using the given formatter.

impl<'a, T> Display for Dyadic<T>

where T: Pretty<'a, BoxAllocator, ()> + Clone + Ord,

Display instance calls the pretty printer

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

Formats the value using the given formatter.

impl<T: Ord + Clone> Div<&Bin<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the / operator.

fn div(self, other: &Bin<T>) -> Self::Output

Performs the / operation.

impl<T: Ord + Clone> Div<Bin<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the / operator.

fn div(self, other: Bin<T>) -> Self::Output

Performs the / operation.

impl<T: Ord> DivAssign<Bin<T>> for Dyadic<T>

Division of dyadic numbers by binary powers

fn div_assign(&mut self, other: Bin<T>)

Performs the /= operation.

impl<T: Hash> Hash for Dyadic<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Ord + Clone> Mul<&Bin<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: &Bin<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: &Mono<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<Bin<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: Bin<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: Mono<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T: Ord + Clone> Mul for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T: Ord + Clone> MulAssign<Bin<T>> for Dyadic<T>

fn mul_assign(&mut self, other: Bin<T>)

Performs the *= operation.

impl<T: Ord + Clone> MulAssign<Mono<T>> for Dyadic<T>

Multiplication of dyadic numbers

fn mul_assign(&mut self, other: Mono<T>)

Performs the *= operation.

impl<T: Ord + Clone> MulAssign<i32> for Dyadic<T>

fn mul_assign(&mut self, other: i32)

Performs the *= operation.

impl<T: Ord + Clone> MulAssign for Dyadic<T>

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<T: Ord + Clone> Normalizable for Dyadic<T>

fn normalize(&mut self)

fn is_normal(&self) -> bool

where Self: Clone + Eq,

Check if it is in normal form by syntactic equality

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

where Self: Eq + Clone,

Equality modulo normalization

impl<T: PartialEq> PartialEq for Dyadic<T>

fn eq(&self, other: &Dyadic<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<'a, D, A, T> Pretty<'a, D, A> for Dyadic<T>

where D: DocAllocator<'a, A>, T: Pretty<'a, D, A> + Clone + Ord, D::Doc: Clone, A: 'a + Clone,

Pretty printing, display and Arbitrary for Dyadic

fn pretty(self, allocator: &'a D) -> DocBuilder<'a, D, A>

Converts self into a document

impl<T: Ord + Display + Clone> Specializable<T, u8> for Dyadic<T>

fn specialize(&mut self, id: &T, val: u8)

fn free_vars(&self) -> Set<&T>

fn is_closed(&self) -> bool

where T: Ord,

fn specialize_all(&mut self, ctx: Ctx<T, V>)

where T: Ord + Clone, V: Clone, Self: Sized,

impl<T: Ord + Clone> Sub<&Bin<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: &Bin<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> Sub<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: &Mono<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> Sub<Bin<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: Bin<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> Sub<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: Mono<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> Sub for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<T: Ord + Clone> Sub for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<T: Ord + Clone> SubAssign<Bin<T>> for Dyadic<T>

fn sub_assign(&mut self, other: Bin<T>)

Performs the -= operation.

impl<T: Ord + Clone> SubAssign<Mono<T>> for Dyadic<T>

Subtraction of dyadic numbers

fn sub_assign(&mut self, other: Mono<T>)

Performs the -= operation.

impl<T: Ord + Clone> SubAssign<i32> for Dyadic<T>

fn sub_assign(&mut self, other: i32)

Performs the -= operation.

impl<T: Ord + Clone> SubAssign for Dyadic<T>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<T: Eq> Eq for Dyadic<T>

impl<T> StructuralPartialEq for Dyadic<T>