MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.ExecuteAPI610

Documentation

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 

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

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

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

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

force :: [a] -> a Source