Documentation

data HsWrapperSource

(<.>) :: HsWrapper -> HsWrapper -> HsWrapperSource

mkWpTyApps :: [Type] -> HsWrapperSource

mkWpEvApps :: [EvTerm] -> HsWrapperSource

mkWpEvVarApps :: [EvVar] -> HsWrapperSource

mkWpTyLams :: [TyVar] -> HsWrapperSource

mkWpLams :: [Var] -> HsWrapperSource

mkWpLet :: TcEvBinds -> HsWrapperSource

mkWpCast :: TcCoercion -> HsWrapperSource

idHsWrapper :: HsWrapperSource

isIdHsWrapper :: HsWrapper -> BoolSource

pprHsWrapper :: SDoc -> HsWrapper -> SDocSource

data TcEvBindsSource

data EvBindsVarSource

newtype EvBindMapSource

emptyEvBindMap :: EvBindMapSource

extendEvBinds :: EvBindMap -> EvVar -> EvTerm -> EvBindMapSource

lookupEvBind :: EvBindMap -> EvVar -> Maybe EvBindSource

evBindMapBinds :: EvBindMap -> Bag EvBindSource

data EvBindSource

emptyTcEvBinds :: TcEvBindsSource

isEmptyTcEvBinds :: TcEvBinds -> BoolSource

data EvTermSource

mkEvCast :: EvTerm -> TcCoercion -> EvTermSource

evVarsOfTerm :: EvTerm -> VarSetSource

data EvLitSource

evTermCoercion :: EvTerm -> TcCoercionSource

data TcCoercionSource

data LeftOrRightSource

pickLR :: LeftOrRight -> (a, a) -> aSource

mkTcReflCo :: Role -> TcType -> TcCoercionSource

mkTcNomReflCo :: 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

mkTcSymCo :: TcCoercion -> TcCoercionSource

mkTcTransCo :: TcCoercion -> TcCoercion -> TcCoercionSource

mkTcNthCo :: Int -> TcCoercion -> TcCoercionSource

mkTcLRCo :: LeftOrRight -> TcCoercion -> TcCoercionSource

mkTcSubCo :: TcCoercion -> TcCoercionSource

mkTcAxiomRuleCo :: CoAxiomRule -> [TcType] -> [TcCoercion] -> TcCoercionSource

tcCoercionKind :: TcCoercion -> Pair TypeSource

coVarsOfTcCo :: TcCoercion -> VarSetSource

isEqVar :: Var -> BoolSource

mkTcCoVarCo :: EqVar -> TcCoercionSource

isTcReflCo :: TcCoercion -> BoolSource

isTcReflCo_maybe :: TcCoercion -> Maybe TcTypeSource

getTcCoVar_maybe :: TcCoercion -> Maybe CoVarSource

tcCoercionRole :: TcCoercion -> RoleSource

eqVarRole :: EqVar -> RoleSource

coercionToTcCoercion :: Coercion -> TcCoercionSource