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

Safe HaskellTrustworthy
LanguageHaskell98

System.Console.Wizard.BasicIO

Contents

Synopsis

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