System.Console.Wizard.Pure

Documentation

data Pure a

The Pure backend supports only simple input and output. Support for Password and LinePrewritten features can be added with a shim from System.Console.Wizard.Shim.

Instances

Functor Pure

Character :<: Pure

Line :<: Pure

OutputLn :<: Pure

Output :<: Pure

Run (State PureState) Pure

data UnexpectedEOI

Thrown if the wizard ever unexpectedly runs out of input.

Constructors

UnexpectedEOI

Instances

Show UnexpectedEOI

Typeable UnexpectedEOI

Exception UnexpectedEOI

runPure :: Wizard Pure a -> String -> (Maybe a, String)

Run a wizard in the Pure backend

type PureState = ([String], Seq Char)

The pure backend is actually just a simple state monad, with the following state.