Struct 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 kw_var_params: Option<Box<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>

kw_var_params: Option<Box<ParamTy>>

return_t: Box<Type>

Implementations

impl SubrType

pub fn failed() -> Self

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

pub fn contains_tvar(&self, target: &FreeTyVar) -> bool

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

pub fn contains_tp(&self, target: &TyParam) -> bool

pub fn map(self, f: &mut impl FnMut(Type) -> Type) -> Self

pub fn map_tp( self, f: &mut impl FnMut(TyParam) -> TyParam, tvs: &SharedFrees, ) -> Self

pub fn try_map_tp<E>( self, f: &mut impl FnMut(TyParam) -> Result<TyParam, E>, tvs: &SharedFrees, ) -> Result<Self, E>

pub fn contains_value(&self, target: &ValueObj) -> 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_type_satisfies(&self, f: impl Fn(&Type) -> bool + Copy) -> bool

pub fn has_qvar(&self) -> bool

pub fn has_unbound_var(&self) -> bool

pub fn has_undoable_linked_var(&self) -> bool

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

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

pub fn mut_self_t(&mut self) -> Option<&mut Type>

pub fn is_method(&self) -> bool

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

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

WARN: This is an infinite iterator

self is not included

pub fn param_names(&self) -> impl Iterator<Item = &str> + Clone

pub fn param_ts(&self) -> impl Iterator<Item = &Type> + Clone

pub fn is_no_var(&self) -> bool

pub fn derefine(&self) -> Self

pub fn args_ownership(&self) -> ArgsOwnership

pub fn _replace(self, target: &Type, to: &Type, tvs: &SharedFrees) -> Self

pub fn _replace_tp( self, target: &TyParam, to: &TyParam, tvs: &SharedFrees, ) -> Self

pub fn replace_params(self, target_and_to: Vec<(Str, Str)>) -> Self

pub fn destructive_coerce(&self)

Trait Implementations

impl Clone for SubrType

fn clone(&self) -> SubrType

Returns a duplicate 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 From<SubrType> for Type

fn from(subr: SubrType) -> Self

Converts to this type from the input type.

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<W: Write>(&self, f: &mut W, limit: isize) -> Result

If limit was set to a negative value, it will be displayed without abbreviation. FIXME:

fn to_string_unabbreviated(&self) -> String

const DEFAULT_LIMIT: isize = 10isize

impl PartialEq for SubrType

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

Tests for self and other values to be equal, and is used by ==.

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

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