TinyApp.Repl

Build REPL apps

Documentation

data ContinueExit

Signals whether the application should continue asking input from the user or exit.

Constructors

Continue

Exit

Instances

Show ContinueExit

Defined in TinyApp.Repl

Methods

showsPrec :: Int -> ContinueExit -> ShowS

show :: ContinueExit -> String

showList :: [ContinueExit] -> ShowS

Eq ContinueExit

Defined in TinyApp.Repl

Methods

(==) :: ContinueExit -> ContinueExit -> Bool

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

data Sandbox state

Defines a REPL application that is not allowed to perform arbitrary IO while executing.

Constructors

Sandbox

Fields

• initialize :: state

  Initial state

• prompt :: state -> String

  The prompt to show. It can depend on the state

• update :: String -> state -> (state, String, ContinueExit)

  Process the user input given the current state Returns the next state, the output and whether to continue or not the program

runRepl :: Sandbox s -> IO ()

Executes the REPL application.

runRepl' :: forall s. Sandbox s -> IO s

Executes the REPL application returning its final state.