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 # | |
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 # | |