| |||||||||||||||||||||
| |||||||||||||||||||||
Description | |||||||||||||||||||||
Last modified: 04 Oct 2004, 18:42 This module implements an interactive Shell for ram. | |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
Documentation | |||||||||||||||||||||
type IModule = Module Predicate Relational | |||||||||||||||||||||
interactiveShell :: [String] -> IO () | |||||||||||||||||||||
shellLoop :: IModule -> IO () | |||||||||||||||||||||
doCommand :: IModule -> Command -> IO () | |||||||||||||||||||||
executeQuery :: IModule -> String -> IO () | |||||||||||||||||||||
executeQueryEngine' :: IModule -> Relational -> 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.8 |