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 #

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

basicIO :: Wizard BasicIO a -> Wizard BasicIO 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.

# Orphan instances

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