Safe Haskell | Safe-Inferred |
---|
Documentation
equivT :: Ord n => Type n -> Type n -> BoolSource
Check equivalence of types.
Checks equivalence up to alpha-renaming, as well as crushing of effects and trimming of closures.
- Return
False
if we find any free variables. - We assume the types are well-kinded, so that the type annotations on bound variables match the binders. If this is not the case then you get an indeterminate result.