Trait mz_timely_util::antichain::AntichainExt

pub trait AntichainExt {
    type Pretty<'a>: Display
       where Self: 'a;

    // Required method
    fn pretty(&self) -> Self::Pretty<'_>;
}

Required Associated Types

type Pretty<'a>: Display where Self: 'a

Required Methods

fn pretty(&self) -> Self::Pretty<'_>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'a, T: Display> AntichainExt for AntichainRef<'a, T>

type Pretty<'b> = FrontierPrinter<AntichainRef<'a, T>> where Self: 'b

fn pretty(&self) -> Self::Pretty<'a>

impl<T: Display + 'static> AntichainExt for Antichain<T>

type Pretty<'a> = FrontierPrinter<AntichainRef<'a, T>>

fn pretty(&self) -> Self::Pretty<'_>

impl<T: Display + 'static> AntichainExt for MutableAntichain<T>

type Pretty<'a> = FrontierPrinter<AntichainRef<'a, T>>

fn pretty(&self) -> Self::Pretty<'_>

Implementors