Enum trivial_kernel::context::store::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 of Variable

ty: &'a Tyvar: &'a u16

Term

Fields of Term

ty: &'a Tyid: &'a u32args: &'a [PackedPtr]

Conv

Convertability proof

Fields of Conv

e1: &'a PackedPtre2: &'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.

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> 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: 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.