System.Console.Wizard.BasicIO

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

Defined in System.Console.Wizard.BasicIO

Methods

fmap :: (a -> b) -> BasicIO a -> BasicIO b

(<$) :: a -> BasicIO b -> BasicIO a

Run IO BasicIO

Defined in System.Console.Wizard.BasicIO

Methods

runAlgebra :: BasicIO (IO v) -> IO v

ArbitraryIO :<: BasicIO

Defined in System.Console.Wizard.BasicIO

Methods

inj :: ArbitraryIO a -> BasicIO a

Character :<: BasicIO

Defined in System.Console.Wizard.BasicIO

Methods

inj :: Character a -> BasicIO a

Line :<: BasicIO

Defined in System.Console.Wizard.BasicIO

Methods

inj :: Line a -> BasicIO a

OutputLn :<: BasicIO

Defined in System.Console.Wizard.BasicIO

Methods

inj :: OutputLn a -> BasicIO a

Output :<: BasicIO

Defined in System.Console.Wizard.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