TcEvidence

data HsWrapper

(<.>)

mkWpTyApps

mkWpEvApps

mkWpEvVarApps

mkWpTyLams

mkWpLams

mkWpLet

mkWpCastN

mkWpCastR

mkWpFun

mkWpFuns

idHsWrapper

isIdHsWrapper

pprHsWrapper

data TcEvBinds

data EvBindsVar

data EvBindMap

emptyEvBindMap

extendEvBinds

lookupEvBind

evBindMapBinds

foldEvBindMap

data EvBind

emptyTcEvBinds

isEmptyTcEvBinds

mkGivenEvBind

mkWantedEvBind

sccEvBinds

evBindVar

data EvTerm

mkEvCast

evVarsOfTerm

mkEvScSelectors

data EvLit

evTermCoercion

data EvCallStack

data EvTypeable

type TcCoercion

type TcCoercionR

type TcCoercionN

type TcCoercionP

data CoercionHole

data Role

data LeftOrRight

pickLR

mkTcReflCo

mkTcNomReflCo

mkTcRepReflCo

mkTcTyConAppCo

mkTcAppCo

mkTcFunCo

mkTcAxInstCo

mkTcUnbranchedAxInstCo

mkTcForAllCo

mkTcForAllCos

mkTcSymCo

mkTcTransCo

mkTcNthCo

mkTcLRCo

mkTcSubCo

maybeTcSubCo

tcDowngradeRole

mkTcAxiomRuleCo

mkTcCoherenceLeftCo

mkTcCoherenceRightCo

mkTcPhantomCo

mkTcKindCo

tcCoercionKind

coVarsOfTcCo

mkTcCoVarCo

isTcReflCo

tcCoercionRole

unwrapIP

wrapIP