Language.Haskell.Liquid.GHC.TypeRep

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

Documentation

module TyCoRep

mkTyArg :: TyVar -> TyVarBinder

showTy :: Type -> String

Orphan instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Eq Coercion

Methods

(==) :: Coercion -> Coercion -> Bool

(/=) :: Coercion -> Coercion -> Bool

(Eq tyvar, Eq argf) => Eq (TyVarBndr tyvar argf)

Methods

(==) :: TyVarBndr tyvar argf -> TyVarBndr tyvar argf -> Bool

(/=) :: TyVarBndr tyvar argf -> TyVarBndr tyvar argf -> Bool