Struct kailua_types::ty::DisplayState

pub struct DisplayState<'a> {
    pub locale: Locale,
    pub context: &'a TypeContext,
    // some fields omitted
}

A display state to catch recursive types and handle display hints.

Fields

locale: Locale

A message locale.

context: &'a TypeContext

An associated type context.

Methods

impl<'a> DisplayState<'a>

fn new(f: &Formatter, locale: Locale, ctx: &'a TypeContext) -> DisplayState<'a>

fn is_top_level(&self) -> bool

fn can_recurse(&self) -> bool

fn is_slot_seen(&self, slot: &S) -> bool

fn is_tvar_seen(&self, tvar: TVar) -> bool

fn is_rvar_seen(&self, rvar: RVar) -> bool

fn unmark_slot(&self, slot: &S)

fn unmark_tvar(&self, tvar: TVar)

fn unmark_rvar(&self, rvar: RVar)

fn disambiguator(&self, name: &Spanned<Name>) -> Disambiguator