diff options
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs-boot')
-rw-r--r-- | compiler/GHC/Core/Coercion.hs-boot | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Coercion.hs-boot b/compiler/GHC/Core/Coercion.hs-boot index 276a48cf81..6430e3f6ee 100644 --- a/compiler/GHC/Core/Coercion.hs-boot +++ b/compiler/GHC/Core/Coercion.hs-boot @@ -23,7 +23,7 @@ mkFunCo2 :: Role -> FunTyFlag -> FunTyFlag -> CoercionN -> Coercion -> Coerc mkCoVarCo :: CoVar -> Coercion mkAxiomInstCo :: CoAxiom Branched -> BranchIndex -> [Coercion] -> Coercion mkPhantomCo :: Coercion -> Type -> Type -> Coercion -mkUnivCo :: UnivCoProvenance -> Role -> Type -> Type -> Coercion +mkUnivCo :: UnivCoProvenance Coercion -> Role -> Type -> Type -> Coercion mkSymCo :: Coercion -> Coercion mkTransCo :: Coercion -> Coercion -> Coercion mkSelCo :: HasDebugCallStack => CoSel -> Coercion -> Coercion @@ -38,6 +38,20 @@ mkAxiomRuleCo :: CoAxiomRule -> [Coercion] -> Coercion funRole :: Role -> FunSel -> Role +mkTyConAppDCo :: [DCoercion] -> DCoercion +mkAppDCo :: DCoercion -> DCoercion -> DCoercion +mkTransDCo :: DCoercion -> DCoercion -> DCoercion +mkForAllDCo :: TyCoVar -> DCoercion -> DCoercion -> DCoercion +mkReflDCo :: DCoercion +mkGReflRightDCo :: CoercionN -> DCoercion +mkGReflLeftDCo :: CoercionN -> DCoercion +mkDehydrateCo :: Coercion -> DCoercion +mkHydrateDCo :: HasDebugCallStack => Role -> Type -> DCoercion -> Type -> Coercion +mkCoVarDCo :: CoVar -> DCoercion +mkUnivDCo :: UnivCoProvenance DCoercion -> Type -> DCoercion +mkSubDCo :: HasDebugCallStack => Type -> DCoercion -> Type -> DCoercion +followDCo :: HasDebugCallStack => Role -> Type -> DCoercion -> Type + isGReflCo :: Coercion -> Bool isReflCo :: Coercion -> Bool isReflexiveCo :: Coercion -> Bool |