MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search

Safe Haskell	None
Language	Haskell98

MagicHaskeller.ExecuteAPI610

Contents

Orphan instances

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 :: HscEnv -> 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 #

Orphan instances

Eq (Expr a) Source #
Methods (==) :: Expr a -> Expr a -> Bool # (/=) :: Expr a -> Expr a -> Bool #