ElementRef

trivial_kernel::context::store

Enum ElementRef

pub enum ElementRef<'a, Ty> {
    Variable {
        ty: &'a Ty,
        var: &'a u16,
    },
    Term {
        ty: &'a Ty,
        id: &'a u32,
        args: &'a [PackedPtr],
    },
    Conv {
        e1: &'a PackedPtr,
        e2: &'a PackedPtr,
    },
}

Variants§

Variable

Fields

§ty: &'a Ty

§var: &'a u16

Term

Fields

§ty: &'a Ty

§id: &'a u32

§args: &'a [PackedPtr]

Conv

Convertability proof

Fields

§e1: &'a PackedPtr

§e2: &'a PackedPtr

Implementations§

impl<'a, Ty: Var> ElementRef<'a, Ty>

pub fn to_display<'b, S: Store<Var = Ty>>( &'b self, store: &'b S, ) -> DisplayElement<'a, 'b, Ty, S>

Trait Implementations§

impl<'a, Ty: Debug> Debug for ElementRef<'a, Ty>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<'a, Ty> TryFrom<ElementRef<'a, Ty>> for Conv

type Error = Kind

The type returned in the event of a conversion error.

fn try_from(element: ElementRef<'a, Ty>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a, Ty> TryFrom<ElementRef<'a, Ty>> for Term<'a, Ty>

type Error = Kind

The type returned in the event of a conversion error.

fn try_from(element: ElementRef<'a, Ty>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a, Ty: Copy> TryFrom<ElementRef<'a, Ty>> for Variable<Ty>

type Error = Kind

The type returned in the event of a conversion error.

fn try_from(element: ElementRef<'a, Ty>) -> Result<Self, Self::Error>

Performs the conversion.

Auto Trait Implementations§

impl<'a, Ty> Freeze for ElementRef<'a, Ty>

impl<'a, Ty> RefUnwindSafe for ElementRef<'a, Ty>
where Ty: RefUnwindSafe,

impl<'a, Ty> Send for ElementRef<'a, Ty>
where Ty: Sync,

impl<'a, Ty> Sync for ElementRef<'a, Ty>
where Ty: Sync,

impl<'a, Ty> Unpin for ElementRef<'a, Ty>

impl<'a, Ty> UnwindSafe for ElementRef<'a, Ty>
where Ty: RefUnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.