Enum gluon_vm::core::interpreter::Binding
source · pub enum Binding<E, C> {
Expr(E),
Closure(C),
}
Variants§
Trait Implementations§
source§impl<'l, 'g, C> From<Reduced<&'l Expr<'l>, Global<CoreExpr>>> for Binding<Reduced<CExpr<'l>, Global<CoreExpr>>, C>
impl<'l, 'g, C> From<Reduced<&'l Expr<'l>, Global<CoreExpr>>> for Binding<Reduced<CExpr<'l>, Global<CoreExpr>>, C>
source§impl<'l, 'g, E> From<Reduced<ClosureRef<'l>, Global<CoreClosure>>> for Binding<E, Reduced<ClosureRef<'l>, Global<CoreClosure>>>
impl<'l, 'g, E> From<Reduced<ClosureRef<'l>, Global<CoreClosure>>> for Binding<E, Reduced<ClosureRef<'l>, Global<CoreClosure>>>
source§fn from(expr: Reduced<ClosureRef<'l>, Global<CoreClosure>>) -> Self
fn from(expr: Reduced<ClosureRef<'l>, Global<CoreClosure>>) -> Self
Converts to this type from the input type.
source§impl<E: PartialEq, C: PartialEq> PartialEq<Binding<E, C>> for Binding<E, C>
impl<E: PartialEq, C: PartialEq> PartialEq<Binding<E, C>> for Binding<E, C>
impl<E: Copy, C: Copy> Copy for Binding<E, C>
impl<E: Eq, C: Eq> Eq for Binding<E, C>
impl<E, C> StructuralEq for Binding<E, C>
impl<E, C> StructuralPartialEq for Binding<E, C>
Auto Trait Implementations§
impl<E, C> RefUnwindSafe for Binding<E, C>where C: RefUnwindSafe, E: RefUnwindSafe,
impl<E, C> Send for Binding<E, C>where C: Send, E: Send,
impl<E, C> Sync for Binding<E, C>where C: Sync, E: Sync,
impl<E, C> Unpin for Binding<E, C>where C: Unpin, E: Unpin,
impl<E, C> UnwindSafe for Binding<E, C>where C: UnwindSafe, E: UnwindSafe,
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<Choices> CoproductSubsetter<CNil, HNil> for Choices
impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere T: Any,
source§fn into_any(self: Box<T, Global>) -> Box<dyn Any, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any, Global>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.source§fn into_any_rc(self: Rc<T, Global>) -> Rc<dyn Any, Global>
fn into_any_rc(self: Rc<T, Global>) -> Rc<dyn Any, Global>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§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<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.