System.REPL

Definitions

replWith : HasIO io => a -> String -> (a -> String -> Maybe (String, a)) -> io ()

  A basic read-eval-print loop, maintaining a state
  
  @ state   the input state
  @ prompt  the prompt to show
  @ onInput the function to run on reading input, returning a String to
            output and a new state. Returns Nothing if the repl should exit

Visibility: export

repl : HasIO io => String -> (String -> String) -> io ()

  A basic read-eval-print loop
  
  @ prompt  the prompt to show
  @ onInput the function to run on reading input, returning a String to
            output

Visibility: export