pub struct Prod {
pub(crate) args: Vec<Expr>,
}
Fields§
§args: Vec<Expr>
Implementations§
source§impl Prod
impl Prod
pub fn one() -> Self
fn first(&self) -> Option<&Atom>
fn as_binary_mul(&self) -> (Expr, Expr)
pub fn mul_rhs(&mut self, rhs: &Expr)
fn reduce_mul(lhs: &Expr, rhs: &Expr) -> Expr
fn expand_mul(lhs: &Expr, rhs: &Expr) -> Expr
fn distribute_first(&self) -> Expr
fn distribute(&self) -> Expr
fn flat_merge(lhs: Expr, rhs: Vec<Expr>) -> Vec<Expr>
fn merge_args(p: &[Expr], q: &[Expr]) -> Vec<Expr>
fn reduce_rec(args: &[Expr]) -> Vec<Expr>
fn reduce(&self) -> Expr
Trait Implementations§
source§impl Ord for Prod
impl Ord for Prod
source§impl PartialEq for Prod
impl PartialEq for Prod
source§impl PartialOrd for Prod
impl PartialOrd for Prod
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Eq for Prod
impl StructuralPartialEq for Prod
Auto Trait Implementations§
impl Freeze for Prod
impl RefUnwindSafe for Prod
impl !Send for Prod
impl !Sync for Prod
impl Unpin for Prod
impl UnwindSafe for Prod
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<T, U> ExactFrom<T> for Uwhere
U: TryFrom<T>,
impl<T, U> ExactFrom<T> for Uwhere
U: TryFrom<T>,
fn exact_from(value: T) -> U
§impl<T, U> ExactInto<U> for Twhere
U: ExactFrom<T>,
impl<T, U> ExactInto<U> for Twhere
U: ExactFrom<T>,
fn exact_into(self) -> U
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more