ContentsIndex
Shell.Interactive
Portability portable
Stability experimental
Maintainer egallego@babel.ls.fi.upm.es
Description

Last modified: 04 Oct 2004, 18:42

This module implements an interactive Shell for ram.

Synopsis
data ShellState = ShellState {
memory :: (Module Predicate Relational)
}
type IModule = Module Predicate Relational
interactiveShell :: [String] -> IO ()
shellLoop :: IModule -> IO ()
doCommand :: IModule -> Command -> IO ()
executeQuery :: IModule -> String -> IO ()
executeQueryEngine :: IModule -> Relational -> IO ()
isFinalHack :: IModule -> Relational -> IO Bool
rewriteStepHack :: IModule -> Relational -> IO Relational
mkQuery :: Module Predicate Relational -> Relational
queryPrint :: String -> String
Documentation
data ShellState
Constructors
ShellState
memory :: (Module Predicate Relational)
type IModule = Module Predicate Relational
interactiveShell :: [String] -> IO ()
shellLoop :: IModule -> IO ()
doCommand :: IModule -> Command -> IO ()
executeQuery :: IModule -> String -> IO ()
executeQueryEngine :: IModule -> Relational -> IO ()
isFinalHack :: IModule -> Relational -> IO Bool
rewriteStepHack :: IModule -> Relational -> IO Relational
mkQuery :: Module Predicate Relational -> Relational
queryPrint :: String -> String
queryPrint compiles a query and prints its relational translation.
Produced by Haddock version 0.6