Struct erg_compiler::hir::SubrSignature
source · pub struct SubrSignature {
pub ident: Identifier,
pub bounds: TypeBoundSpecs,
pub params: Params,
pub return_t_spec: Option<TypeSpecWithOp>,
}
Fields§
§ident: Identifier
§bounds: TypeBoundSpecs
§params: Params
§return_t_spec: Option<TypeSpecWithOp>
Implementations§
source§impl SubrSignature
impl SubrSignature
pub const fn new( ident: Identifier, bounds: TypeBoundSpecs, params: Params, return_t_spec: Option<TypeSpecWithOp> ) -> Self
pub fn is_procedural(&self) -> bool
pub const fn name(&self) -> &VarName
Trait Implementations§
source§impl Clone for SubrSignature
impl Clone for SubrSignature
source§fn clone(&self) -> SubrSignature
fn clone(&self) -> SubrSignature
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for SubrSignature
impl Debug for SubrSignature
source§impl Display for SubrSignature
impl Display for SubrSignature
source§impl HasType for SubrSignature
impl HasType for SubrSignature
fn ref_t(&self) -> &Type
source§fn ref_mut_t(&mut self) -> &mut Type
fn ref_mut_t(&mut self) -> &mut Type
x.ref_mut_t()
may panic, in which case x
is Call
and x.ref_t() == Type::Failure
.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
source§impl Hash for SubrSignature
impl Hash for SubrSignature
source§impl Locational for SubrSignature
impl Locational for SubrSignature
source§fn loc(&self) -> Location
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>
source§impl NestedDisplay for SubrSignature
impl NestedDisplay for SubrSignature
source§impl NoTypeDisplay for SubrSignature
impl NoTypeDisplay for SubrSignature
fn to_string_notype(&self) -> String
source§impl PartialEq<SubrSignature> for SubrSignature
impl PartialEq<SubrSignature> for SubrSignature
source§fn eq(&self, other: &SubrSignature) -> bool
fn eq(&self, other: &SubrSignature) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for SubrSignature
impl StructuralEq for SubrSignature
impl StructuralPartialEq for SubrSignature
Auto Trait Implementations§
impl !RefUnwindSafe for SubrSignature
impl !Send for SubrSignature
impl !Sync for SubrSignature
impl Unpin for SubrSignature
impl !UnwindSafe for SubrSignature
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more