| ||||
| ||||
| 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.7.2 |