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 for Binding<E, C>
impl<E: PartialEq, C: PartialEq> PartialEq 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>
impl<E, C> Sync for Binding<E, C>
impl<E, C> Unpin for Binding<E, C>
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
§impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
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
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§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.§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.source§impl<T> DowncastArc for T
impl<T> DowncastArc for T
§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§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<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
Compare self to
key
and return true
if they are equal.