Struct Bin 

pub struct Bin<Id> {
    pub exp: Lin<Id>,
}

Represents a type-level power of two (2^Lin)

Fields

exp: Lin<Id>

Implementations

impl<T: Ord> Bin<T>

pub fn lit(a: u8) -> Self

pub fn var(v: T) -> Self

pub fn double(self) -> Self

where T: Clone,

pub fn half(self) -> Option<Self>

Halving could fail, ex: 2^a / 2 = None

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

Partial order extends to Bin as [2^-] is monotone

pub fn log2(u: i32) -> (Bin<T>, i32)

Logarithm with remainder ex: log2(9) = (3, 1) log(-129) = (7, -1)

pub fn lcm(&self, other: &Self) -> Self

where T: Clone,

Least common multiple of two exponents of two

pub fn gcd(&self, other: &Self) -> Self

where T: Clone,

Greatest common divisor of two exponents of two

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<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> AddAssign<Bin<T>> for Dyadic<T>

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

Performs the += operation.

impl<Id: Clone> Clone for Bin<Id>

fn clone(&self) -> Bin<Id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for Bin<Id>

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

Formats the value using the given formatter.

impl<T: Ord> Default for Bin<T>

Identity element of multiplication is 2^0

fn default() -> Self

Returns the “default value” for a type.

impl<'a, T> Display for Bin<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 + Clone> Div for &Bin<T>

Division of powers of two is equivalent to subtracting the exponents

type Output = (Bin<T>, Bin<T>)

The resulting type after applying the / operator.

fn div(self, a: Self) -> Self::Output

Performs the / operation.

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

Division of powers of two is equivalent to subtracting the exponents

type Output = (Bin<T>, Bin<T>)

The resulting type after applying the / operator.

fn div(self, a: Self) -> 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: Ord> From<Bin<T>> for Mono<T>

fn from(b: Bin<T>) -> Self

Converts to this type from the input type.

impl<Id: Hash> Hash for Bin<Id>

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<&Bin<T>> for &Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: &Bin<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<Bin<T>> for Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Bin<T>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Bin<T>

The resulting type after applying the * operator.

fn mul(self, a: 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> MulAssign<Bin<T>> for Mono<T>

Multiplication of monoterms to bin [normalizes]

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

Performs the *= operation.

impl<T: Ord> MulAssign for Bin<T>

Multiplication of powers of two is equivalent to adding the exponents

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

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

Remove all zero elements (0*a + c = c)

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<Id: Ord> Ord for Bin<Id>

fn cmp(&self, other: &Bin<Id>) -> Ordering

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<Id: PartialEq> PartialEq for Bin<Id>

fn eq(&self, other: &Bin<Id>) -> 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<Id: PartialOrd> PartialOrd for Bin<Id>

fn partial_cmp(&self, other: &Bin<Id>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a, D, A, T> Pretty<'a, D, A> for Bin<T>

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

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

Converts self into a document

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

Specialize a bin power by substituting a variable with a literal

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<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> SubAssign<Bin<T>> for Dyadic<T>

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

Performs the -= operation.

impl<Id: Eq> Eq for Bin<Id>

impl<Id> StructuralPartialEq for Bin<Id>