module System.REPL import System.File ||| 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 exitexportreplWith : (state : a) -> (prompt : String) ->           (onInput : a -> String -> Maybe (String, a)) -> IO ()replWith acc prompt fn   = do putStr prompt        eof <- fEOF stdin        if eof          then pure ()          else do x <- getLine                  case fn acc x of                       Just (out, acc') =>                           do putStr out                              replWith acc' prompt fn                       Nothing => pure () ||| A basic read-eval-print loop||| @ prompt the prompt to show||| @ onInput the function to run on reading input, returning a String to||| outputexportrepl : (prompt : String) ->       (onInput : String -> String) -> IO ()repl prompt fn   = replWith () prompt (\x, s => Just (fn s, ()))