Safe Haskell | None |
---|
Synopsis
- data IOrep a
- type Line = String
- runProgram :: IOrep () -> [Line] -> NTrace
- 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
Applicative IOrep Source # | |
Functor IOrep Source # | |
Monad IOrep Source # | |
MonadTeletype IOrep Source # | |
Defined in Test.IOTasks.IOrep 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 # |
class Monad m => MonadTeletype (m :: Type -> Type) where Source #
putChar :: Char -> m () Source #
putStr :: String -> m () Source #
putStrLn :: String -> m () Source #
print :: Show a => a -> m () Source #
readLn :: Read a => m a Source #
hSetBuffering :: Handle -> BufferMode -> m () Source #
for compatibility with regular IO programs.
Defaults to
hSetBuffering _ _ = pure ()
.
Instances
MonadTeletype IO Source # | |
Defined in Test.IOTasks.MonadTeletype | |
MonadTeletype IOrep Source # | |
Defined in Test.IOTasks.IOrep 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
data BufferMode #
NoBuffering | |
LineBuffering | |
BlockBuffering (Maybe Int) |
Instances
Read BufferMode | |
Defined in GHC.IO.Handle.Types readsPrec :: Int -> ReadS BufferMode readList :: ReadS [BufferMode] readPrec :: ReadPrec BufferMode readListPrec :: ReadPrec [BufferMode] | |
Show BufferMode | |
Defined in GHC.IO.Handle.Types showsPrec :: Int -> BufferMode -> ShowS show :: BufferMode -> String showList :: [BufferMode] -> ShowS | |
Eq BufferMode | |
Defined in GHC.IO.Handle.Types (==) :: BufferMode -> BufferMode -> Bool (/=) :: BufferMode -> BufferMode -> Bool | |
Ord BufferMode | |
Defined in GHC.IO.Handle.Types compare :: BufferMode -> BufferMode -> Ordering (<) :: BufferMode -> BufferMode -> Bool (<=) :: BufferMode -> BufferMode -> Bool (>) :: BufferMode -> BufferMode -> Bool (>=) :: BufferMode -> BufferMode -> Bool max :: BufferMode -> BufferMode -> BufferMode min :: BufferMode -> BufferMode -> BufferMode |