Struct mamba::check::context::function::Function

pub struct Function {
    pub is_py_type: bool,
    pub name: StringName,
    pub self_mutable: Option<bool>,
    pub pure: bool,
    pub arguments: Vec<FunctionArg>,
    pub raises: Name,
    pub in_class: Option<StringName>,
    pub ret_ty: Name,
}

A Function, which may either be top-level, or optionally within a class.

May return any Name within ret_ty. May raise any Name within raises.

Fields

is_py_type: bool

name: StringName

self_mutable: Option<bool>

pure: bool

arguments: Vec<FunctionArg>

raises: Name

in_class: Option<StringName>

ret_ty: Name

Implementations

impl Function

pub fn args_compatible(
    &self,
    args: &[Name],
    ctx: &Context,
    pos: Position
) -> TypeResult<()>

pub fn simple_fun(
    name: &StringName,
    self_arg: &Name,
    ret_ty: &Name,
    pos: Position
) -> TypeResult<Function>

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.

impl Display for Function

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

Formats the value using the given formatter.

impl GetFun<Function> for Class

fn fun(
    &self,
    name: &StringName,
    ctx: &Context,
    pos: Position
) -> TypeResult<Function>

Get function of class.

If class does not implement function, traverse parents until function found.

impl Hash for Function

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl LookupFunction<&StringName, Function> for Context

fn function(&self, function: &StringName, pos: Position) -> TypeResult<Function>

Look up a function and substitutes generics to yield a Function.

If function does not exist, treat function as constructor and see if there exists a class with the same true_name.

impl PartialEq<Function> for Function

fn eq(&self, other: &Self) -> 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 TryFrom<(&GenericFunction, &HashMap<Name, Name, RandomState>, Position)> for Function

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

fn try_from(
    (fun, generics, pos): (&GenericFunction, &HashMap<Name, Name>, Position)
) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFromPos<&FunUnion> for Function

fn try_from_pos(fun_union: &FunUnion, pos: Position) -> TypeResult<Self>

impl Eq for Function

impl StructuralEq for Function