Struct Spanned 

pub struct Spanned {
    pub span: Span,
    pub form: SpannedForm,
}

An S-expression node with source position.

Fields

span: Span

form: SpannedForm

Implementations

impl Spanned

pub fn new(span: Span, form: SpannedForm) -> Spanned

pub fn synthetic_nil() -> Spanned

Synthetic nil — useful as a placeholder in macro expansion when no real span is available.

pub fn to_sexp(&self) -> Sexp

Project away span information. Allocates a full Sexp tree.

pub fn from_sexp_synthetic(s: &Sexp) -> Spanned

Lift a plain Sexp to a Spanned with every node marked synthetic. Useful when a macro template generates literal structure that has no user-source origin.

pub fn from_sexp_at(s: &Sexp, span: Span) -> Spanned

Lift a plain Sexp to a Spanned with every node assigned the given span. Used by the expander to stamp macro-generated subtrees with the call-site span so errors point somewhere useful.

pub fn is_list(&self) -> bool

pub fn as_list(&self) -> Option<&[Spanned]>

pub fn as_symbol(&self) -> Option<&str>

pub fn as_keyword(&self) -> Option<&str>

pub fn as_string(&self) -> Option<&str>

pub fn as_int(&self) -> Option<i64>

Trait Implementations

impl Clone for Spanned

fn clone(&self) -> Spanned

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Spanned

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

Formats the value using the given formatter.

impl MacroArgCarrier for Spanned

type Site = Span

The macro CALL SITE. A value the call never supplied — an unfilled &optional slot’s default form, or the synthesized &rest list — has no source position of its own, so it wears the span of the call that caused it to exist. That is the position an error about such a value should point at.

fn lift_default(default: &Sexp, site: Span) -> Spanned

Lift a template-authored default form into this carrier, for an &optional slot the call left unfilled.

fn collect_rest(items: Vec<Spanned>, site: Span) -> Spanned

Collect the &rest surplus into one carrier value.

impl PartialEq for Spanned

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Spanned