Language.Haskell.Repl

Documentation

data Repl a

Construction

newRepl :: IO (Repl [String])

Default GHCi-like Repl

repl'

Arguments

:: Chan Input

Input channel

-> Chan (ReplOutput a)

Output channel

-> [String]

Imports, using normal Haskell import syntax

-> [String]

List of compiler flags

-> (String -> String)

Used to build the expression actually sent to GHC

-> (Dynamic -> IO a)

Used to send output to the output Chan.

-> Double

Maximum time to wait for a result, in seconds

-> Int

Maximum line length in Char

-> IO (Repl a)

Repl smart constructor.

defaultFlags :: [String]

defaultImports :: [String]

defaultLineLength :: Int

defaultLineLength = 512

defaultPatience :: Double

defaultPatience = 5

defaultBuildExpr :: String -> String

defaultProcessOutput :: Dynamic -> IO [String]

Stopping

stopRepl :: Repl a -> 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 a

Constructors

ReplError String

GhcError String

Output [String]

Result a

Instances

Show a => Show (ReplOutput a)

data Output

Constructors

OK [String]

Exception [String] String

Errors [String]

Partial [String]

Timeout [String]

Instances

Show Output

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

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

prompt_ :: Repl [String] -> 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.

send :: Repl a -> Input -> IO ()

Send input.

result :: Repl a -> IO (ReplOutput a)

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

prettyOutput :: Repl a -> Output -> [String]

Used by prompt.

parseInput :: Parser Input

Used by prompt