APIRuntime.Prompt
Runtime.Prompt
The REPL’s handler levels.
A with typed at the REPL prompt keeps its handlers installed around the
inputs that follow it, until the level ends. This module is the hook the
REPL uses for that; programs do not call it.
level
level : a -> ()Source
Runs the prompt’s following inputs inside the handlers around the call, until the level ends. Its argument packs the values the prompt’s inputs may use. Only the REPL answers it; in a compiled program the call fails.
