TcEvidence

data HsWrapper

(<.>)

mkWpTyApps

mkWpEvApps

mkWpEvVarApps

mkWpTyLams

mkWpLams

mkWpLet

idHsWrapper

isIdHsWrapper

pprHsWrapper

data TcEvBinds

data EvBindsVar

data EvBindMap

emptyEvBindMap

extendEvBinds

lookupEvBind

evBindMapBinds

data EvBind

emptyTcEvBinds

isEmptyTcEvBinds

data EvTerm

mkEvCast

evVarsOfTerm

mkEvKindCast

data EvLit

evTermCoercion

data TcCoercion

mkTcReflCo

mkTcTyConAppCo

mkTcAppCo

mkTcAppCos

mkTcFunCo

mkTcAxInstCo

mkTcForAllCo

mkTcForAllCos

mkTcSymCo

mkTcTransCo

mkTcNthCo

mkTcInstCos

tcCoercionKind

coVarsOfTcCo

isEqVar

mkTcCoVarCo

isTcReflCo

isTcReflCo_maybe

getTcCoVar_maybe

liftTcCoSubstWith