Struct GradualTyper 

pub struct GradualTyper;

A gradual type checker that produces evidence for coercions.

Implementations

impl GradualTyper

pub fn consistent( a: &GradualType, b: &GradualType, ) -> Option<ConsistencyEvidence>

Check whether two gradual types are consistent and return evidence if so.

pub fn unknown_is_consistent_with_any(b: &GradualType) -> bool

Check if the unknown type ? is consistent with any type (always true).

pub fn is_symmetric(a: &GradualType, b: &GradualType) -> bool

Verify the consistency relation is symmetric.

pub fn precision(a: &GradualType, b: &GradualType) -> bool

The precision order: A ⊑ B means A is “more precise” than B. Int ⊑ ?, (Int → Bool) ⊑ (? → ?), etc.