Enum erg_compiler::ty::typaram::TyParam

pub enum TyParam {
    Value(ValueObj),
    Type(Box<Type>),
    Array(Vec<TyParam>),
    Tuple(Vec<TyParam>),
    Set(Set<TyParam>),
    Dict(Dict<TyParam, TyParam>),
    Mono(Str),
    Proj {
        obj: Box<TyParam>,
        attr: Str,
    },
    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,
}

型引数 データのみ、その評価結果は別に持つ

• 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, …
• Array: [1, 2, N]
• Tuple: (1, N, True)
• App: Array(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>)

Array(Vec<TyParam>)

Tuple(Vec<TyParam>)

Set(Set<TyParam>)

Dict(Dict<TyParam, TyParam>)

Mono(Str)

Proj

Fields

obj: Box<TyParam>

attr: Str

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>>(obj: TyParam, attr: S) -> Self

pub fn free_var(level: usize, t: Type) -> 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 mutate(self) -> Self

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

pub fn app(name: &'static str, args: Vec<TyParam>) -> Self

pub fn erased(t: Type) -> Self

pub fn succ(self) -> Self

pub fn pred(self) -> Self

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

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

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

pub fn coerce(&self)

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

pub fn has_qvar(&self) -> bool

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

pub fn is_cachable(&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_upper_bound(&self) -> bool

pub fn has_lower_bound(&self) -> bool

Trait Implementations

impl Add<TyParam> 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 update_constraint(&self, new_constraint: Constraint)

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<TyParam> 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 lower(&self, level: Level)

fn lift(&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(&self, f: &mut Formatter<'_>, limit: usize) -> Result

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

type Output = TyParam

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Error = ()

The type returned in the event of a conversion error.

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

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