Safe Haskell | None |
---|---|
Language | Haskell98 |
TcEvidence
Documentation
mkWpTyApps :: [Type] -> HsWrapperSource
mkWpEvApps :: [EvTerm] -> HsWrapperSource
mkWpEvVarApps :: [EvVar] -> HsWrapperSource
mkWpTyLams :: [TyVar] -> HsWrapperSource
isIdHsWrapper :: HsWrapper -> BoolSource
pprHsWrapper :: SDoc -> HsWrapper -> SDocSource
Constructors
TcEvBinds EvBindsVar | |
EvBinds (Bag EvBind) |
mkEvCast :: EvTerm -> TcCoercion -> EvTermSource
evVarsOfTerm :: EvTerm -> VarSetSource
Constructors
EvNum Integer | |
EvStr FastString |
data TcCoercionSource
Constructors
Instances
data LeftOrRightSource
pickLR :: LeftOrRight -> (a, a) -> aSource
mkTcReflCo :: Role -> TcType -> TcCoercionSource
mkTcTyConAppCo :: Role -> TyCon -> [TcCoercion] -> TcCoercionSource
mkTcAppCo :: TcCoercion -> TcCoercion -> TcCoercionSource
mkTcAppCos :: TcCoercion -> [TcCoercion] -> TcCoercionSource
mkTcFunCo :: Role -> TcCoercion -> TcCoercion -> TcCoercionSource
mkTcAxInstCo :: Role -> CoAxiom br -> Int -> [TcType] -> TcCoercionSource
mkTcUnbranchedAxInstCo :: Role -> CoAxiom Unbranched -> [TcType] -> TcCoercionSource
mkTcForAllCo :: Var -> TcCoercion -> TcCoercionSource
mkTcForAllCos :: [Var] -> TcCoercion -> TcCoercionSource
mkTcTransCo :: TcCoercion -> TcCoercion -> TcCoercionSource
mkTcNthCo :: Int -> TcCoercion -> TcCoercionSource
mkTcLRCo :: LeftOrRight -> TcCoercion -> TcCoercionSource
mkTcAxiomRuleCo :: CoAxiomRule -> [TcType] -> [TcCoercion] -> TcCoercionSource
mkTcCoVarCo :: EqVar -> TcCoercionSource
isTcReflCo :: TcCoercion -> BoolSource