liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.TypeRep

Description

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

Documentation

mkTyArg :: TyVar -> TyVarBinder Source #

showTy :: Type -> String Source #

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 #