Documentation

newtype Str Source

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

number :: Int -> String -> String Source

short :: Int -> String -> String Source

showErr :: Show a => a -> String Source

oneLine :: String -> String Source

isOneLine :: String -> Bool Source

bold :: String -> String Source

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

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

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

terminalOutput :: Terminal -> IO String Source

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

data Terminal Source

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

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

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