Struct _ElapsedTime 

pub struct _ElapsedTime { /* private fields */ }

The typed Token![elapsedTime] atom.

Trait Implementations

impl Clone for _ElapsedTime

fn clone(&self) -> _ElapsedTime

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for _ElapsedTime

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for _ElapsedTime

impl From<_ElapsedTime> for ProfilingModifier

fn from(value: _ElapsedTime) -> Self

Converts to this type from the input type.

impl Lex for _ElapsedTime

fn to_tokens(&self, output: &mut TokenStream)

Appends this value’s token trees to output.

fn to_token_stream(&self) -> TokenStream

Emits this value into a fresh token stream.

fn to_m2(&self) -> String

Renders this value as normalized Macaulay2 source.

impl Parse for _ElapsedTime

fn parse(input: &mut ParseStream) -> Result<Self, TokenParseError>

Consumes this value from input.

impl PartialEq for _ElapsedTime

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

Equality operator ==.

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

Inequality operator !=.

impl PrettyTree for _ElapsedTime

fn pretty_tree(&self) -> PrettyNode

Builds the presentation node for this syntax value.

impl<N> Reconstruct<N> for _ElapsedTime

where N: ExternalCstNode,

fn matches(node: &N) -> bool

Reports whether node can reconstruct this typed value.

fn reconstruct(node: N) -> Result<Self, ReconstructError>

Converts a matching external node into typed syntax.

impl Spanned for _ElapsedTime

fn span(&self) -> Span

Returns the smallest span covering this value.

impl StructuralPartialEq for _ElapsedTime

impl Token for _ElapsedTime

const SPELLING: &'static str = "elapsedTime"

Canonical spelling used in diagnostics and freshly constructed atoms.

fn matches_token_tree(token: &TokenTree) -> bool

Tests whether a raw atom belongs to this closed token type.

fn from_token_tree(token: TokenTree) -> Option<Self>

Validates and retains a raw atom as this typed token.