wizards-1.0.2: High level, generic library for interrogative user interfaces

Safe Haskell | Trustworthy
Language | Haskell98

System.Console.Wizard.BasicIO

Contents

- Orphan instances

Synopsis

- data BasicIO a
- basicIO :: Wizard BasicIO a -> Wizard BasicIO a

# Documentation

data BasicIO a Source #

The `BasicIO` backend supports only simple input and output. Support for `Password` and `LinePrewritten` features can be added with a shim from `Shim`.

Instances

Functor BasicIO Source # |
Methods fmap :: (a -> b) -> BasicIO a -> BasicIO b # (<$) :: a -> BasicIO b -> BasicIO a #
Run IO BasicIO Source # |
Methods runAlgebra :: BasicIO (IO v) -> IO v Source #
ArbitraryIO :<: BasicIO Source # |
Methods inj :: ArbitraryIO a -> BasicIO a
Character :<: BasicIO Source # |
Methods inj :: Character a -> BasicIO a
Line :<: BasicIO Source # |
Methods inj :: Line a -> BasicIO a
OutputLn :<: BasicIO Source # |
Methods inj :: OutputLn a -> BasicIO a
Output :<: BasicIO Source # |
Methods inj :: Output a -> BasicIO a

basicIO :: Wizard BasicIO a -> Wizard BasicIO a Source #

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.

# Orphan instances

Run IO ArbitraryIO Source # |
Methods runAlgebra :: ArbitraryIO (IO v) -> IO v Source #
Run IO Character Source # |
Methods runAlgebra :: Character (IO v) -> IO v Source #
Run IO Line Source # |
Methods runAlgebra :: Line (IO v) -> IO v Source #
Run IO OutputLn Source # |
Methods runAlgebra :: OutputLn (IO v) -> IO v Source #
Run IO Output Source # |
Methods runAlgebra :: Output (IO v) -> IO v Source #