Enum PrefixOperator 

pub enum PrefixOperator {
    LstLst(_LstLst),
    PipSub(_PipSub),
    LstEqlEqlEql(_LstEqlEqlEql),
    LstEqlEql(_LstEqlEql),
    QsmQsm(_QsmQsm),
    Not(_Not),
    Lst(_Lst),
    LstEql(_LstEql),
    Gst(_Gst),
    GstEql(_GstEql),
    Qsm(_Qsm),
    Tld(_Tld),
    Add(_Add),
    Sub(_Sub),
    Mul(_Mul),
    Hsh(_Hsh),
}

The typed PrefixOperator syntax category.

Variants

LstLst(_LstLst)

The LstLst syntax alternative.

PipSub(_PipSub)

The PipSub syntax alternative.

LstEqlEqlEql(_LstEqlEqlEql)

The LstEqlEqlEql syntax alternative.

LstEqlEql(_LstEqlEql)

The LstEqlEql syntax alternative.

QsmQsm(_QsmQsm)

The QsmQsm syntax alternative.

Not(_Not)

The Not syntax alternative.

Lst(_Lst)

The Lst syntax alternative.

LstEql(_LstEql)

The LstEql syntax alternative.

Gst(_Gst)

The Gst syntax alternative.

GstEql(_GstEql)

The GstEql syntax alternative.

Qsm(_Qsm)

The Qsm syntax alternative.

Tld(_Tld)

The Tld syntax alternative.

Add(_Add)

The Add syntax alternative.

Sub(_Sub)

The Sub syntax alternative.

Mul(_Mul)

The Mul syntax alternative.

Hsh(_Hsh)

The Hsh syntax alternative.

Implementations

impl PrefixOperator

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

Converts a matching raw operator token into this category.

pub fn from_token_tree_with_trivia( token: TokenTree, trailing_trivia: TrailingTrivia, ) -> Option<Self>

Converts a matching raw operator and its following trivia into this category.

pub fn spelling(&self) -> &'static str

Returns the operator’s canonical source spelling.

Examples found in repository

examples/type_inference.rs (line 219)

    fn visit_expr_op_prefix(&mut self, node: &'ast ExprOpPrefix) {
        visit::visit_expr_op_prefix(self, node);
        let operand = self.inferred(node.operand.as_ref());
        let result = match node.operator.spelling() {
            "not" => M2Class::Boolean,
            "+" | "-" => operand,
            _ => M2Class::Thing,
        };
        self.record(node, result);
    }

Trait Implementations

impl Debug for PrefixOperator

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

Formats the value using the given formatter.

impl From<_Add> for PrefixOperator

fn from(value: _Add) -> Self

Converts to this type from the input type.

impl From<_Gst> for PrefixOperator

fn from(value: _Gst) -> Self

Converts to this type from the input type.

impl From<_GstEql> for PrefixOperator

fn from(value: _GstEql) -> Self

Converts to this type from the input type.

impl From<_Hsh> for PrefixOperator

fn from(value: _Hsh) -> Self

Converts to this type from the input type.

impl From<_Lst> for PrefixOperator

fn from(value: _Lst) -> Self

Converts to this type from the input type.

impl From<_LstEql> for PrefixOperator

fn from(value: _LstEql) -> Self

Converts to this type from the input type.

impl From<_LstEqlEql> for PrefixOperator

fn from(value: _LstEqlEql) -> Self

Converts to this type from the input type.

impl From<_LstEqlEqlEql> for PrefixOperator

fn from(value: _LstEqlEqlEql) -> Self

Converts to this type from the input type.

impl From<_LstLst> for PrefixOperator

fn from(value: _LstLst) -> Self

Converts to this type from the input type.

impl From<_Mul> for PrefixOperator

fn from(value: _Mul) -> Self

Converts to this type from the input type.

impl From<_Not> for PrefixOperator

fn from(value: _Not) -> Self

Converts to this type from the input type.

impl From<_PipSub> for PrefixOperator

fn from(value: _PipSub) -> Self

Converts to this type from the input type.

impl From<_Qsm> for PrefixOperator

fn from(value: _Qsm) -> Self

Converts to this type from the input type.

impl From<_QsmQsm> for PrefixOperator

fn from(value: _QsmQsm) -> Self

Converts to this type from the input type.

impl From<_Sub> for PrefixOperator

fn from(value: _Sub) -> Self

Converts to this type from the input type.

impl From<_Tld> for PrefixOperator

fn from(value: _Tld) -> Self

Converts to this type from the input type.

impl Lex for PrefixOperator

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<N> Migrate<N> for PrefixOperator

where N: ExternalCstNode,

fn matches(node: &N) -> bool

Reports whether node can migrate this typed value.

fn migrate(node: N) -> Result<Self, MigrateError>

Converts a matching external node into typed syntax.

impl PrettyTree for PrefixOperator

fn pretty_tree(&self) -> PrettyNode

Builds the presentation node for this syntax value.

impl Spanned for PrefixOperator

fn try_span(&self) -> Option<Span>

Returns the smallest span covering this value, when its constituents share one source snapshot.

fn span(&self) -> Span

Returns the smallest span covering this value.

fn expect_span(&self) -> Span

Returns this value’s span when one source snapshot covers it.