MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.ExecuteAPI610

Contents

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 

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 #