Struct Method 

pub struct Method {
    pub name: Name,
    pub ty: Expr,
    pub has_default: bool,
    pub index: usize,
}

A single method belonging to a type class.

Fields

name: Name

Name of the method.

ty: Expr

Type signature of the method (as a kernel expression).

has_default: bool

Whether the method has a default implementation.

index: usize

Index of this method in the class declaration (0-based).

Implementations

impl Method

pub fn new(name: Name, ty: Expr, index: usize) -> Self

Create a new method without a default implementation.

pub fn with_default(name: Name, ty: Expr, index: usize) -> Self

Create a method that has a default implementation.

pub fn set_default(self) -> Self

Return a copy marked as having a default.

Trait Implementations

impl Clone for Method

fn clone(&self) -> Method

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Method

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

Formats the value using the given formatter.