ApproxState
object ApproxState
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
None
: They are still the same typesLoApprox
: The left type is approximated (i.e widened)"HiApprox
: The right type is approximated (i.e narrowed)"
Type members
Types
Value members
Concrete fields
A special approximation state to indicate that this is the first time we
compare (approximations of) this pair of types. It's converted to None
in isSubType
, but also leads to leftRoot
being set there.
A special approximation state to indicate that this is the first time we
compare (approximations of) this pair of types. It's converted to None
in isSubType
, but also leads to leftRoot
being set there.