Struct erg_compiler::hir::Call
source · [−]pub struct Call {
pub obj: Box<Expr>,
pub method_name: Option<Identifier>,
pub args: Args,
pub sig_t: Type,
}
Fields
obj: Box<Expr>
method_name: Option<Identifier>
args: Args
sig_t: Type
全体の型(引数自体の型は関係ない)、e.g. abs(-1)
-> Neg -> Nat
Implementations
Trait Implementations
sourceimpl HasType for Call
impl HasType for Call
fn ref_t(&self) -> &Type
fn ref_mut_t(&mut self) -> &mut Type
fn lhs_t(&self) -> &Type
fn rhs_t(&self) -> &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, Global>
sourceimpl Locational for Call
impl Locational for Call
Auto Trait Implementations
impl !RefUnwindSafe for Call
impl !Send for Call
impl !Sync for Call
impl Unpin for Call
impl !UnwindSafe for Call
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more