VectUtils

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