MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.ExecuteAPI610

Documentation

pathToGHC :: FilePath Source

loadObj Source

Arguments

:: [String]

visible modules (including package modules). You may omit the Prelude.

-> IO (VarLib -> CoreExpr -> Dynamic) 

prepareAPI Source

Arguments

:: [FilePath]

modules to be loaded (except package modules)

-> [FilePath]

visible modules (including package modules)

-> IO HscEnv 

packageNameToFlag :: String -> PackageFlag Source

unsafeExecuteAPI :: HscEnv -> VarLib -> CoreExpr -> Dynamic Source

executeAPI :: HscEnv -> VarLib -> CoreExpr -> IO a Source

executeTHExp :: HscEnv -> Exp -> IO a Source

compileCoreExpr :: HscEnv -> Exp -> IO CoreExpr Source

unwrapCore :: HscEnv -> CoreExpr -> IO a Source

ce2b :: DynFlags -> CoreExpr -> IO UnlinkedBCO Source

runCoreExpr :: HscEnv -> CoreExpr -> IO a Source

runPrepedCoreExpr :: HscEnv -> CoreExpr -> IO a Source

stmtToCore :: HscEnv -> GhciLStmt RdrName -> IO (Maybe ([Id], CoreExpr)) Source

perror :: DynFlags -> (Bag ErrMsg, Bag ErrMsg) -> IO (Maybe a) Source

thExpToStmt :: HscEnv -> Exp -> Located (StmtLR RdrName RdrName body) Source

wrapLHsExpr :: LHsExpr RdrName -> Located (StmtLR RdrName RdrName body) Source

thExpToLHsExpr :: HscEnv -> Exp -> LHsExpr RdrName Source

compileExprHscMain :: HscEnv -> CoreExpr -> IO HValue Source

repeatN :: Int -> (a1 -> a) -> a1 -> a Source

repeatIO :: Monad f => Int -> f b -> f b Source

force :: [a] -> a Source