Trait 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<'_>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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