Test.IOSpec.Teletype

A pure specification of getChar and putChar.

The IOTeletype monad

data Teletype a

An expression of type IOSpec Teletype a corresponds to an IO computation that may print to or read from stdout and stdin respectively.

There is a minor caveat here. I assume that stdin and stdout are not buffered. This is not the standard behaviour in many Haskell compilers.

Instances

Functor Teletype

Executable Teletype

Pure getChar and putChar

getChar :: (:<:) Teletype f => IOSpec f Char

The getChar function can be used to read a character from the teletype.

putChar :: Teletype :<: f => Char -> IOSpec f ()

The getChar function can be used to print a character to the teletype.

putStr :: Teletype :<: f => String -> IOSpec f ()

putStrLn :: Teletype :<: f => String -> IOSpec f ()

getLine :: Teletype :<: f => IOSpec f String