Struct erg_compiler::ty::SubrType

pub struct SubrType {
    pub kind: SubrKind,
    pub non_default_params: Vec<ParamTy>,
    pub var_params: Option<Box<ParamTy>>,
    pub default_params: Vec<ParamTy>,
    pub return_t: Box<Type>,
}

e.g. (x: Int, ?base: Int) -> Int => SubrTy{ kind: Func, non_default_params: [x: Int], default_params: [base: Int] return_t: Int }

Fields

kind: SubrKind

non_default_params: Vec<ParamTy>

var_params: Option<Box<ParamTy>>

default_params: Vec<ParamTy>

return_t: Box<Type>

Implementations

impl SubrType

pub fn new(
    kind: SubrKind,
    non_default_params: Vec<ParamTy>,
    var_params: Option<ParamTy>,
    default_params: Vec<ParamTy>,
    return_t: Type
) -> Self

pub fn contains_tvar(&self, name: &str) -> bool

pub fn qvars(&self) -> Set<(Str, Constraint)>

pub fn has_qvar(&self) -> bool

pub fn typarams(&self) -> Vec<TyParam>

pub fn self_t(&self) -> Option<&Type>

pub fn non_var_params(&self) -> impl Iterator<Item = &ParamTy> + Clone

Trait Implementations

impl Clone for SubrType

fn clone(&self) -> SubrType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SubrType

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

Formats the value using the given formatter.

impl Display for SubrType

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

Formats the value using the given formatter.

impl Hash for SubrType

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 LimitedDisplay for SubrType

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

impl PartialEq<SubrType> for SubrType

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

impl StructuralEq for SubrType

impl StructuralPartialEq for SubrType