Enum CheckMode 

pub enum CheckMode {
    Infer,
    Check(Type),
    Synth(Type),
}

Mode for bidirectional type checking

Variants

Infer

Infer the type without any expectation

Check(Type)

Check the expression against an expected type (hard constraint)

Synth(Type)

Synthesize with a hint type (soft constraint)

Implementations

impl CheckMode

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

Get the expected type if in Check or Synth mode

pub fn is_hard_constraint(&self) -> bool

Check if this is a hard constraint

Trait Implementations

impl Clone for CheckMode

fn clone(&self) -> CheckMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckMode

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

Formats the value using the given formatter.