Trait move_lang::shared::TName

pub trait TName: Eq + Ord + Clone {
    type Key: Ord + Clone;
    type Loc: Copy;

    // Required methods
    fn drop_loc(self) -> (Self::Loc, Self::Key);
    fn add_loc(loc: Self::Loc, key: Self::Key) -> Self;
    fn borrow(&self) -> (&Self::Loc, &Self::Key);
}

Required Associated Types

type Key: Ord + Clone

type Loc: Copy

Required Methods

fn drop_loc(self) -> (Self::Loc, Self::Key)

fn add_loc(loc: Self::Loc, key: Self::Key) -> Self

fn borrow(&self) -> (&Self::Loc, &Self::Key)

Implementors

impl TName for ConstantName

type Key = Symbol

type Loc = Loc

impl TName for Field

type Key = Symbol

type Loc = Loc

impl TName for FunctionName

type Key = Symbol

type Loc = Loc

impl TName for ModuleName

type Key = Symbol

type Loc = Loc

impl TName for StructName

type Key = Symbol

type Loc = Loc

impl TName for Var

type Key = Symbol

type Loc = Loc

impl TName for move_lang::expansion::ast::ModuleIdent

type Key = ModuleIdent_

type Loc = Loc

impl TName for Ability

type Key = Ability_

type Loc = Loc

impl TName for move_lang::parser::ast::ModuleIdent

type Key = ModuleIdent_

type Loc = Loc

impl TName for Name

type Key = Symbol

type Loc = Loc