Enum erg_compiler::hir::Expr

pub enum Expr {
    Literal(Literal),
    Accessor(Accessor),
    List(List),
    Tuple(Tuple),
    Set(Set),
    Dict(Dict),
    Record(Record),
    BinOp(BinOp),
    UnaryOp(UnaryOp),
    Call(Call),
    Lambda(Lambda),
    Def(Def),
    ClassDef(ClassDef),
    PatchDef(PatchDef),
    ReDef(ReDef),
    TypeAsc(TypeAscription),
    Code(Block),
    Compound(Block),
    Import(Accessor),
    Dummy(Dummy),
}

Variants

Literal(Literal)

Accessor(Accessor)

List(List)

Tuple(Tuple)

Set(Set)

Dict(Dict)

Record(Record)

BinOp(BinOp)

UnaryOp(UnaryOp)

Call(Call)

Lambda(Lambda)

Def(Def)

ClassDef(ClassDef)

PatchDef(PatchDef)

ReDef(ReDef)

TypeAsc(TypeAscription)

Code(Block)

Compound(Block)

Import(Accessor)

Dummy(Dummy)

Implementations

impl Expr

pub fn receiver_t(&self) -> Option<&Type>

pub fn show_acc(&self) -> Option<String>

pub fn var_info(&self) -> Option<&VarInfo>

pub fn qual_name(&self) -> Option<Str>

参照するオブジェクト自体が持っている名前(e.g. Int.qual_name == Some(“int”), Socket!.qual_name == Some(“io.Socket!”))

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

e.g. Int.local_name == Some(“int”), Socket!.local_name == Some(“Socket!”)

pub fn is_py_api(&self) -> bool

pub fn is_acc(&self) -> bool

pub fn last_name(&self) -> Option<&VarName>

pub fn is_type_asc(&self) -> bool

pub fn is_doc_comment(&self) -> bool

pub const fn name(&self) -> &'static str

pub fn should_wrap(&self) -> bool

pub fn need_to_be_closed(&self) -> bool

pub fn call(self, args: Args) -> Call

pub fn call_expr(self, args: Args) -> Self

pub fn call1(self, expr: Expr) -> Self

pub fn call2(self, expr1: Expr, expr2: Expr) -> Self

pub fn attr(self, ident: Identifier) -> Accessor

pub fn attr_expr(self, ident: Identifier) -> Self

pub fn type_asc(self, t_spec: TypeSpecWithOp) -> TypeAscription

pub fn type_asc_expr(self, t_spec: TypeSpecWithOp) -> Self

pub fn complexity(&self) -> usize

Return the complexity of the expression in terms of type inference. For function calls, type inference is performed sequentially, starting with the least complex argument.

pub fn try_from_type(typ: Type) -> Result<Expr, Type>

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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 Default for Expr

fn default() -> Self

Returns the “default value” for a type.

impl Display for Expr

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

Formats the value using the given formatter.

impl From<Accessor> for Expr

fn from(v: Accessor) -> Self

Converts to this type from the input type.

impl From<BinOp> for Expr

fn from(v: BinOp) -> Self

Converts to this type from the input type.

impl From<Call> for Expr

fn from(v: Call) -> Self

Converts to this type from the input type.

impl From<ClassDef> for Expr

fn from(v: ClassDef) -> Self

Converts to this type from the input type.

impl From<Def> for Expr

fn from(v: Def) -> Self

Converts to this type from the input type.

impl From<Dict> for Expr

fn from(v: Dict) -> Self

Converts to this type from the input type.

impl From<Dummy> for Expr

fn from(v: Dummy) -> Self

Converts to this type from the input type.

impl From<Identifier> for Expr

fn from(ident: Identifier) -> Self

Converts to this type from the input type.

impl From<Lambda> for Expr

fn from(v: Lambda) -> Self

Converts to this type from the input type.

impl From<List> for Expr

fn from(v: List) -> Self

Converts to this type from the input type.

impl From<Literal> for Expr

fn from(v: Literal) -> Self

Converts to this type from the input type.

impl From<PatchDef> for Expr

fn from(v: PatchDef) -> Self

Converts to this type from the input type.

impl From<ReDef> for Expr

fn from(v: ReDef) -> Self

Converts to this type from the input type.

impl From<Record> for Expr

fn from(v: Record) -> Self

Converts to this type from the input type.

impl From<Set> for Expr

fn from(v: Set) -> Self

Converts to this type from the input type.

impl From<Tuple> for Expr

fn from(v: Tuple) -> Self

Converts to this type from the input type.

impl From<UnaryOp> for Expr

fn from(v: UnaryOp) -> Self

Converts to this type from the input type.

impl FromIterator<Expr> for Block

fn from_iter<I: IntoIterator<Item = Expr>>(iter: I) -> Self

Creates a value from an iterator.

impl FromIterator<Expr> for Dummy

fn from_iter<I: IntoIterator<Item = Expr>>(iter: I) -> Self

Creates a value from an iterator.

impl FromIterator<Expr> for Module

fn from_iter<I: IntoIterator<Item = Expr>>(iter: I) -> Self

Creates a value from an iterator.

impl HasType for Expr

fn ref_t(&self) -> &Type

fn ref_mut_t(&mut self) -> Option<&mut Type>

fn signature_t(&self) -> Option<&Type>

fn signature_mut_t(&mut self) -> Option<&mut Type>

fn t(&self) -> Type

fn inner_ts(&self) -> Vec<Type>

fn lhs_t(&self) -> &Type

