Struct TypingJudgment 

pub struct TypingJudgment {
    pub expr: Expr,
    pub ty: Expr,
    pub success: bool,
}

A typing judgment: an expression with its inferred type.

Fields

expr: Expr

The expression.

ty: Expr

The inferred type.

success: bool

Whether the inference was successful.

Implementations

impl TypingJudgment

pub fn ok(expr: Expr, ty: Expr) -> Self

Create a successful typing judgment.

pub fn fail(expr: Expr) -> Self

Create a failed typing judgment (no type available).

pub fn is_ok(&self) -> bool

Check if the judgment was successful.

Trait Implementations

impl Clone for TypingJudgment

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypingJudgment

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

Formats the value using the given formatter.