Trait Pretty

pub trait Pretty {
    // Required method
    fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result;

    // Provided method
    fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_, '_> { ... }
}

Required Methods

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

Provided Methods

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_, '_>

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.

Implementations on Foreign Types

impl Pretty for ValTree

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl Pretty for UnevaluatedConst

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl Pretty for String

fn fmt(&self, _cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl Pretty for DefId

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl Pretty for Span

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl Pretty for FieldIdx

fn fmt(&self, _cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl<T: Pretty + Internable> Pretty for Interned<T>

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

impl<T: Pretty + ?Sized> Pretty for &T

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

Implementors

impl Pretty for CanonicalTy

impl Pretty for BaseTy

impl Pretty for BoundRegionKind

impl Pretty for BvSize

impl Pretty for ClauseKind

impl Pretty for Ensures

impl Pretty for ExistentialPredicate

impl Pretty for GenericArg

impl Pretty for PtrKind

impl Pretty for Region

impl Pretty for Sort

impl Pretty for SortArg

impl Pretty for SortCtor

impl Pretty for SortInfer

impl Pretty for BinOp

impl Pretty for Constant

impl Pretty for Loc

impl Pretty for UnOp

impl Pretty for Var

impl Pretty for Binder<FnOutput>

impl Pretty for CanonicalConstrTy

impl Pretty for AliasReft

impl Pretty for Expr

impl Pretty for KVar

impl Pretty for Lambda

impl Pretty for Path

impl Pretty for IdxFmt

impl Pretty for Const

impl Pretty for DebruijnIndex

impl Pretty for ExistentialProjection

impl Pretty for ExistentialTraitRef

impl Pretty for FnOutput

impl Pretty for FnSig

impl Pretty for FuncSort

impl Pretty for PolyFuncSort

impl Pretty for SubsetTy

impl Pretty for Ty

impl Pretty for VariantSig

impl Pretty for List<Ty>

impl Pretty for PolyFnSig

impl<T> Pretty for Binder<T>

where T: Pretty,

impl<T> Pretty for Parens<'_, T>

where T: Pretty,

impl<T, I> Pretty for Join<'_, I>

where T: Pretty, I: Iterator<Item = T>,

impl<T: Pretty> Pretty for FieldBind<T>