fn rhs_t(&self) -> &Type

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 Locational for Expr

fn loc(&self) -> Location

NOTE: loc cannot be treated as a light method when self is a large grammatical element. If possible, delay the computation by passing &impl Locational or other means.

fn ln_begin(&self) -> Option<u32>

1-origin

fn ln_end(&self) -> Option<u32>

fn col_begin(&self) -> Option<u32>

0-origin

fn col_end(&self) -> Option<u32>

impl NestedDisplay for Expr

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

impl NoTypeDisplay for Expr

fn to_string_notype(&self) -> String

impl PartialEq for Expr

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Stream<Expr> for Block

fn payload(self) -> Vec<Expr>

fn ref_payload(&self) -> &Vec<Expr>

fn ref_mut_payload(&mut self) -> &mut Vec<Expr>

fn clear(&mut self)

fn len(&self) -> usize

fn size(&self) -> usize

fn is_empty(&self) -> bool

fn insert(&mut self, idx: usize, elem: T)

fn remove(&mut self, idx: usize) -> T

fn push(&mut self, elem: T)

fn append<S>(&mut self, s: &mut S)

where S: Stream<T>,

fn pop(&mut self) -> Option<T>

fn lpop(&mut self) -> Option<T>

fn get(&self, idx: usize) -> Option<&T>

fn get_mut(&mut self, idx: usize) -> Option<&mut T>

fn first(&self) -> Option<&T>

fn first_mut(&mut self) -> Option<&mut T>

fn last(&self) -> Option<&T>

fn last_mut(&mut self) -> Option<&mut T>

fn iter(&self) -> Iter<'_, T>

fn iter_mut(&mut self) -> IterMut<'_, T>

fn take_all(&mut self) -> Vec<T>

fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = T>,

fn split_off(&mut self, at: usize) -> Vec<T>

fn retain(&mut self, f: impl FnMut(&T) -> bool)

Remove all elements that don’t satisfy the predicate.

fn concat(self, other: Self) -> Self

impl Stream<Expr> for Dummy

fn payload(self) -> Vec<Expr>

fn ref_payload(&self) -> &Vec<Expr>

fn ref_mut_payload(&mut self) -> &mut Vec<Expr>

fn clear(&mut self)

fn len(&self) -> usize

fn size(&self) -> usize

fn is_empty(&self) -> bool

fn insert(&mut self, idx: usize, elem: T)

fn remove(&mut self, idx: usize) -> T

fn push(&mut self, elem: T)

fn append<S>(&mut self, s: &mut S)

where S: Stream<T>,

fn pop(&mut self) -> Option<T>

fn lpop(&mut self) -> Option<T>

fn get(&self, idx: usize) -> Option<&T>

fn get_mut(&mut self, idx: usize) -> Option<&mut T>

fn first(&self) -> Option<&T>

fn first_mut(&mut self) -> Option<&mut T>

fn last(&self) -> Option<&T>

fn last_mut(&mut self) -> Option<&mut T>

fn iter(&self) -> Iter<'_, T>

fn iter_mut(&mut self) -> IterMut<'_, T>

fn take_all(&mut self) -> Vec<T>

fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = T>,

fn split_off(&mut self, at: usize) -> Vec<T>

fn retain(&mut self, f: impl FnMut(&T) -> bool)

Remove all elements that don’t satisfy the predicate.

fn concat(self, other: Self) -> Self

impl Stream<Expr> for Module

fn payload(self) -> Vec<Expr>

fn ref_payload(&self) -> &Vec<Expr>

fn ref_mut_payload(&mut self) -> &mut Vec<Expr>

fn clear(&mut self)

fn len(&self) -> usize

fn size(&self) -> usize

fn is_empty(&self) -> bool

fn insert(&mut self, idx: usize, elem: T)

fn remove(&mut self, idx: usize) -> T

fn push(&mut self, elem: T)

fn append<S>(&mut self, s: &mut S)

where S: Stream<T>,

fn pop(&mut self) -> Option<T>

fn lpop(&mut self) -> Option<T>

fn get(&self, idx: usize) -> Option<&T>

fn get_mut(&mut self, idx: usize) -> Option<&mut T>

fn first(&self) -> Option<&T>

fn first_mut(&mut self) -> Option<&mut T>

fn last(&self) -> Option<&T>

fn last_mut(&mut self) -> Option<&mut T>

fn iter(&self) -> Iter<'_, T>

fn iter_mut(&mut self) -> IterMut<'_, T>

fn take_all(&mut self) -> Vec<T>

fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = T>,

fn split_off(&mut self, at: usize) -> Vec<T>

fn retain(&mut self, f: impl FnMut(&T) -> bool)

Remove all elements that don’t satisfy the predicate.

fn concat(self, other: Self) -> Self

impl<'x> TryFrom<&'x Expr> for &'x Accessor

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x BinOp

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Call

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x ClassDef

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Def

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Dict

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Dummy

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Lambda

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x List

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Literal

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x PatchDef

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x ReDef

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Record

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Set

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x Tuple

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl<'x> TryFrom<&'x Expr> for &'x UnaryOp

type Error = &'x Expr

The type returned in the event of a conversion error.

fn try_from(from: &'x Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Accessor

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for BinOp

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Call

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ClassDef

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Def

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Dict

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Dummy

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Lambda

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for List

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Literal

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for PatchDef

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ReDef

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Record

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Set

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Tuple

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for UnaryOp

type Error = Expr

The type returned in the event of a conversion error.

fn try_from(from: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Expr

impl StructuralPartialEq for Expr