System.REPL.Types

type TypeError

type PredicateError

type PromptMsg

type Predicate m a b

type Predicate' m a

type Parser a

data Asker m a b

type Asker' m a

data SomeREPLError

replErrorUpcast

replErrorDowncast

data SomeAskerError

askerErrorUpcast

askerErrorDowncast

data AskerTypeError

data AskerPredicateError

data AskerInputAbortedError

data GenericTypeError

genericTypeError

data GenericPredicateError

genericPredicateError

data Verbatim

data PathExistenceType

data PathRootDoesNotExist

data PathIsNotWritable

data SomeCommandError

commandErrorUpcast

commandErrorDowncast

data MalformedParamsError

data TooManyParamsError

data TooFewParamsError

data Command m i a

data NoConfigFileParseError