Struct debris_llir::objects::obj_function::FunctionClass

pub struct FunctionClass {
    pub parameters: Vec<ObjectRef>,
    pub return_class: ObjectRef,
}

Fields

parameters: Vec<ObjectRef>

return_class: ObjectRef

Implementations

impl FunctionClass

pub fn matches(&self, other: &FunctionClass) -> bool

Here a concept of ‘variance’ is required: normal matches on return types, however function parameters have to be matched the other way around: if a: b, then fn(b): fn(a), but not fn(a): fn(b)

pub fn diverges(&self) -> bool

Trait Implementations

impl Debug for FunctionClass

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

Formats the value using the given formatter.

impl Display for FunctionClass

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

Formats the value using the given formatter.

impl PartialEq for FunctionClass

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FunctionClass

impl StructuralEq for FunctionClass

impl StructuralPartialEq for FunctionClass