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", so 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