Enum erg_compiler::hir::Expr

pub enum Expr {
    Lit(Literal),
    Accessor(Accessor),
    Array(Array),
    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

Lit(Literal)

Accessor(Accessor)

Array(Array)

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 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_type_asc(&self) -> bool

pub fn is_doc_comment(&self) -> bool

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

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

pub fn call_expr(self, args: Args) -> 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

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 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) -> &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>

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

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

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<Expr> 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, Global>

fn extend<I>(&mut self, iter: I)where I: IntoIterator<Item = T>,

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, Global>

fn extend<I>(&mut self, iter: I)where I: IntoIterator<Item = T>,

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, Global>

fn extend<I>(&mut self, iter: I)where I: IntoIterator<Item = T>,

impl Eq for Expr

impl StructuralEq for Expr

impl StructuralPartialEq for Expr