System.Console.Shell

Shell Descriptions

data ShellDescription st

initialShellDescription

mkShellDescription

defaultExceptionHandler

Executing Shells

runShell

Creating Shell Commands

exitCommand

helpCommand

toggle

cmd

class CommandFunction f st

data File

data Username

data Completable compl

class Completion compl st

type ShellCommand st

Subshells

type Subshell st st'

simpleSubshell

Printing Help Messages

showShellHelp

showCmdHelp

Auxiliary Types

data CommandStyle

data ShellSpecial st

type OutputCommand

type CommandResult st

type ShellacException