Enum Expr 

pub enum Expr {
    Bool(Span, bool),
    Uint(Span, u64),
    Int(Span, i64),
    Float(Span, f64),
    String(Span, String),
    Uuid(Span, Uuid),
    DateTime(Span, DateTime<Utc>),
    Hole(Span),
    Tuple(Span, Vec<Arc<Expr>>),
    List(Span, Vec<Arc<Expr>>),
    Dict(Span, BTreeMap<Symbol, Arc<Expr>>),
    RecordUpdate(Span, Arc<Expr>, BTreeMap<Symbol, Arc<Expr>>),
    Var(Var),
    App(Span, Arc<Expr>, Arc<Expr>),
    Project(Span, Arc<Expr>, Symbol),
    Lam(Span, Scope, Var, Option<TypeExpr>, Vec<TypeConstraint>, Arc<Expr>),
    Let(Span, Var, Option<TypeExpr>, Arc<Expr>, Arc<Expr>),
    LetRec(Span, Vec<(Var, Option<TypeExpr>, Arc<Expr>)>, Arc<Expr>),
    Ite(Span, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    Match(Span, Arc<Expr>, Vec<(Pattern, Arc<Expr>)>),
    Ann(Span, Arc<Expr>, TypeExpr),
}

Variants

Bool(Span, bool)

Uint(Span, u64)

Int(Span, i64)

Float(Span, f64)

String(Span, String)

Uuid(Span, Uuid)

DateTime(Span, DateTime<Utc>)

Hole(Span)

Tuple(Span, Vec<Arc<Expr>>)

List(Span, Vec<Arc<Expr>>)

Dict(Span, BTreeMap<Symbol, Arc<Expr>>)

RecordUpdate(Span, Arc<Expr>, BTreeMap<Symbol, Arc<Expr>>)

Var(Var)

App(Span, Arc<Expr>, Arc<Expr>)

Project(Span, Arc<Expr>, Symbol)

Lam(Span, Scope, Var, Option<TypeExpr>, Vec<TypeConstraint>, Arc<Expr>)

Let(Span, Var, Option<TypeExpr>, Arc<Expr>, Arc<Expr>)

LetRec(Span, Vec<(Var, Option<TypeExpr>, Arc<Expr>)>, Arc<Expr>)

Ite(Span, Arc<Expr>, Arc<Expr>, Arc<Expr>)

Match(Span, Arc<Expr>, Vec<(Pattern, Arc<Expr>)>)

Ann(Span, Arc<Expr>, TypeExpr)

Implementations

impl Expr

pub fn span(&self) -> &Span

pub fn span_mut(&mut self) -> &mut Span

pub fn with_span_begin_end(&self, begin: Position, end: Position) -> Expr

pub fn with_span_begin(&self, begin: Position) -> Expr

pub fn with_span_end(&self, end: Position) -> Expr

pub fn with_span(&self, span: Span) -> Expr

pub fn reset_spans(&self) -> Expr

Trait Implementations

impl Debug for Expr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Expr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Expr