Documentation

data HsWrapper Source

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

mkWpTyApps :: [Type] -> HsWrapper Source

mkWpEvApps :: [EvTerm] -> HsWrapper Source

mkWpEvVarApps :: [EvVar] -> HsWrapper Source

mkWpTyLams :: [TyVar] -> HsWrapper Source

mkWpLams :: [Var] -> HsWrapper Source

mkWpLet :: TcEvBinds -> HsWrapper Source

mkWpCast :: TcCoercion -> HsWrapper Source

idHsWrapper :: HsWrapper Source

isIdHsWrapper :: HsWrapper -> Bool Source

pprHsWrapper :: SDoc -> HsWrapper -> SDoc Source

data TcEvBinds Source

data EvBindsVar Source

newtype EvBindMap Source

emptyEvBindMap :: EvBindMap Source

extendEvBinds :: EvBindMap -> EvVar -> EvTerm -> EvBindMap Source

lookupEvBind :: EvBindMap -> EvVar -> Maybe EvBind Source

evBindMapBinds :: EvBindMap -> Bag EvBind Source

data EvBind Source

emptyTcEvBinds :: TcEvBinds Source

isEmptyTcEvBinds :: TcEvBinds -> Bool Source

data EvTerm Source

mkEvCast :: EvTerm -> TcCoercion -> EvTerm Source

evVarsOfTerm :: EvTerm -> VarSet Source

data EvLit Source

evTermCoercion :: EvTerm -> TcCoercion Source

data TcCoercion Source

data LeftOrRight Source

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

mkTcReflCo :: Role -> TcType -> TcCoercion Source

mkTcNomReflCo :: TcType -> TcCoercion Source

mkTcTyConAppCo :: Role -> TyCon -> [TcCoercion] -> TcCoercion Source

mkTcAppCo :: TcCoercion -> TcCoercion -> TcCoercion Source

mkTcAppCos :: TcCoercion -> [TcCoercion] -> TcCoercion Source

mkTcFunCo :: Role -> TcCoercion -> TcCoercion -> TcCoercion Source

mkTcAxInstCo :: Role -> CoAxiom br -> Int -> [TcType] -> TcCoercion Source

mkTcUnbranchedAxInstCo :: Role -> CoAxiom Unbranched -> [TcType] -> TcCoercion Source

mkTcForAllCo :: Var -> TcCoercion -> TcCoercion Source

mkTcForAllCos :: [Var] -> TcCoercion -> TcCoercion Source

mkTcSymCo :: TcCoercion -> TcCoercion Source

mkTcTransCo :: TcCoercion -> TcCoercion -> TcCoercion Source

mkTcNthCo :: Int -> TcCoercion -> TcCoercion Source

mkTcLRCo :: LeftOrRight -> TcCoercion -> TcCoercion Source

mkTcSubCo :: TcCoercion -> TcCoercion Source

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

tcCoercionKind :: TcCoercion -> Pair Type Source

coVarsOfTcCo :: TcCoercion -> VarSet Source

isEqVar :: Var -> Bool Source

mkTcCoVarCo :: EqVar -> TcCoercion Source

isTcReflCo :: TcCoercion -> Bool Source

isTcReflCo_maybe :: TcCoercion -> Maybe TcType Source

getTcCoVar_maybe :: TcCoercion -> Maybe CoVar Source

tcCoercionRole :: TcCoercion -> Role Source

eqVarRole :: EqVar -> Role Source

coercionToTcCoercion :: Coercion -> TcCoercion Source