ContentsIndex
Shell.Interactive
Portabilityportable
Stabilityexperimental
Maintaineregallego@babel.ls.fi.upm.es
Description

Last modified: 04 Oct 2004, 18:42

This module implements an interactive Shell for ram.

Synopsis
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
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