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 #
Instance details Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Eq Coercion Source #
Instance details Methods (==) :: Coercion -> Coercion -> Bool # (/=) :: Coercion -> Coercion -> Bool #
(Eq tyvar, Eq argf) => Eq (VarBndr tyvar argf) Source #
Instance details Methods (==) :: VarBndr tyvar argf -> VarBndr tyvar argf -> Bool # (/=) :: VarBndr tyvar argf -> VarBndr tyvar argf -> Bool #