Trait proc_macro::bridge::Mark

trait Mark {
    type Unmarked;

    // Required method
    fn mark(unmarked: Self::Unmarked) -> Self;
}

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

Helper to wrap associated types to allow trait impl dispatch. That is, normally a pair of impls for T::Foo and T::Bar can overlap, but if the impls are, instead, on types like Marked<T::Foo, Foo> and Marked<T::Bar, Bar>, they can’t.

Required Associated Types

type Unmarked

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

Required Methods

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

Implementations on Foreign Types

impl<T: Mark> Mark for Bound<T>

type Unmarked = Bound<<T as Mark>::Unmarked>

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl<T: Mark> Mark for Range<T>

type Unmarked = Range<<T as Mark>::Unmarked>

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl<T: Mark, E: Mark> Mark for Result<T, E>

type Unmarked = Result<<T as Mark>::Unmarked, <E as Mark>::Unmarked>

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for u8

type Unmarked = u8

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for char

type Unmarked = char

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl<T: Mark> Mark for Option<T>

type Unmarked = Option<<T as Mark>::Unmarked>

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for bool

type Unmarked = bool

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for ()

type Unmarked = ()

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl<T: Mark> Mark for Vec<T>

type Unmarked = Vec<<T as Mark>::Unmarked, Global>

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for String

type Unmarked = String

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for &str

type Unmarked = &str

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for usize

type Unmarked = usize

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

impl Mark for &[u8]

type Unmarked = &[u8]

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

fn mark(unmarked: Self::Unmarked) -> Self

🔬This is a nightly-only experimental API. (proc_macro_internals #27812)

Implementors

impl Mark for Level

type Unmarked = Level

impl Mark for Delimiter

type Unmarked = Delimiter

impl Mark for Spacing

type Unmarked = Spacing

impl Mark for LitKind

type Unmarked = LitKind

impl<Sp: Mark, Sy: Mark> Mark for Literal<Sp, Sy>

type Unmarked = Literal<<Sp as Mark>::Unmarked, <Sy as Mark>::Unmarked>

impl<Span: Mark> Mark for DelimSpan<Span>

type Unmarked = DelimSpan<<Span as Mark>::Unmarked>

impl<Span: Mark> Mark for Diagnostic<Span>

type Unmarked = Diagnostic<<Span as Mark>::Unmarked>

impl<Span: Mark> Mark for ExpnGlobals<Span>

type Unmarked = ExpnGlobals<<Span as Mark>::Unmarked>

impl<Span: Mark> Mark for Punct<Span>

type Unmarked = Punct<<Span as Mark>::Unmarked>

impl<Span: Mark, Symbol: Mark> Mark for Ident<Span, Symbol>

type Unmarked = Ident<<Span as Mark>::Unmarked, <Symbol as Mark>::Unmarked>

impl<T, M> Mark for Marked<T, M>

type Unmarked = T

impl<TokenStream: Mark, Span: Mark> Mark for Group<TokenStream, Span>

type Unmarked = Group<<TokenStream as Mark>::Unmarked, <Span as Mark>::Unmarked>

impl<TokenStream: Mark, Span: Mark, Symbol: Mark> Mark for TokenTree<TokenStream, Span, Symbol>

type Unmarked = TokenTree<<TokenStream as Mark>::Unmarked, <Span as Mark>::Unmarked, <Symbol as Mark>::Unmarked>