Enum polar_core::terms::Operator
source · pub enum Operator {
Show 25 variants
Debug,
Print,
Cut,
In,
Isa,
New,
Dot,
Not,
Mul,
Div,
Mod,
Rem,
Add,
Sub,
Eq,
Geq,
Leq,
Neq,
Gt,
Lt,
Unify,
Or,
And,
ForAll,
Assign,
}
Variants§
Debug
Cut
In
Isa
New
Dot
Not
Mul
Div
Mod
Rem
Add
Sub
Eq
Geq
Leq
Neq
Gt
Lt
Unify
Or
And
ForAll
Assign
Trait Implementations§
source§impl<'de> Deserialize<'de> for Operator
impl<'de> Deserialize<'de> for Operator
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PartialEq for Operator
impl PartialEq for Operator
impl Copy for Operator
impl Eq for Operator
impl StructuralEq for Operator
impl StructuralPartialEq for Operator
Auto Trait Implementations§
impl RefUnwindSafe for Operator
impl Send for Operator
impl Sync for Operator
impl Unpin for Operator
impl UnwindSafe for Operator
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