Test.QuickCheck.Text

Terminal control. Internal QuickCheck module.

Documentation

newtype Str

Constructors

MkStr String

Instances

Show Str

Defined in Test.QuickCheck.Text

Methods

showsPrec :: Int -> Str -> ShowS

show :: Str -> String

showList :: [Str] -> ShowS

ranges :: (Show a, Integral a) => a -> a -> Str

number :: Int -> String -> String

short :: Int -> String -> String

showErr :: Show a => a -> String

oneLine :: String -> String

isOneLine :: String -> Bool

bold :: String -> String

newTerminal :: (String -> IO ()) -> (String -> IO ()) -> IO Terminal

withStdioTerminal :: (Terminal -> IO a) -> IO a

withNullTerminal :: (Terminal -> IO a) -> IO a

terminalOutput :: Terminal -> IO String

handle :: Handle -> String -> IO ()

data Terminal

putTemp :: Terminal -> String -> IO ()

putPart :: Terminal -> String -> IO ()

putLine :: Terminal -> String -> IO ()