Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
- data Command
- data CommandDescr = CommandDescr {}
- data CommandBody
- parseCommand :: (String -> [CommandDescr]) -> String -> Maybe Command
- runCommand :: Command -> REPL ()
- splitCommand :: String -> Maybe (String, String)
- findCommand :: String -> [CommandDescr]
- findCommandExact :: String -> [CommandDescr]
- findNbCommand :: Bool -> String -> [CommandDescr]
- moduleCmd :: String -> REPL ()
- loadCmd :: FilePath -> REPL ()
- loadPrelude :: REPL ()
- handleCtrlC :: REPL ()
- sanitize :: String -> String
- replParse :: (String -> Either ParseError a) -> String -> REPL a
- liftModuleCmd :: ModuleCmd a -> REPL a
- moduleCmdResult :: ModuleRes a -> REPL a
Commands
Commands.
data CommandBody Source
parseCommand :: (String -> [CommandDescr]) -> String -> Maybe Command Source
Parse a line as a command.
runCommand :: Command -> REPL () Source
Run a command.
findCommand :: String -> [CommandDescr] Source
Lookup a string in the command list.
findCommandExact :: String -> [CommandDescr] Source
Lookup a string in the command list, returning an exact match even if it's the prefix of another command.
findNbCommand :: Bool -> String -> [CommandDescr] Source
Lookup a string in the notebook-safe command list.
loadPrelude :: REPL () Source
handleCtrlC :: REPL () Source
replParse :: (String -> Either ParseError a) -> String -> REPL a Source
Lift a parsing action into the REPL monad.
liftModuleCmd :: ModuleCmd a -> REPL a Source
moduleCmdResult :: ModuleRes a -> REPL a Source