| ||||
| ||||
Documentation | ||||
collectAnnTypeBinders :: AnnExpr Var ann -> ([Var], AnnExpr Var ann) | ||||
collectAnnTypeArgs :: AnnExpr b ann -> (AnnExpr b ann, [Type]) | ||||
isAnnTypeArg :: AnnExpr b ann -> Bool | ||||
collectAnnValBinders :: AnnExpr Var ann -> ([Var], AnnExpr Var ann) | ||||
dataConTagZ :: DataCon -> Int | ||||
mkDataConTag :: DataCon -> CoreExpr | ||||
mkDataConTagLit :: DataCon -> Literal | ||||
newLocalVVar :: FastString -> Type -> VM VVar | ||||
mkBuiltinCo :: (Builtins -> TyCon) -> VM Coercion | ||||
voidType :: VM Type | ||||
mkPADictType :: Type -> VM Type | ||||
mkPArrayType :: Type -> VM Type | ||||
mkPDataType :: Type -> VM Type | ||||
mkPReprType :: Type -> VM Type | ||||
mkPArray :: Type -> CoreExpr -> CoreExpr -> VM CoreExpr | ||||
pdataReprTyCon :: Type -> VM (TyCon, [Type]) | ||||
pdataReprDataCon :: Type -> VM (DataCon, [Type]) | ||||
mkVScrut :: VExpr -> VM (CoreExpr, CoreExpr, TyCon, [Type]) | ||||
prDFunOfTyCon :: TyCon -> VM CoreExpr | ||||
paDictArgType :: TyVar -> VM (Maybe Type) | ||||
paDictOfType :: Type -> VM CoreExpr | ||||
paDFunType :: TyCon -> VM Type | ||||
paMethod :: (Builtins -> Var) -> String -> Type -> VM CoreExpr | ||||
mkPR :: Type -> VM CoreExpr | ||||
replicatePD :: CoreExpr -> CoreExpr -> VM CoreExpr | ||||
emptyPD :: Type -> VM CoreExpr | ||||
packPD :: Type -> CoreExpr -> CoreExpr -> CoreExpr -> VM CoreExpr | ||||
combinePD :: Type -> CoreExpr -> CoreExpr -> [CoreExpr] -> VM CoreExpr | ||||
liftPD :: CoreExpr -> VM CoreExpr | ||||
zipScalars :: [Type] -> Type -> VM CoreExpr | ||||
scalarClosure :: [Type] -> Type -> CoreExpr -> CoreExpr -> VM CoreExpr | ||||
polyAbstract :: [TyVar] -> ((CoreExpr -> CoreExpr) -> VM a) -> VM a | ||||
polyApply :: CoreExpr -> [Type] -> VM CoreExpr | ||||
polyVApply :: VExpr -> [Type] -> VM VExpr | ||||
hoistBinding :: Var -> CoreExpr -> VM () | ||||
hoistExpr :: FastString -> CoreExpr -> VM Var | ||||
hoistPolyVExpr :: [TyVar] -> VM VExpr -> VM VExpr | ||||
takeHoisted :: VM [(Var, CoreExpr)] | ||||
buildClosure :: [TyVar] -> [VVar] -> Type -> Type -> VM VExpr -> VM VExpr | ||||
buildClosures :: [TyVar] -> [VVar] -> [Type] -> Type -> VM VExpr -> VM VExpr | ||||
mkClosureApp :: Type -> Type -> VExpr -> VExpr -> VM VExpr | ||||
Produced by Haddock version 2.6.1 |