Idris2Doc : System.REPL

System.REPL

repl : HasIOio => String -> (String -> String) -> ioUnit
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 : HasIOio => a -> String -> (a -> String -> Maybe (String, a)) -> ioUnit
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