Idris2Doc : System.REPL

System.REPL

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

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