Trait trivial_kernel::context::store::Store[−][src]

pub trait Store {
    type Var: Var;
    fn create_term<T>(
        &mut self, 
        id: u32, 
        args: T, 
        types: &[Self::Var], 
        ret_type: &Self::Var, 
        sort: u8, 
        def: bool
    ) -> KResult<PackedPtr>
    where
        T: IntoIterator<Item = PackedPtr>,
        T: Clone;

    fn alloc_var(&mut self, ty: Self::Var, idx: u16) -> PackedPtr;

    fn alloc_conv(&mut self, l: PackedPtr, r: PackedPtr) -> PackedPtr;

    fn clear(&mut self);

    fn get_type_of_expr(&self, ptr: Ptr) -> Option<&Self::Var>;

    fn get_element(&self, ptr: Ptr) -> Option<ElementRef<'_, Self::Var>>;

    fn get<'a, T: TryFrom<ElementRef<'a, Self::Var>, Error = Kind>>(
        &'a self, 
        ptr: Ptr
    ) -> KResult<T>;
}

Associated Types

type Var: Var[src]

Loading content...

Required methods

fn create_term<T>(
    &mut self,
    id: u32,
    args: T,
    types: &[Self::Var],
    ret_type: &Self::Var,
    sort: u8,
    def: bool
) -> KResult<PackedPtr> where
    T: IntoIterator<Item = PackedPtr>,
    T: Clone, [src]

fn alloc_var(&mut self, ty: Self::Var, idx: u16) -> PackedPtr[src]

fn alloc_conv(&mut self, l: PackedPtr, r: PackedPtr) -> PackedPtr[src]

fn clear(&mut self)[src]

fn get_type_of_expr(&self, ptr: Ptr) -> Option<&Self::Var>[src]

fn get_element(&self, ptr: Ptr) -> Option<ElementRef<'_, Self::Var>>[src]

fn get<'a, T: TryFrom<ElementRef<'a, Self::Var>, Error = Kind>>(
    &'a self,
    ptr: Ptr
) -> KResult<T>[src]

Loading content...

Implementors

impl Store for Store_[src]

type Var = Var_

Loading content...