Language.Haskell.Repl

Documentation

data Repl

Construction

newRepl :: IO Repl

repl'

Arguments

:: [String]

Imports, using normal Haskell import syntax

-> [ExtensionFlag]

List of compiler extensions to use

-> Chan Input

Input channel

-> Chan ReplOutput

Output channel

-> Maybe Double

Maximum time to wait for a result, in seconds (default: 5)

-> Maybe Int

Maximum line length in Char (default: 512)

-> IO Repl

Repl smart constructor.

defaultExtensions :: [ExtensionFlag]

defaultImports :: [String]

defaultLineLength :: Int

defaultPatienceForResults :: Double

Stopping

stopRepl :: Repl -> IO ()

Interaction

data Input

Constructors

Type String

Kind String

Info String

Decl String

Stmt String

Expr String

Undefine String

Clear

Instances

Show Input

data ReplOutput

Constructors

ReplError String

GhcError String

Output [String]

Instances

Show ReplOutput

data Output

Constructors

OK [String]

Exception [String] String

Errors [String]

Partial [String]

Timeout

Instances

Show Output

prompt :: Repl -> String -> IO [String]

Same as prompt_, except it parses the input, and pretty prints the results.

prompt_ :: Repl -> Input -> IO Output

Enter commands and an expression to a Repl, and immediately consume results. However, truncate input to the given length, and stop the computation after the given amount of time in seconds.

input :: Repl -> Input -> IO ()

Send input.

output :: Repl -> IO ReplOutput

Naiively get the next set of results. This does not take into account patienceForResults, patienceForErrors, or lineLength. However, due to laziness, this may not matter.

prettyOutput :: Output -> [String]

Used by prompt.

parseInput :: Parser Input

Used by prompt