Coercion
Main data type
type
Coercion
mkCoKind
mkReflCoKind
splitCoercionKind_maybe
splitCoercionKind
coercionKind
coercionKinds
coercionKindPredTy
isIdentityCoercion
Equality predicates
isEqPred
mkEqPred
getEqPredTys
isEqPredTy
Coercion transformations
mkCoercion
mkSymCoercion
mkTransCoercion
mkLeftCoercion
mkRightCoercion
mkRightCoercions
mkInstCoercion
mkAppCoercion
mkTyConCoercion
mkFunCoercion
mkForAllCoercion
mkInstsCoercion
mkUnsafeCoercion
mkNewTypeCoercion
mkFamInstCoercion
mkAppsCoercion
splitNewTypeRepCo_maybe
instNewTyCon_maybe
decomposeCo
unsafeCoercionTyCon
symCoercionTyCon
transCoercionTyCon
leftCoercionTyCon
rightCoercionTyCon
instCoercionTyCon
Comparison
coreEqCoercion
CoercionI
data
CoercionI
isIdentityCoI
mkSymCoI
mkTransCoI
mkTyConAppCoI
mkAppTyCoI
mkFunTyCoI
mkForAllTyCoI
fromCoI
fromACo
mkClassPPredCoI
mkIParamPredCoI
mkEqPredCoI