Enum SimpleBinding 

pub enum SimpleBinding {
    GlobalBinding(GlobalBinding),
    LocalBinding(LocalBinding),
}

The typed SimpleBinding syntax category.

Variants

GlobalBinding(GlobalBinding)

The GlobalBinding syntax alternative.

LocalBinding(LocalBinding)

The LocalBinding syntax alternative.

Trait Implementations

impl Debug for SimpleBinding

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

Formats the value using the given formatter.

impl From<GlobalBinding> for SimpleBinding

fn from(value: GlobalBinding) -> Self

Converts to this type from the input type.

impl From<LocalBinding> for SimpleBinding

fn from(value: LocalBinding) -> Self

Converts to this type from the input type.

impl From<SimpleBinding> for Assignment

fn from(value: SimpleBinding) -> Self

Converts to this type from the input type.

impl From<SimpleBinding> for Component

fn from(value: SimpleBinding) -> Self

Converts to this type from the input type.

impl From<SimpleBinding> for Expr

fn from(value: SimpleBinding) -> Self

Converts to this type from the input type.

impl Lex for SimpleBinding

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 PrettyTree for SimpleBinding

fn pretty_tree(&self) -> PrettyNode

Builds the presentation node for this syntax value.

impl<N> Reconstruct<N> for SimpleBinding

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 SimpleBinding

fn span(&self) -> Span

Returns the smallest span covering this value.