pub enum SyntaxExtensionKind {
Bang(Box<dyn BangProcMacro + DynSync + DynSend>),
LegacyBang(Box<dyn TTMacroExpander + DynSync + DynSend>),
Attr(Box<dyn AttrProcMacro + DynSync + DynSend>),
LegacyAttr(Box<dyn MultiItemModifier + DynSync + DynSend>),
NonMacroAttr,
Derive(Box<dyn MultiItemModifier + DynSync + DynSend>),
LegacyDerive(Box<dyn MultiItemModifier + DynSync + DynSend>),
GlobDelegation(Box<dyn GlobDelegationExpander + DynSync + DynSend>),
}
Expand description
A syntax extension kind.
Variants§
Bang(Box<dyn BangProcMacro + DynSync + DynSend>)
A token-based function-like macro.
Tuple Fields
0: Box<dyn BangProcMacro + DynSync + DynSend>
An expander with signature TokenStream -> TokenStream.
LegacyBang(Box<dyn TTMacroExpander + DynSync + DynSend>)
An AST-based function-like macro.
Tuple Fields
0: Box<dyn TTMacroExpander + DynSync + DynSend>
An expander with signature TokenStream -> AST.
Attr(Box<dyn AttrProcMacro + DynSync + DynSend>)
A token-based attribute macro.
Tuple Fields
0: Box<dyn AttrProcMacro + DynSync + DynSend>
An expander with signature (TokenStream, TokenStream) -> TokenStream. The first TokenStream is the attribute itself, the second is the annotated item. The produced TokenStream replaces the input TokenStream.
LegacyAttr(Box<dyn MultiItemModifier + DynSync + DynSend>)
An AST-based attribute macro.
Tuple Fields
0: Box<dyn MultiItemModifier + DynSync + DynSend>
An expander with signature (AST, AST) -> AST. The first AST fragment is the attribute itself, the second is the annotated item. The produced AST fragment replaces the input AST fragment.
NonMacroAttr
A trivial attribute “macro” that does nothing, only keeps the attribute and marks it as inert, thus making it ineligible for further expansion.
Derive(Box<dyn MultiItemModifier + DynSync + DynSend>)
A token-based derive macro.
Tuple Fields
0: Box<dyn MultiItemModifier + DynSync + DynSend>
An expander with signature TokenStream -> TokenStream. The produced TokenStream is appended to the input TokenStream.
FIXME: The text above describes how this should work. Currently it
is handled identically to LegacyDerive
. It should be migrated to
a token-based representation like Bang
and Attr
, instead of
using MultiItemModifier
.
LegacyDerive(Box<dyn MultiItemModifier + DynSync + DynSend>)
An AST-based derive macro.
Tuple Fields
0: Box<dyn MultiItemModifier + DynSync + DynSend>
An expander with signature AST -> AST. The produced AST fragment is appended to the input AST fragment.
GlobDelegation(Box<dyn GlobDelegationExpander + DynSync + DynSend>)
A glob delegation.
Auto Trait Implementations§
impl DynSend for SyntaxExtensionKind
impl DynSync for SyntaxExtensionKind
impl Freeze for SyntaxExtensionKind
impl !RefUnwindSafe for SyntaxExtensionKind
impl !Send for SyntaxExtensionKind
impl !Sync for SyntaxExtensionKind
impl Unpin for SyntaxExtensionKind
impl !UnwindSafe for SyntaxExtensionKind
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes
Size for each variant:
Bang
: 16 bytesLegacyBang
: 16 bytesAttr
: 16 bytesLegacyAttr
: 16 bytesNonMacroAttr
: 0 bytesDerive
: 16 bytesLegacyDerive
: 16 bytesGlobDelegation
: 16 bytes