Trait Term

pub trait Term<F: Func + ?Sized> {
    type Target: Target<F>;

    // Required methods
    fn targets<'a>(&'a self) -> Box<dyn Iterator<Item = &'a Self::Target> + 'a>
       where F: 'a;
    fn targets_mut<'a>(
        &'a mut self,
    ) -> Box<dyn Iterator<Item = &'a mut Self::Target> + 'a>
       where F: 'a;
}

Required Associated Types

type Target: Target<F>

Required Methods

fn targets<'a>(&'a self) -> Box<dyn Iterator<Item = &'a Self::Target> + 'a>

where F: 'a,

fn targets_mut<'a>( &'a mut self, ) -> Box<dyn Iterator<Item = &'a mut Self::Target> + 'a>

where F: 'a,

Implementations on Foreign Types

impl<F: Func + ?Sized, T: Target<F>, A: Term<F, Target = T>, B: Term<F, Target = T>> Term<F> for Either<A, B>

type Target = T

fn targets<'a>(&'a self) -> Box<dyn Iterator<Item = &'a T> + 'a>

where F: 'a,

fn targets_mut<'a>(&'a mut self) -> Box<dyn Iterator<Item = &'a mut T> + 'a>

where F: 'a,

Implementors