System.REPL

String-generic versions of Prelude Functions

putErr

putErrLn

prompt

Prompts

prompt'

promptAbort

Feture-rich reading of user-input

type PromptMsg

type TypeErrorMsg

type PredicateErrorMsg

type Predicate m a

type Parser a

data Asker m a

data AskFailure

askerP

typeAskerP

maybeAskerP

Asking based on Read

readParser

asker

typeAsker

predAsker

maybeAsker

data Verbatim

Running askers

ask

ask'

askEither

untilValid