| Safe Haskell | Trustworthy |
|---|
System.Console.Wizard.Haskeline
- data UnexpectedEOF = UnexpectedEOF
- data Haskeline a
- haskeline :: Wizard Haskeline a -> Wizard Haskeline a
- withSettings :: WithSettings :<: b => Settings IO -> Wizard b a -> Wizard b a
- data WithSettings w = WithSettings (Settings IO) w
Documentation
data UnexpectedEOF Source
The Haskeline back-end will throw this exception if EOF is encountered
when it is not expected. Specifically, when actions such as getInputLine return Nothing.
Constructors
| UnexpectedEOF |
Haskeline supports all the following features completely.
haskeline :: Wizard Haskeline a -> Wizard Haskeline aSource
A simple identity function, used to restrict types if the type inferred by GHC is too general. You could achieve the same effect with a type signature, but this is slightly less typing.
withSettings :: WithSettings :<: b => Settings IO -> Wizard b a -> Wizard b aSource
Modifies a wizard so that it will run with different Haskeline Settings to the top level input monad.