System.REPL.Ask

Types

type PromptMsg

type TypeError

type PredicateError

type Predicate m a b

type Predicate' m a

type Parser a

data Asker m a b

type Asker' m a

Exceptions

data SomeREPLError

data SomeAskerError

data AskerTypeError

data AskerPredicateError

data GenericTypeError

data GenericPredicateError

genericTypeError

genericPredicateError

Creating askers

typeAskerP

maybeAskerP

Creating askers via Read

data Verbatim

readParser

asker

lineAsker

typeAsker

predAsker

maybeAsker

Running askers

ask

ask'

askEither

untilValid

Creating predicates

boolPredicate

Example askers

data PathRootDoesNotExist

data PathIsNotWritable

filepathAsker

writablefilepathAsker