A pure specification of getChar and putChar.
The IOTeletype monad
Pure getChar and putChar
getChar :: Teletype :<: f => IOSpec f CharSource
The getChar
function can be used to read a character from the
teletype.
A pure specification of getChar and putChar.
getChar :: Teletype :<: f => IOSpec f CharSource
The getChar
function can be used to read a character from the
teletype.