Documentation

data HsWrapper Source

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

mkWpTyApps :: [Type] -> HsWrapperSource

mkWpEvApps :: [EvTerm] -> HsWrapperSource

mkWpEvVarApps :: [EvVar] -> HsWrapperSource

mkWpTyLams :: [TyVar] -> HsWrapperSource

mkWpLams :: [Var] -> HsWrapperSource

mkWpLet :: TcEvBinds -> HsWrapperSource

idHsWrapper :: HsWrapperSource

isIdHsWrapper :: HsWrapper -> BoolSource

pprHsWrapper :: SDoc -> HsWrapper -> SDocSource

data TcEvBinds Source

data EvBindsVar Source

newtype EvBindMap Source

emptyEvBindMap :: EvBindMapSource

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

lookupEvBind :: EvBindMap -> EvVar -> Maybe EvBindSource

evBindMapBinds :: EvBindMap -> Bag EvBindSource

data EvBind Source

emptyTcEvBinds :: TcEvBindsSource

isEmptyTcEvBinds :: TcEvBinds -> BoolSource

data EvTerm Source

mkEvCast :: EvTerm -> TcCoercion -> EvTermSource

evVarsOfTerm :: EvTerm -> VarSetSource

data EvLit Source

evTermCoercion :: EvTerm -> TcCoercionSource

data TcCoercion Source

data LeftOrRight Source

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

mkTcReflCo :: TcType -> TcCoercionSource

mkTcTyConAppCo :: TyCon -> [TcCoercion] -> TcCoercionSource

mkTcAppCo :: TcCoercion -> TcCoercion -> TcCoercionSource

mkTcAppCos :: TcCoercion -> [TcCoercion] -> TcCoercionSource

mkTcFunCo :: TcCoercion -> TcCoercion -> TcCoercionSource

mkTcAxInstCo :: CoAxiom br -> Int -> [TcType] -> TcCoercionSource

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

mkTcInstCos :: TcCoercion -> [TcType] -> 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

liftTcCoSubstWith :: [TyVar] -> [TcCoercion] -> TcType -> TcCoercionSource