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, target: &FreeTyVar) -> bool

pub fn contains(&self, target: &Type) -> bool

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

pub fn essential_qnames(&self) -> Set<Str>

essential_qnames(|T, U| (T, U) -> Int) == {}
essential_qnames(|T, U| (T, U) -> (T, U)) == {T, U}
essential_qnames(|T, A| (T) -> A(<: T)) == {T}
essential_qnames(|T, U| (T, T) -> U) == {T}

pub fn has_qvar(&self) -> bool

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

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

pub fn is_method(&self) -> bool

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

pub fn param_names(&self) -> impl Iterator<Item = &str> + 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 StructuralEq for SubrType

fn structural_eq(&self, other: &Self) -> bool

impl<'t> TryFrom<&'t Type> for &'t SubrType

type Error = ()

The type returned in the event of a conversion error.

fn try_from(t: &'t Type) -> Result<&'t SubrType, ()>

Performs the conversion.

impl TryFrom<Type> for SubrType

type Error = ()

The type returned in the event of a conversion error.

fn try_from(t: Type) -> Result<Self, ()>

Performs the conversion.

impl Eq for SubrType

impl StructuralEq for SubrType

impl StructuralPartialEq for SubrType