pub struct BinOp<T: Clone> {
pub apply: fn(_: T, _: T) -> T,
pub prio: i64,
pub is_commutative: bool,
}
Expand description
A binary operator that consists of a function pointer, a priority, and a commutativity-flag.
Fields
apply: fn(_: T, _: T) -> T
Implementation of the binary operation, e.g., |a, b| a * b
for multiplication.
prio: i64
Priority of the binary operation. A binary operation with a
higher number will be executed first. For instance, in a sane world *
has a higher priority than +
. However, in Exmex land you could also define
this differently.
is_commutative: bool
True if this is a commutative operator such as *
or +
, false if not such as -
, /
, or ^
.
Commutativity is used to compile sub-expressions of numbers correctly.
Trait Implementations
sourceimpl<T: Ord + Clone> Ord for BinOp<T>
impl<T: Ord + Clone> Ord for BinOp<T>
sourceimpl<T: PartialOrd + Clone> PartialOrd<BinOp<T>> for BinOp<T>
impl<T: PartialOrd + Clone> PartialOrd<BinOp<T>> for BinOp<T>
sourcefn partial_cmp(&self, other: &BinOp<T>) -> Option<Ordering>
fn partial_cmp(&self, other: &BinOp<T>) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn 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 more
impl<T: Eq + Clone> Eq for BinOp<T>
impl<T: Clone> StructuralEq for BinOp<T>
impl<T: Clone> StructuralPartialEq for BinOp<T>
Auto Trait Implementations
impl<T> RefUnwindSafe for BinOp<T>
impl<T> Send for BinOp<T>
impl<T> Sync for BinOp<T>
impl<T> Unpin for BinOp<T>
impl<T> UnwindSafe for BinOp<T>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more