Method span

leanr-syntax/src/ast.rs:207–223

Get the span of this expression

(&self)

impl Expr {
    /// Get the span of this expression
    pub fn span(&self) -> Span {
        match self {
            Expr::Ident(i) => i.span,
            Expr::Lit(l) => l.span,
            Expr::App { span, .. } => *span,
            Expr::Lam { span, .. } => *span,
            Expr::Forall { span, .. } => *span,
            Expr::Arrow { span, .. } => *span,
            Expr::Let { span, .. } => *span,
            Expr::Match { span, .. } => *span,
            Expr::If { span, .. } => *span,
            Expr::Ann { span, .. } => *span,
            Expr::Hole { span } => *span,
            Expr::Universe { span, .. } => *span,
            Expr::Paren { span, .. } => *span,
        }
    }
}

/// Literal expression