ApproxState
object ApproxState
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
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.