Trait Refine

pub trait Refine {
    type Output;

    // Required method
    fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Self::Output>;
}

Required Associated Types

type Output

Required Methods

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Self::Output>

Implementations on Foreign Types

impl Refine for ClauseKind

type Output = ClauseKind

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<ClauseKind>

impl Refine for ExistentialPredicate

type Output = ExistentialPredicate

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Self::Output>

impl Refine for Clause

type Output = Clause

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Clause>

impl Refine for FnSig

type Output = FnSig

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<FnSig>

impl Refine for GenericPredicates

type Output = GenericPredicates

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<GenericPredicates>

impl Refine for TraitRef

type Output = TraitRef

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<TraitRef>

impl Refine for Ty

type Output = Ty

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Ty>

impl<T> Refine for [T]

where T: Refine<Output: SliceInternable>,

type Output = Interned<[<T as Refine>::Output]>

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<List<T::Output>>

impl<T: Refine> Refine for Binder<T>

type Output = Binder<<T as Refine>::Output>

fn refine(&self, refiner: &Refiner<'_, '_>) -> QueryResult<Binder<T::Output>>

Implementors

impl<T> Refine for List<T>

where T: SliceInternable + Refine<Output: SliceInternable>,

type Output = Interned<[<T as Refine>::Output]>