Cryptol.REPL.Command

Commands

data Command

Commands.

Constructors

Command (REPL ())

Successfully parsed command

Ambiguous String [String]

Ambiguous command, list of conflicting commands

Unknown String

The unknown command

data CommandDescr

Command builder.

Constructors

CommandDescr

Fields

cNames :: [String]

cBody :: CommandBody

cHelp :: String

Instances

Eq CommandDescr

Ord CommandDescr

Show CommandDescr

data CommandBody

Constructors

ExprArg (String -> REPL ())

DeclsArg (String -> REPL ())

ExprTypeArg (String -> REPL ())

FilenameArg (FilePath -> REPL ())

OptionArg (String -> REPL ())

ShellArg (String -> REPL ())

NoArg (REPL ())

parseCommand :: (String -> [CommandDescr]) -> String -> Maybe Command

Parse a line as a command.

runCommand :: Command -> REPL ()

Run a command.

splitCommand :: String -> Maybe (String, String)

Split at the first word boundary.

findCommand :: String -> [CommandDescr]

Lookup a string in the command list.

findCommandExact :: String -> [CommandDescr]

Lookup a string in the command list, returning an exact match even if it's the prefix of another command.

findNbCommand :: Bool -> String -> [CommandDescr]

Lookup a string in the notebook-safe command list.

moduleCmd :: String -> REPL ()

loadCmd :: FilePath -> REPL ()

loadPrelude :: REPL ()

handleCtrlC :: REPL ()

sanitize :: String -> String

Strip leading space.

replParse :: (String -> Either ParseError a) -> String -> REPL a

Lift a parsing action into the REPL monad.

liftModuleCmd :: ModuleCmd a -> REPL a

moduleCmdResult :: ModuleRes a -> REPL a