liquid_fixpoint

Trait FixpointFmt

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

    // Provided method
    fn display(&self) -> impl Display { ... }
}

Required Methods§

Source

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

Provided Methods§

Source

fn display(&self) -> impl Display

Returns a type that implements fmt::Display using this FixpointFmt::fmt implementation.

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 FixpointFmt for i128

Source§

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

Source§

impl FixpointFmt for String

Source§

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

Implementors§