flux_middle::pretty

Trait Pretty

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

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

Required Methods§

Source

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

Provided Methods§

Source

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§

Source§

impl Pretty for ValTree

Source§

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

Source§

impl Pretty for UnevaluatedConst

Source§

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

Source§

impl Pretty for DefId

Source§

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

Source§

impl Pretty for Span

Source§

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

Source§

impl Pretty for FieldIdx

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Implementors§