Enum erg_compiler::ty::Type

pub enum Type {
    Obj,
    Int,
    Nat,
    Ratio,
    Float,
    Complex,
    Bool,
    Str,
    NoneType,
    Code,
    Frame,
    Error,
    Inf,
    NegInf,
    Type,
    ClassType,
    TraitType,
    Patch,
    NotImplementedType,
    Ellipsis,
    Never,
    Mono(Str),
    Ref(Box<Type>),
    RefMut {
        before: Box<Type>,
        after: Option<Box<Type>>,
    },
    Subr(SubrType),
    Callable {
        param_ts: Vec<Type>,
        return_t: Box<Type>,
    },
    Record(Dict<Field, Type>),
    Refinement(RefinementType),
    Quantified(Box<Type>),
    And(Box<Type>, Box<Type>),
    Or(Box<Type>, Box<Type>),
    Not(Box<Type>),
    Poly {
        name: Str,
        params: Vec<TyParam>,
    },
    NamedTuple(Vec<(Field, Type)>),
    Proj {
        lhs: Box<Type>,
        rhs: Str,
    },
    ProjCall {
        lhs: Box<TyParam>,
        attr_name: Str,
        args: Vec<TyParam>,
    },
    Structural(Box<Type>),
    Guard(GuardType),
    Bounded {
        sub: Box<Type>,
        sup: Box<Type>,
    },
    FreeVar(FreeTyVar),
    Failure,
    Uninited,
}

Variants

Obj

Int

Nat

Ratio

Float

Complex

Bool

Str

NoneType

Code

Frame

Error

Inf

NegInf

Type

ClassType

TraitType

Patch

NotImplementedType

Ellipsis

Never

Mono(Str)

Ref(Box<Type>)

RefMut

Fields

before: Box<Type>

after: Option<Box<Type>>

Subr(SubrType)

Callable

Fields

param_ts: Vec<Type>

return_t: Box<Type>

Record(Dict<Field, Type>)

Refinement(RefinementType)

Quantified(Box<Type>)

And(Box<Type>, Box<Type>)

Or(Box<Type>, Box<Type>)

Not(Box<Type>)

Poly

Fields

name: Str

params: Vec<TyParam>

NamedTuple(Vec<(Field, Type)>)

Proj

Fields

lhs: Box<Type>

rhs: Str

ProjCall

Fields

lhs: Box<TyParam>

attr_name: Str

args: Vec<TyParam>

Structural(Box<Type>)

Guard(GuardType)

Bounded

Fields

sub: Box<Type>

sup: Box<Type>

FreeVar(FreeTyVar)

Failure

Uninited

used to represent TyParam is not initialized (see erg_compiler::context::instantiate_tp)

Implementations

impl Type

pub const OBJ: &'static Self = _

pub const NONE: &'static Self = _

pub const NOT_IMPLEMENTED: &'static Self = _

pub const ELLIPSIS: &'static Self = _

pub const INF: &'static Self = _

pub const NEG_INF: &'static Self = _

pub const NEVER: &'static Self = _

pub const FAILURE: &'static Self = _

pub fn mutate(self) -> Self

pub fn immutate(&self) -> Option<Self>

pub fn quantify(self) -> Self

pub fn proj<S: Into<Str>>(self, attr: S) -> Self

pub fn structuralize(self) -> Self

pub fn is_mono_value_class(&self) -> bool

pub fn is_value_class(&self) -> bool

value class := mono value object class | (List | Set)(value class)

pub fn is_mut_value_class(&self) -> bool

pub fn is_procedure(&self) -> bool

Procedure

pub fn is_mut_type(&self) -> bool

pub fn is_nonelike(&self) -> bool

pub fn is_nonetype(&self) -> bool

pub fn is_singleton(&self) -> bool

pub fn is_union_type(&self) -> bool

pub fn is_projection(&self) -> bool

pub fn is_intersection_type(&self) -> bool

pub fn union_size(&self) -> usize

pub fn is_refinement(&self) -> bool

pub fn is_singleton_refinement(&self) -> bool

pub fn is_record(&self) -> bool

pub fn is_module(&self) -> bool

pub fn is_erg_module(&self) -> bool

pub fn is_py_module(&self) -> bool

pub fn is_method(&self) -> bool

pub fn is_subr(&self) -> bool

pub fn is_quantified_subr(&self) -> bool

pub fn is_list(&self) -> bool

pub fn is_guard(&self) -> bool

pub fn is_list_mut(&self) -> bool

pub fn is_iterable(&self) -> bool

pub fn is_tuple(&self) -> bool

pub fn is_named_tuple(&self) -> bool

