Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.GHC.TypeRep

Contents

Description

This module contains a wrappers and utility functions for accessing GHC module information. It should NEVER depend on

Documentation

Orphan instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Eq TyBinder Source #
Methods (==) :: TyBinder -> TyBinder -> Bool # (/=) :: TyBinder -> TyBinder -> Bool #
Eq Coercion Source #
Methods (==) :: Coercion -> Coercion -> Bool # (/=) :: Coercion -> Coercion -> Bool #