Trait chalk_solve::display::render_trait::RenderAsRust

pub(super) trait RenderAsRust<I: Interner> {
    // Required method
    fn fmt(
        &self,
        s: &InternalWriterState<'_, I>,
        f: &mut Formatter<'_>,
    ) -> Result;

    // Provided method
    fn display<'a>(
        &'a self,
        s: &'a InternalWriterState<'a, I>,
    ) -> DisplayRenderAsRust<'a, I, Self>
       where Self: Sized { ... }
}

Required Methods

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

Provided Methods

fn display<'a>( &'a self, s: &'a InternalWriterState<'a, I>, ) -> DisplayRenderAsRust<'a, I, Self>

where Self: Sized,

Implementations on Foreign Types

impl<'a, I: Interner> RenderAsRust<I> for (&'a CoroutineDatum<I>, &'a CoroutineWitnessDatum<I>)

fn fmt(&self, _s: &InternalWriterState<'_, I>, _f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for AliasTy<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for ConstValue<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for GenericArgData<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for LifetimeData<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for Scalar

fn fmt(&self, _s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for TyKind<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for WhereClause<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for AdtId<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for AliasEq<I>

This renders AliasEq as a clause in a where clause, as opposed to its usage in other places.

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for AssocTypeId<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for Const<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for ConstData<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for FnPointer<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for GenericArg<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for Lifetime<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for LifetimeOutlives<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for OpaqueTy<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for OpaqueTyId<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for ProjectionTy<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for TraitId<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for TraitRef<I>

This renders TraitRef as a clause in a where clause, as opposed to its usage in other places.

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for Ty<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for TypeOutlives<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for Vec<QuantifiedWhereClause<I>>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

impl<I: Interner> RenderAsRust<I> for QuantifiedWhereClause<I>

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

Implementors

impl<I: Interner> RenderAsRust<I> for InlineBound<I>

impl<I: Interner> RenderAsRust<I> for Polarity

impl<I: Interner> RenderAsRust<I> for AdtDatum<I>

impl<I: Interner> RenderAsRust<I> for AliasEqBound<I>

impl<I: Interner> RenderAsRust<I> for AssociatedTyDatum<I>

impl<I: Interner> RenderAsRust<I> for AssociatedTyValue<I>

impl<I: Interner> RenderAsRust<I> for FnDefDatum<I>

impl<I: Interner> RenderAsRust<I> for ImplDatum<I>

impl<I: Interner> RenderAsRust<I> for OpaqueTyDatum<I>

impl<I: Interner> RenderAsRust<I> for TraitBound<I>

impl<I: Interner> RenderAsRust<I> for TraitDatum<I>

impl<I: Interner> RenderAsRust<I> for QuantifiedInlineBound<I>