DDC.Driver.Interface.Input

Documentation

data InputInterface

What interface is being used.

Constructors

InputInterfaceArgs

Read commands from unix command-line args.

InputInterfaceConsole

Read commands interactively from the console.

InputInterfaceBatch FilePath

Read commands from the file with this name.

Instances

Eq InputInterface

Methods

(==) :: InputInterface -> InputInterface -> Bool

(/=) :: InputInterface -> InputInterface -> Bool

Show InputInterface

Methods

showsPrec :: Int -> InputInterface -> ShowS

show :: InputInterface -> String

showList :: [InputInterface] -> ShowS

data InputState command

Constructors

InputState

Fields

• inputParseCommand :: String -> Maybe (command, String)
• inputMode :: Input
• inputCommand :: Maybe (Maybe command, Int)
• inputLineNumber :: Int
• inputAcc :: String

data Input

How we're reading the current expression.

Constructors

InputLine

Read input line-by-line, using a backslash at the end of the line to continue to the next.

InputBlock

Read input as a block terminated by a double semicolon (;;)

InputFile FilePath

Read input from a file specified on the prompt

Instances

Eq Input

Methods

(==) :: Input -> Input -> Bool

(/=) :: Input -> Input -> Bool

Show Input

Methods

showsPrec :: Int -> Input -> ShowS

show :: Input -> String

showList :: [Input] -> ShowS

readInput :: String -> (Input, String)

Read the input mode from the front of a string.

inputLine :: InputInterface -> InputState c -> String -> IO (InputState c, Maybe (Source, Maybe c, String))