| ||||||||||||||||||||||
| ||||||||||||||||||||||
Description | ||||||||||||||||||||||
Last modified: 04 Oct 2004, 18:42 This module implements an interactive Shell for ram. | ||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||
| ||||||||||||||||||||||
Documentation | ||||||||||||||||||||||
data ShellState | ||||||||||||||||||||||
| ||||||||||||||||||||||
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 |