Struct MethodSig 

pub struct MethodSig {
    pub name: Arc<str>,
    pub params: Vec<(Arc<str>, Ty)>,
    pub ret: Ty,
    pub effects: Vec<Effect>,
}

Fields

name: Arc<str>

params: Vec<(Arc<str>, Ty)>

Parameter names and types, with the abstract receiver as Ty::con("Self").

ret: Ty

effects: Vec<Effect>

The declared row — the bound every implementation is held to (docs/37 §37.5), and therefore what a caller in another module may assume.

Trait Implementations

impl Clone for MethodSig

fn clone(&self) -> MethodSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MethodSig

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

Formats the value using the given formatter.

impl PartialEq for MethodSig

fn eq(&self, other: &MethodSig) -> 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 Eq for MethodSig

impl StructuralPartialEq for MethodSig