pub fn is_set(&self) -> bool

pub fn is_dict(&self) -> bool

pub fn is_dict_mut(&self) -> bool

pub fn is_ref(&self) -> bool

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

pub fn is_refmut(&self) -> bool

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

pub fn is_structural(&self) -> bool

pub fn is_failure(&self) -> bool

pub fn is_class_type(&self) -> bool

pub fn is_type(&self) -> bool

NOTE: don’t use this, use Context::subtype_of(t, &Type::Type) instead

pub fn is_poly_type_meta(&self) -> bool

pub fn as_free(&self) -> Option<&FreeTyVar>

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 is_recursive(&self) -> bool

pub fn args_ownership(&self) -> ArgsOwnership

pub fn ownership(&self) -> Ownership

pub fn qual_name(&self) -> Str

full name of the type, if the type is a normal nominal type, then returns the inner name

let i = mono("Int!");
assert_eq!(&i.qual_name()[..], "Int!");
assert_eq!(&i.local_name()[..], "Int!");
let t = mono("http.client.Response");
assert_eq!(&t.qual_name()[..], "http.client.Response");
assert_eq!(&t.local_name()[..], "Response");
let r = Type::from(TyParam::from(1)..TyParam::from(10));
assert_eq!(&r.qual_name()[..], "Int");

pub fn namespace(&self) -> Str

let i = mono("Int!");
assert_eq!(&i.namespace()[..], "");
let t = mono("http.client.Response");
assert_eq!(&t.namespace()[..], "http.client");

pub fn local_name(&self) -> Str

local name of the type

let i = mono("Int!");
assert_eq!(&i.qual_name()[..], "Int!");
assert_eq!(&i.local_name()[..], "Int!");
let t = mono("http.client.Response");
assert_eq!(&t.qual_name()[..], "http.client.Response");
assert_eq!(&t.local_name()[..], "Response");

pub fn contains_intersec(&self, typ: &Type) -> bool

assert!((A and B).contains_intersec(B))

pub fn union_pair(&self) -> Option<(Type, Type)>

pub fn contains_union(&self, typ: &Type) -> bool

assert!((A or B).contains_union(B))

pub fn intersection_types(&self) -> Vec<Type>

pub fn tvar_name(&self) -> Option<Str>

pub fn q_constraint(&self) -> Option<Constraint>

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

<: Super

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

:> Sub

pub const fn is_free_var(&self) -> bool

pub const fn is_callable(&self) -> bool

pub fn is_unbound_var(&self) -> bool

pub fn is_named_unbound_var(&self) -> bool

pub fn is_unnamed_unbound_var(&self) -> bool

pub fn is_totally_unbound(&self) -> bool

assert (?T or ?U).totally_unbound()

pub fn is_monomorphic(&self) -> bool

See also: is_monomorphized

pub fn is_monomorphized(&self) -> bool

Set(Int, 3) is not monomorphic but monomorphized

pub fn into_refinement(self) -> RefinementType

TODO:

Nat == {x: Int | x >= 0}
Nat or {-1} == {x: Int | x >= 0 or x == -1}
Int == {_: Int | True}

pub fn to_singleton(&self) -> Option<RefinementType>

{ .x = {Int} } == {{ .x = Int }}
K({Int}) == {K(Int)} # TODO

pub fn deconstruct_refinement(self) -> Result<(Str, Type, Predicate), Type>

pub fn destructive_coerce(&self)

Fix type variables at their lower bound

i: ?T(:> Int)
assert i.Real == 1
i: (Int)

?T(:> ?U(:> Int)).coerce(): ?T == ?U == Int

pub fn undoable_coerce(&self, list: &UndoableLinkedList)

pub fn coerce(&self, list: Option<&UndoableLinkedList>)

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

returns top-level qvars. see also: qvars_inner

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

pub fn has_uninited_qvars(&self) -> bool

pub fn is_qvar(&self) -> bool

pub fn has_qvar(&self) -> bool

if the type is polymorphic

