Trait CallerBoundsIterator 

pub trait CallerBoundsIterator<I, Iter>
where
    I: Interner,
    Iter: Iterator<Item = <I as Interner>::Clause>,
{
    type Item;

    // Required method
    fn iter(self) -> impl Iterator<Item = Self::Item>;
}

Required Associated Types

type Item

Required Methods

fn iter(self) -> impl Iterator<Item = Self::Item>

Note: likely less efficient than staying in CallerBoundsIterator land.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<I, Iter, P, S, T, O> CallerBoundsIterator<I, Iter> for CallerBoundsAccessor<I, Iter, TraitClauses<I, P, S, T, O>>

where I: Interner, Iter: Iterator<Item = <I as Interner>::Clause>, P: PolarityFilter, S: SelfTyFilter<I>, T: TraitFilter<I>, O: OutputAs<I>,

type Item = <O as OutputAs<I>>::Output

impl<I, Iter> CallerBoundsIterator<I, Iter> for CallerBoundsAccessor<I, Iter, AllClauses>

where I: Interner, Iter: Iterator<Item = <I as Interner>::Clause>,

type Item = <I as Interner>::Clause

impl<I, Iter> CallerBoundsIterator<I, Iter> for CallerBoundsAccessor<I, Iter, NonTraitClauses>

where I: Interner, Iter: Iterator<Item = <I as Interner>::Clause>,

type Item = <I as Interner>::Clause