Enum kailua_types::ty::DisplayName

pub enum DisplayName {
    Type(Spanned<Name>),
    Var(Spanned<Name>),
}

A display name associated to the type or a portion of the type (in the Unioned).

Variants

Type(Spanned<Name>)

The type originates from a type name.

This is always displayed, but an option can be used to ignore it on the top-level. Currently the option is enabled for printing a type from the hover help.

Var(Spanned<Name>)

The type originates from a variable.

This is a weak hint, as this is only useful when the containing type is complex enough that any hint will be useful. Type names will override this hint.

Methods

impl DisplayName

fn can_override(&self, prev: &DisplayName) -> bool

Trait Implementations

impl Clone for DisplayName

fn clone(&self) -> DisplayName

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DisplayName

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for DisplayName

fn eq(&self, other: &DisplayName) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Display for DisplayName

fn fmt_displayed(&self, f: &mut Formatter, st: &DisplayState) -> Result

fn display<'b, C>(&'b self, ctx: C) -> Displayed<'b, Self, C>