Enum TyRepr 

pub enum TyRepr {
    Con {
        name: Arc<str>,
        kind: TyKind,
        args: Vec<TyRepr>,
    },
    Param {
        name: Arc<str>,
        index: usize,
    },
    Fun {
        params: Vec<TyRepr>,
        result: Box<TyRepr>,
    },
    Unknown,
}

The type of an expression, as a macro body sees it.

A projection of the checker’s Ty rather than the thing itself: this crate must not depend on the type checker, which depends on it. What is dropped is what a macro has no use for — a function’s effect row, and the identity of a unification variable.

Variants

Con

A named type applied to arguments: Int, list[Str], Todo.

Fields

name: Arc<str>

kind: TyKind

args: Vec<TyRepr>

Param

A declaration’s own type parameter, seen while looking into that declaration — the T of model Box[T]. Substituted away by TypeEnv::fields when the type being looked into carries arguments, so a body meets one only where the type it asked about was generic.

Fields

name: Arc<str>

index: usize

Fun

Fields

params: Vec<TyRepr>

result: Box<TyRepr>

Unknown

Inference had no answer here — an argument whose type is still open, or one whose own checking failed.

Implementations

impl TyRepr

pub fn kind_name(&self) -> &'static str

pub fn head(&self) -> Arc<str>

The head, with no arguments — what a body matches on.

pub fn args(&self) -> Vec<TyRepr>

Trait Implementations

impl Clone for TyRepr

fn clone(&self) -> TyRepr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TyRepr

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

Formats the value using the given formatter.

impl Display for TyRepr

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

Formats the value using the given formatter.

impl PartialEq for TyRepr

fn eq(&self, other: &TyRepr) -> 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 StructuralPartialEq for TyRepr