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

Instances details

Functor BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods fmap :: (a -> b) -> BasicIO a -> BasicIO b # (<$) :: a -> BasicIO b -> BasicIO a #
Run IO BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods runAlgebra :: BasicIO (IO v) -> IO v Source #
ArbitraryIO :<: BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods inj :: ArbitraryIO a -> BasicIO a
Character :<: BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods inj :: Character a -> BasicIO a
Line :<: BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods inj :: Line a -> BasicIO a
OutputLn :<: BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO Methods inj :: OutputLn a -> BasicIO a
Output :<: BasicIO Source #
Instance details Defined in System.Console.Wizard.BasicIO 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 #
Instance details Methods runAlgebra :: ArbitraryIO (IO v) -> IO v Source #
Run IO Character Source #
Instance details Methods runAlgebra :: Character (IO v) -> IO v Source #
Run IO Line Source #
Instance details Methods runAlgebra :: Line (IO v) -> IO v Source #
Run IO OutputLn Source #
Instance details Methods runAlgebra :: OutputLn (IO v) -> IO v Source #
Run IO Output Source #
Instance details Methods runAlgebra :: Output (IO v) -> IO v Source #