Safe Haskell	None

Test.IOTasks.IOrep

Contents

Synopsis

data IOrep a
type Line = String
runProgram :: IOrep () -> [Line] -> AbstractTrace
class Monad m => MonadTeletype (m :: Type -> Type) where
- putChar :: Char -> m ()
- getChar :: m Char
- putStr :: String -> m ()
- putStrLn :: String -> m ()
- print :: Show a => a -> m ()
- getLine :: m String
- readLn :: Read a => m a
- hSetBuffering :: Handle -> BufferMode -> m ()
data BufferMode
- = NoBuffering
- | LineBuffering
- | BlockBuffering (Maybe Int)
stdout :: Handle

Documentation

Instances details

Applicative IOrep Source #
Instance details Defined in Test.IOTasks.IOrep Methods pure :: a -> IOrep a (<>) :: IOrep (a -> b) -> IOrep a -> IOrep b liftA2 :: (a -> b -> c) -> IOrep a -> IOrep b -> IOrep c (>) :: IOrep a -> IOrep b -> IOrep b (<*) :: IOrep a -> IOrep b -> IOrep a
Functor IOrep Source #
Instance details Defined in Test.IOTasks.IOrep Methods fmap :: (a -> b) -> IOrep a -> IOrep b (<$) :: a -> IOrep b -> IOrep a
Monad IOrep Source #
Instance details Defined in Test.IOTasks.IOrep Methods (>>=) :: IOrep a -> (a -> IOrep b) -> IOrep b (>>) :: IOrep a -> IOrep b -> IOrep b return :: a -> IOrep a
MonadTeletype IOrep Source #
Instance details Defined in Test.IOTasks.IOrep Methods putChar :: Char -> IOrep () Source # getChar :: IOrep Char Source # putStr :: String -> IOrep () Source # putStrLn :: String -> IOrep () Source # print :: Show a => a -> IOrep () Source # getLine :: IOrep String Source # readLn :: Read a => IOrep a Source # hSetBuffering :: Handle -> BufferMode -> IOrep () Source #

type Line = String Source #

class Monad m => MonadTeletype (m :: Type -> Type) where Source #

Minimal complete definition

Methods

putChar :: Char -> m () Source #

putStr :: String -> m () Source #

putStrLn :: String -> m () Source #

print :: Show a => a -> m () Source #

readLn :: Read a => m a Source #

for compatibility with regular IO programs.

Defaults to hSetBuffering _ _ = pure ().

Instances details

MonadTeletype IO Source #
Instance details Defined in Test.IOTasks.MonadTeletype Methods putChar :: Char -> IO () Source # getChar :: IO Char Source # putStr :: String -> IO () Source # putStrLn :: String -> IO () Source # print :: Show a => a -> IO () Source # getLine :: IO String Source # readLn :: Read a => IO a Source # hSetBuffering :: Handle -> BufferMode -> IO () Source #
MonadTeletype IOrep Source #
Instance details Defined in Test.IOTasks.IOrep Methods putChar :: Char -> IOrep () Source # getChar :: IOrep Char Source # putStr :: String -> IOrep () Source # putStrLn :: String -> IOrep () Source # print :: Show a => a -> IOrep () Source # getLine :: IOrep String Source # readLn :: Read a => IOrep a Source # hSetBuffering :: Handle -> BufferMode -> IOrep () Source #

Re-exports from System.IO

Constructors

Instances details

Read BufferMode
Instance details Defined in GHC.IO.Handle.Types Methods readsPrec :: Int -> ReadS BufferMode readList :: ReadS [BufferMode] readPrec :: ReadPrec BufferMode readListPrec :: ReadPrec [BufferMode]
Show BufferMode
Instance details Defined in GHC.IO.Handle.Types Methods showsPrec :: Int -> BufferMode -> ShowS show :: BufferMode -> String showList :: [BufferMode] -> ShowS
Eq BufferMode
Instance details Defined in GHC.IO.Handle.Types Methods (==) :: BufferMode -> BufferMode -> Bool (/=) :: BufferMode -> BufferMode -> Bool
Ord BufferMode
Instance details Defined in GHC.IO.Handle.Types Methods compare :: BufferMode -> BufferMode -> Ordering (<) :: BufferMode -> BufferMode -> Bool (<=) :: BufferMode -> BufferMode -> Bool (>) :: BufferMode -> BufferMode -> Bool (>=) :: BufferMode -> BufferMode -> Bool max :: BufferMode -> BufferMode -> BufferMode min :: BufferMode -> BufferMode -> BufferMode

stdout :: Handle #