readline is:exact
Read in a line from
stdin
Returns
Nothing if at end of input
Not on Stackage, so not searched.
An interface to the GNU readline library
Deprecated: (Since version 1.38)
Line reader. The line reader history is not stored between sessions.
readline prompt: Read (multi-line) input from the user with
rich editing abilities. Takes the prompt text as an argument. The full
prompt is the combination of the given prompt and the prompt marker
(
"> " by default) . See also
readlineEx,
readlineMaybe,
enableMultiline, and
setPromptMarker.