Struct Expr

pub struct Expr {
    pub data: ExprKind,
    pub range: Range,
}

Fields

data: ExprKind

range: Range

Implementations

impl Expr

pub fn var(name: Ident) -> Box<Expr>

pub fn all( range: Range, param: Ident, typ: Box<Expr>, body: Box<Expr>, erased: bool, ) -> Box<Expr>

pub fn sub( range: Range, name: Ident, indx: usize, redx: usize, expr: Box<Expr>, ) -> Box<Expr>

pub fn lambda( range: Range, param: Ident, body: Box<Expr>, erased: bool, ) -> Box<Expr>

pub fn identity_lambda(ident: Ident) -> Box<Expr>

pub fn unfold_lambda( irrelev: &[bool], idents: &[Ident], body: Box<Expr>, ) -> Box<Expr>

pub fn unfold_all( irrelev: &[bool], idents: &[(Ident, Box<Expr>)], body: Box<Expr>, ) -> Box<Expr>

pub fn app(range: Range, fun: Box<Expr>, args: Vec<AppBinding>) -> Box<Expr>

pub fn fun( range: Range, name: QualifiedIdent, args: Vec<Box<Expr>>, ) -> Box<Expr>

pub fn ctr( range: Range, name: QualifiedIdent, args: Vec<Box<Expr>>, ) -> Box<Expr>

pub fn let_( range: Range, name: Ident, val: Box<Expr>, next: Box<Expr>, ) -> Box<Expr>

pub fn ann(range: Range, expr: Box<Expr>, typ: Box<Expr>) -> Box<Expr>

pub fn typ(range: Range) -> Box<Expr>

pub fn type_u60(range: Range) -> Box<Expr>

pub fn type_f60(range: Range) -> Box<Expr>

pub fn num_u60(range: Range, numb: u64) -> Box<Expr>

pub fn num_u120(range: Range, numb: u128) -> Box<Expr>

pub fn num_f60(range: Range, numb: u64) -> Box<Expr>

pub fn binary( range: Range, op: Operator, left: Box<Expr>, right: Box<Expr>, ) -> Box<Expr>

pub fn hole(range: Range, num: u64) -> Box<Expr>

pub fn str(range: Range, val: String) -> Box<Expr>

pub fn hlp(range: Range, hlp: Ident) -> Box<Expr>

pub fn err(range: Range) -> Box<Expr>

impl Expr

pub fn new_var(name: Ident) -> Expr

pub fn traverse_pi_types(&self) -> String

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl Hash for Expr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Expr

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

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

const 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 Eq for Expr

impl StructuralPartialEq for Expr