Documentation

voidType :: VM TypeSource

newLocalVVar :: FastString -> Type -> VM VVarSource

mkDataConTagLit :: DataCon -> LiteralSource

mkDataConTag :: DataCon -> CoreExprSource

dataConTagZ :: DataCon -> IntSource

mkBuiltinTyConApp :: (Builtins -> TyCon) -> [Type] -> VM TypeSource

mkBuiltinTyConApps :: (Builtins -> TyCon) -> [Type] -> Type -> VM TypeSource

mkWrapType :: Type -> VM TypeSource

mkClosureTypes :: [Type] -> Type -> VM TypeSource

mkPReprType :: Type -> VM TypeSource

mkPArrayType :: Type -> VM TypeSource

splitPrimTyCon :: Type -> Maybe TyConSource

mkPArray :: Type -> CoreExpr -> CoreExpr -> VM CoreExprSource

mkPDataType :: Type -> VM TypeSource

mkBuiltinCo :: (Builtins -> TyCon) -> VM CoercionSource

mkVScrut :: VExpr -> VM (CoreExpr, CoreExpr, TyCon, [Type])Source

preprSynTyCon :: Type -> VM (TyCon, [Type])Source

pdataReprTyCon :: Type -> VM (TyCon, [Type])Source

pdataReprDataCon :: Type -> VM (DataCon, [Type])Source

prDFunOfTyCon :: TyCon -> VM CoreExprSource