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