Enum erg_compiler::ty::typaram::TyParam

pub enum TyParam {
    Value(ValueObj),
    Type(Box<Type>),
    List(Vec<TyParam>),
    UnsizedList(Box<TyParam>),
    Tuple(Vec<TyParam>),
    Set(Set<TyParam>),
    Dict(Dict<TyParam, TyParam>),
    Record(Dict<Field, TyParam>),
    DataClass {
        name: Str,
        fields: Dict<Field, TyParam>,
    },
    Lambda(TyParamLambda),
    Mono(Str),
    Proj {
        obj: Box<TyParam>,
        attr: Str,
    },
    ProjCall {
        obj: Box<TyParam>,
        attr: Str,
        args: Vec<TyParam>,
    },
    App {
        name: Str,
        args: Vec<TyParam>,
    },
    UnaryOp {
        op: OpKind,
        val: Box<TyParam>,
    },
    BinOp {
        op: OpKind,
        lhs: Box<TyParam>,
        rhs: Box<TyParam>,
    },
    Erased(Box<Type>),
    FreeVar(FreeTyParam),
    Failure,
}

type parameter

Unevaluated expressions that types can have inside

The evaluated one becomes ValueObj.

• Literal: 1, “aa”, True, None, … (don’t use container literals, they can only hold literals)
• Type: Int, Add(?R, ?O), …
• Mono: I, N, …
• Attr: math.PI, …
• List: [1, 2, N]
• Tuple: (1, N, True)
• App: List(Int), Fib(10), …
• QuantVar: N: Nat, …
• FreeVar: ?I: Int, …
• UnaryOp: -N, ~B, …
• BinOp: 1 + 1, N * 2, …
• Erased: _: Type, _: Nat, …

Variants

Value(ValueObj)

Type(Box<Type>)

List(Vec<TyParam>)

UnsizedList(Box<TyParam>)

Tuple(Vec<TyParam>)

Set(Set<TyParam>)

Dict(Dict<TyParam, TyParam>)

Record(Dict<Field, TyParam>)

DataClass

Fields

name: Str

fields: Dict<Field, TyParam>

Lambda(TyParamLambda)

Mono(Str)

Proj

Fields

obj: Box<TyParam>

attr: Str

ProjCall

Fields

obj: Box<TyParam>

attr: Str

args: Vec<TyParam>

App

Fields

name: Str

args: Vec<TyParam>

UnaryOp

Fields

op: OpKind

val: Box<TyParam>

BinOp

Fields

op: OpKind

lhs: Box<TyParam>

rhs: Box<TyParam>

Erased(Box<Type>)

FreeVar(FreeTyParam)

Failure

Implementations

impl TyParam

pub fn t(t: Type) -> Self

pub fn mono<S: Into<Str>>(name: S) -> Self

pub fn mono_q<S: Into<Str>>(name: S, constr: Constraint) -> Self

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

pub fn proj_call(self, attr: Str, args: Vec<TyParam>) -> Self

pub fn range(start: Self, end: Self) -> Self

pub fn free_instance(level: usize, t: Type) -> Self

pub fn free_var(level: usize, constr: Constraint) -> Self

pub fn named_free_var(name: Str, level: usize, constr: Constraint) -> Self

pub fn value<V: Into<ValueObj>>(v: V) -> Self

NOTE: Always add postfix when entering numbers. For example, value(1) will be of type Int.

pub fn unary(op: OpKind, val: TyParam) -> Self

pub fn bin(op: OpKind, lhs: TyParam, rhs: TyParam) -> Self

pub fn app(name: Str, args: Vec<TyParam>) -> Self

pub fn erased(t: Type) -> Self

pub fn unsized_list(elem: TyParam) -> Self

pub fn succ(self) -> Self

pub fn pred(self) -> Self

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

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

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

pub fn cheap_cmp(&self, r: &TyParam) -> Option<TyParamOrdering>

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

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

pub fn destructive_coerce(&self)

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

pub fn has_qvar(&self) -> bool

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

pub fn has_unbound_var(&self) -> bool

pub fn has_no_unbound_var(&self) -> bool

pub fn has_undoable_linked_var(&self) -> bool

pub fn union_size(&self) -> usize

pub fn has_upper_bound(&self) -> bool

pub fn has_lower_bound(&self) -> bool

pub fn is_erased(&self) -> bool

pub fn is_type(&self) -> bool

pub fn substitute(self, var: &str, to: &TyParam) -> TyParam

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

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

pub fn normalize(self) -> TyParam

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

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

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

pub fn dereference(&mut self)

pub fn namespace(&self) -> Str

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

Trait Implementations

impl Add for TyParam

type Output = TyParam

The resulting type after applying the + operator.

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

Performs the + operation.

impl CanbeFree for TyParam

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 TyParam

fn clone(&self) -> TyParam

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyParam

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

Formats the value using the given formatter.

impl Default for TyParam

fn default() -> Self

Returns the “default value” for a type.

impl Display for TyParam

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

Formats the value using the given formatter.

impl Div for TyParam

type Output = TyParam

The resulting type after applying the / operator.

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

Performs the / operation.

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

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

Converts to this type from the input type.

impl From<Range<&TyParam>> for TyParam

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

Converts to this type from the input type.

impl From<Range<TyParam>> for TyParam

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

Converts to this type from the input type.

impl From<RangeInclusive<&TyParam>> for TyParam

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

Converts to this type from the input type.

impl From<RangeInclusive<TyParam>> for TyParam

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

Converts to this type from the input type.

impl<V: Into<ValueObj>> From<V> for TyParam

fn from(v: V) -> Self

Converts to this type from the input type.

impl HasLevel for TyParam

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

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 Hash for TyParam

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 TyParam

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 Mul for TyParam

type Output = TyParam

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for TyParam

type Output = TyParam

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for TyParam

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 TyParam

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

impl Sub for TyParam

type Output = TyParam

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'t> TryFrom<&'t TyParam> for &'t FreeTyParam

type Error = ()

The type returned in the event of a conversion error.

fn try_from(t: &'t TyParam) -> Result<&'t FreeTyParam, ()>

Performs the conversion.

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

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

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 TryFrom<&TyParam> for usize

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: &TyParam) -> Result<Self, ()>

Performs the conversion.

impl TryFrom<TyParam> for Dict<TyParam, TyParam>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: TyParam) -> Result<Self, ()>

Performs the conversion.

impl TryFrom<TyParam> for ValueObj

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: TyParam) -> Result<Self, ()>

Performs the conversion.

impl TryFrom<TyParam> for Vec<TyParam>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: TyParam) -> Result<Self, ()>

Performs the conversion.

impl Eq for TyParam