pub struct TableEq {
pub lhs: Ref<MechTable>,
pub rhs: Ref<MechTable>,
pub out: Ref<bool>,
}Fields§
§lhs: Ref<MechTable>§rhs: Ref<MechTable>§out: Ref<bool>Trait Implementations§
Source§impl MechFunctionCompiler for TableEq
Available on crate features table and compiler only.
impl MechFunctionCompiler for TableEq
Available on crate features
table and compiler only.Source§impl MechFunctionFactory for TableEq
impl MechFunctionFactory for TableEq
fn new(args: FunctionArgs) -> MResult<Box<dyn MechFunction>>
Auto Trait Implementations§
impl Freeze for TableEq
impl !RefUnwindSafe for TableEq
impl !Send for TableEq
impl !Sync for TableEq
impl Unpin for TableEq
impl UnsafeUnpin for TableEq
impl !UnwindSafe for TableEq
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<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.