Trait BoundTerm 

pub trait BoundTerm<'db>:
    Update
    + Subst<'db, Output = Self>
    + Sized {
    type BoundTerm: BoundTerm<'db, LeafTerm = Self::LeafTerm>;
    type LeafTerm: Subst<'db, Output = Self::LeafTerm>;

    const BINDER_LEVELS: usize;

    // Required methods
    fn bind(
        db: &'db dyn Db,
        symbols_to_bind: &mut dyn Iterator<Item = Vec<SymVariable<'db>>>,
        leaf_value: Self::LeafTerm,
    ) -> Self;
    fn as_binder(
        &self,
    ) -> Result<&Binder<'db, Self::BoundTerm>, &Self::LeafTerm>;
}

A value that can appear in a binder

Required Associated Constants

const BINDER_LEVELS: usize

Required Associated Types

type BoundTerm: BoundTerm<'db, LeafTerm = Self::LeafTerm>

type LeafTerm: Subst<'db, Output = Self::LeafTerm>

Required Methods

fn bind( db: &'db dyn Db, symbols_to_bind: &mut dyn Iterator<Item = Vec<SymVariable<'db>>>, leaf_value: Self::LeafTerm, ) -> Self

fn as_binder(&self) -> Result<&Binder<'db, Self::BoundTerm>, &Self::LeafTerm>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'db, T> BoundTerm<'db> for Binder<'db, T>

where T: BoundTerm<'db>,

const BINDER_LEVELS: usize

type BoundTerm = T

type LeafTerm = <T as BoundTerm<'db>>::LeafTerm

impl<'db, T> BoundTerm<'db> for T

where T: LeafBoundTerm<'db>,

const BINDER_LEVELS: usize = 0

type BoundTerm = NeverBinder<T>

type LeafTerm = T

impl<'db, T: Subst<'db, Output = T>> BoundTerm<'db> for NeverBinder<T>

const BINDER_LEVELS: usize = 0

type BoundTerm = NeverBinder<T>

type LeafTerm = T