Safe Haskell | Safe-Inferred |
---|
Module with the functions used in script Mode.
Documentation
data ScriptConf Source
writeToScript :: ScriptConf -> Command -> IO ()Source
scriptFunExec :: ScriptConf -> Command -> IO StringSource
scriptGenResponse :: ScriptConf -> Command -> IO GenResultSource
scriptSetLogic :: ScriptConf -> Name -> IO GenResultSource
scriptSetOption :: ScriptConf -> Option -> IO GenResultSource
scriptSetInfo :: ScriptConf -> Attr -> IO GenResultSource
scriptDeclareType :: ScriptConf -> Name -> Integer -> IO GenResultSource
scriptDefineType :: ScriptConf -> Name -> [Name] -> Type -> IO GenResultSource
scriptDeclareFun :: ScriptConf -> Name -> [Type] -> Type -> IO GenResultSource
scriptDefineFun :: ScriptConf -> Name -> [Binder] -> Type -> Expr -> IO GenResultSource
scriptPush :: ScriptConf -> Integer -> IO GenResultSource
scriptAssert :: ScriptConf -> Expr -> IO GenResultSource
scriptGetValue :: ScriptConf -> [Expr] -> IO GValResultSource
scriptGetInfo :: ScriptConf -> InfoFlag -> IO StringSource
scriptGetOption :: ScriptConf -> Name -> IO StringSource
scriptExit :: ScriptConf -> IO StringSource