| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell98 |
System.Console.Wizard.Haskeline
Contents
Synopsis
- data UnexpectedEOF = UnexpectedEOF
- data Haskeline a
- haskeline :: Wizard Haskeline a -> Wizard Haskeline a
- withSettings :: forall (b :: Type -> Type) a. WithSettings :<: b => Settings IO -> Wizard b a -> Wizard b a
- data WithSettings w = WithSettings (Settings IO) w
Documentation
data UnexpectedEOF #
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 |
Instances
| Exception UnexpectedEOF # | |
Defined in System.Console.Wizard.Haskeline Methods toException :: UnexpectedEOF -> SomeException # fromException :: SomeException -> Maybe UnexpectedEOF # displayException :: UnexpectedEOF -> String # backtraceDesired :: UnexpectedEOF -> Bool # | |
| Show UnexpectedEOF # | |
Defined in System.Console.Wizard.Haskeline Methods showsPrec :: Int -> UnexpectedEOF -> ShowS # show :: UnexpectedEOF -> String # showList :: [UnexpectedEOF] -> ShowS # | |
Haskeline supports all the following features completely.
Instances
| Functor Haskeline # | |
| WithSettings :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline Methods inj :: WithSettings a -> Haskeline a | |
| ArbitraryIO :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline Methods inj :: ArbitraryIO a -> Haskeline a | |
| Character :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
| Line :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
| LinePrewritten :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline Methods inj :: LinePrewritten a -> Haskeline a | |
| Output :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
| OutputLn :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
| Password :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
| Run (InputT IO) Haskeline # | |
Defined in System.Console.Wizard.Haskeline | |
haskeline :: Wizard Haskeline a -> Wizard Haskeline a #
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 :: forall (b :: Type -> Type) a. WithSettings :<: b => Settings IO -> Wizard b a -> Wizard b a #
Modifies a wizard so that it will run with different Haskeline Settings to the top level input monad.
data WithSettings w #
Constructors
| WithSettings (Settings IO) w |
Instances
| Functor WithSettings # | |
Defined in System.Console.Wizard.Haskeline Methods fmap :: (a -> b) -> WithSettings a -> WithSettings b # (<$) :: a -> WithSettings b -> WithSettings a # | |
| WithSettings :<: Haskeline # | |
Defined in System.Console.Wizard.Haskeline Methods inj :: WithSettings a -> Haskeline a | |
| Run (InputT IO) WithSettings # | |
Defined in System.Console.Wizard.Haskeline Methods runAlgebra :: WithSettings (InputT IO v) -> InputT IO v # | |
Orphan instances
| Run (InputT IO) ArbitraryIO # | |
Methods runAlgebra :: ArbitraryIO (InputT IO v) -> InputT IO v # | |
| Run (InputT IO) Character # | |
| Run (InputT IO) Line # | |
| Run (InputT IO) LinePrewritten # | |
Methods runAlgebra :: LinePrewritten (InputT IO v) -> InputT IO v # | |
| Run (InputT IO) Output # | |
| Run (InputT IO) OutputLn # | |
| Run (InputT IO) Password # | |