[−][src]Struct gluon_base::types::pretty_print::TypeFormatter

pub struct TypeFormatter<'a, I, T, A> where
    I: 'a,
    T: 'a,
    A: 'a,  { /* fields omitted */ }

Implementations

impl<'a, I, T, A> TypeFormatter<'a, I, T, A> where
    I: AsRef<str>, [src]

pub fn new(typ: &'a T) -> Self[src]

impl<'a, I, T, A> TypeFormatter<'a, I, T, A>[src]

pub fn width(self, width: usize) -> Self[src]

pub fn filter(self, filter: &'a dyn Fn(&I) -> Filter) -> Self[src]

pub fn annotate_symbol(
    self,
    annotate_symbol: &'a dyn Fn(&I) -> Option<A>
) -> Self[src]

pub fn symbol_text(self, symbol_text: &'a dyn Fn(&I) -> &str) -> Self[src]

pub fn pretty(&self, arena: &'a Arena<'a, A>) -> DocBuilder<'a, Arena<'a, A>, A> where
    T: TypePtr<Id = I> + HasSpan + HasMetadata + 'a,
    I: AsRef<str>,
    T::SpannedId: AsRef<str> + AsId<I>,
    A: Clone, [src]

pub fn build(
    &self,
    arena: &'a Arena<'a, A>,
    source: &'a dyn Source
) -> Printer<'a, I, A>[src]

Trait Implementations

impl<'a, I, T> Display for TypeFormatter<'a, I, T, ()> where
    T: TypePtr<Id = I> + HasSpan + HasMetadata + 'a,
    T::SpannedId: AsRef<str> + AsId<I>,
    I: AsRef<str>, [src]

Auto Trait Implementations

impl<'a, I, T, A> !RefUnwindSafe for TypeFormatter<'a, I, T, A>

impl<'a, I, T, A> !Send for TypeFormatter<'a, I, T, A>

impl<'a, I, T, A> !Sync for TypeFormatter<'a, I, T, A>

impl<'a, I, T, A> Unpin for TypeFormatter<'a, I, T, A> where
    I: Unpin, 

impl<'a, I, T, A> !UnwindSafe for TypeFormatter<'a, I, T, A>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<Id> AsId<Id> for Id where
    Id: ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToString for T where
    T: Display + ?Sized, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.