DDC.Type.Equiv

Documentation

equivT :: (Ord n, Pretty n) => Type n -> Type n -> Bool

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.