assert ('T -> Int).has_qvar()
assert not (|T| T -> T).has_qvar()

pub fn is_undoable_linked_var(&self) -> bool

pub fn has_undoable_linked_var(&self) -> bool

pub fn has_no_qvar(&self) -> bool

pub fn has_unbound_var(&self) -> bool

pub fn has_no_unbound_var(&self) -> bool

pub fn typarams_len(&self) -> Option<usize>

pub fn singleton_value(&self) -> Option<&TyParam>

pub fn refinement_values(&self) -> Option<Vec<&TyParam>>

pub fn container_len(&self) -> Option<usize>

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

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

pub fn non_default_params(&self) -> Option<&Vec<ParamTy>>

pub fn var_params(&self) -> Option<&ParamTy>

pub fn default_params(&self) -> Option<&Vec<ParamTy>>

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

pub fn param_ts(&self) -> Vec<Type>

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

pub fn tyvar_mut_return_t(&mut self) -> Option<RefMut<'_, Type>>

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

pub fn derefine(&self) -> Type

pub fn eliminate(self, target: &Type) -> Self

pub fn replace(self, target: &Type, to: &Type) -> Type

pub fn replace_failure(&self) -> Type

(Failure -> Int).replace_failure() == (Obj -> Int)
(Int -> Failure).replace_failure() == (Int -> Never)
List(Failure, 3).replace_failure() == List(Never, 3)

pub fn replace_params<'l, 'r>( self, target: impl Iterator<Item = &'l str>, to: impl Iterator<Item = &'r str> ) -> Self

pub fn normalize(self) -> Self

TyParam::Value(ValueObj::Type(_)) => TyParam::Type

pub fn lower_bounded(&self) -> Type

assert Int.lower_bounded() == Int
assert ?T(:> Str).lower_bounded() == Str
assert (?T(:> Str) or ?U(:> Int)).lower_bounded() == (Str or Int)

pub fn into_bounded(&self) -> Type

pub fn ands(&self) -> Set<Type>

Add.ands() == {Add}
(Add and Sub).ands() == {Add, Sub}

pub fn ors(&self) -> Set<Type>

Int.ors() == {Int}
(Int or Str).ors() == {Int, Str}

pub fn contained_ts(&self) -> Set<Type>

Int.contained_ts() == {Int}
List(List(Int)).contained_ts() == {List(Int), Int}
(Int or Str).contained_ts() == {Int, Str}

pub fn dereference(&mut self)

pub fn module_path(&self) -> Option<PathBuf>

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

Trait Implementations

impl BitAnd for Type

type Output = Type

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for Type

type Output = Type

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl CanbeFree for Type

fn unbound_name(&self) -> Option<Str>

fn constraint(&self) -> Option<Constraint>

fn destructive_update_constraint( &self, new_constraint: Constraint, in_instantiation: bool )

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Type

Returns the “default value” for a type.

impl Display for Type

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

Formats the value using the given formatter.

impl From<&Type> for TypeCode

fn from(arg: &Type) -> Self

Converts to this type from the input type.

impl From<Dict<Field, Type>> for Type

fn from(rec: Dict<Field, Type>) -> Self

Converts to this type from the input type.

impl From<Dict<Type, Type>> for Type

fn from(d: Dict<Type, Type>) -> Self

Converts to this type from the input type.

impl From<Range<&TyParam>> for Type

fn from(r: Range<&TyParam>) -> Self

Converts to this type from the input type.

impl From<Range<TyParam>> for Type

fn from(r: Range<TyParam>) -> Self

Converts to this type from the input type.

impl From<RangeInclusive<&TyParam>> for Type

fn from(r: RangeInclusive<&TyParam>) -> Self

Converts to this type from the input type.

impl From<RangeInclusive<TyParam>> for Type

fn from(r: RangeInclusive<TyParam>) -> Self

Converts to this type from the input type.

impl From<RefinementType> for Type

fn from(refine: RefinementType) -> Self

Converts to this type from the input type.

impl From<SubrType> for Type

fn from(subr: SubrType) -> Self

Converts to this type from the input type.

impl HasLevel for Type

fn level(&self) -> Option<usize>

fn set_level(&self, level: Level)

fn set_lower(&self, level: Level)

fn lift(&self)

fn lower(&self)

fn generalize(&self)

fn is_generalized(&self) -> bool

impl HasType for Type

fn ref_t(&self) -> &Type

fn ref_mut_t(&mut self) -> Option<&mut Type>

fn inner_ts(&self) -> Vec<Type>

fn signature_t(&self) -> Option<&Type>

fn signature_mut_t(&mut self) -> Option<&mut Type>

fn t(&self) -> Type

fn lhs_t(&self) -> &Type

fn rhs_t(&self) -> &Type

impl Hash for Type

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 Type

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

impl Not for Type

type Output = Type

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for Type

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 StructuralEq for Type

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

impl<'a> TryFrom<&'a TyParam> for &'a Type

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: &'a TyParam) -> Result<&'a Type, ()>

Performs the conversion.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<'a> TryFrom<&'a Type> for &'a RefinementType

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

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<'a> TryFrom<&'a ValueObj> for &'a Type

type Error = ()

The type returned in the event of a conversion error.

fn try_from(val: &'a ValueObj) -> Result<Self, ()>

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 Type