Struct TypedMethodSig 

pub struct TypedMethodSig {
    pub name: String,
    pub params: Vec<TypedParam>,
    pub ret_ty: QalaType,
    pub effect: EffectSet,
    pub span: Span,
}

one typed method signature in an interface: like a TypedFnDecl without a body and without a type_name. the first parameter is typically self.

Fields

name: String

the method name.

params: Vec<TypedParam>

the typed parameter list; the first is typically self.

ret_ty: QalaType

the resolved return type. void is the resolved-form of an omitted -> T.

effect: EffectSet

the effect set required of any conforming implementation. (an interface method’s is X annotation, or the inferred set when conformance is being checked.)

span: Span

the signature’s source span.

Trait Implementations

impl Clone for TypedMethodSig

fn clone(&self) -> TypedMethodSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedMethodSig

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

Formats the value using the given formatter.

impl PartialEq for TypedMethodSig

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

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

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 StructuralPartialEq for TypedMethodSig