|
|
|
|
|
| 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 |
|
| mkPADictType :: Type -> VM Type |
|
| mkPArrayType :: Type -> VM Type |
|
| mkPReprType :: Type -> VM Type |
|
| parrayReprTyCon :: Type -> VM (TyCon, [Type]) |
|
| parrayReprDataCon :: Type -> VM (DataCon, [Type]) |
|
| mkVScrut :: VExpr -> VM (VExpr, TyCon, [Type]) |
|
| prDFunOfTyCon :: TyCon -> VM CoreExpr |
|
| paDictArgType :: TyVar -> VM (Maybe Type) |
|
| paDictOfType :: Type -> VM CoreExpr |
|
| paDFunType :: TyCon -> VM Type |
|
| paMethod :: PAMethod -> Type -> VM CoreExpr |
|
| mkPR :: Type -> VM CoreExpr |
|
| lengthPA :: Type -> CoreExpr -> VM CoreExpr |
|
| replicatePA :: CoreExpr -> CoreExpr -> VM CoreExpr |
|
| emptyPA :: Type -> VM CoreExpr |
|
| packPA :: Type -> CoreExpr -> CoreExpr -> CoreExpr -> VM CoreExpr |
|
| combinePA :: Type -> CoreExpr -> CoreExpr -> CoreExpr -> [CoreExpr] -> VM CoreExpr |
|
| liftPA :: 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.3.0 |
