Safe Haskell	None
Language	Haskell2010

HelVM.HelIO.IO.Console

Documentation

type Element e = (ReadShow e, Integral e, Default e) #

class Monad m => ConsoleIO m #

Minimal complete definition

wGetContentsBS, wGetContentsText, wGetContents, wGetChar, wGetLine, wPutChar, wPutStr, wLogStr

Instances

Instances details

ConsoleIO IO #
Instance details Defined in HelVM.HelIO.IO.Console Methods wPutAsChar :: Integral v => v -> IO () # wPutAsDec :: Integral v => v -> IO () # wGetCharAs :: Integral v => IO v # wGetDecAs :: Integral v => IO v # wPutIntAsChar :: Int -> IO () wPutIntAsDec :: Int -> IO () wGetCharAsInt :: IO Int wGetDecAsInt :: IO Int wGetContentsBS :: IO ByteString # wGetContentsText :: IO Text # wGetContents :: IO String # wGetChar :: IO Char # wGetLine :: IO Text # wPutChar :: Char -> IO () # wPutStr :: Text -> IO () # wPutStrLn :: Text -> IO () # wLogStr :: Text -> IO () # wLogStrLn :: Text -> IO () # wLogShow :: Show s => s -> IO () # wFlush :: IO () #
ConsoleIO MockIO #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods wPutAsChar :: Integral v => v -> MockIO () # wPutAsDec :: Integral v => v -> MockIO () # wGetCharAs :: Integral v => MockIO v # wGetDecAs :: Integral v => MockIO v # wPutIntAsChar :: Int -> MockIO () wPutIntAsDec :: Int -> MockIO () wGetCharAsInt :: MockIO Int wGetDecAsInt :: MockIO Int wGetContentsBS :: MockIO ByteString # wGetContentsText :: MockIO Text # wGetContents :: MockIO String # wGetChar :: MockIO Char # wGetLine :: MockIO Text # wPutChar :: Char -> MockIO () # wPutStr :: Text -> MockIO () # wPutStrLn :: Text -> MockIO () # wLogStr :: Text -> MockIO () # wLogStrLn :: Text -> MockIO () # wLogShow :: Show s => s -> MockIO () # wFlush :: MockIO () #
ConsoleIO (SafeT IO) #
Instance details Defined in HelVM.HelIO.IO.Console Methods wPutAsChar :: Integral v => v -> SafeT IO () # wPutAsDec :: Integral v => v -> SafeT IO () # wGetCharAs :: Integral v => SafeT IO v # wGetDecAs :: Integral v => SafeT IO v # wPutIntAsChar :: Int -> SafeT IO () wPutIntAsDec :: Int -> SafeT IO () wGetCharAsInt :: SafeT IO Int wGetDecAsInt :: SafeT IO Int wGetContentsBS :: SafeT IO ByteString # wGetContentsText :: SafeT IO Text # wGetContents :: SafeT IO String # wGetChar :: SafeT IO Char # wGetLine :: SafeT IO Text # wPutChar :: Char -> SafeT IO () # wPutStr :: Text -> SafeT IO () # wPutStrLn :: Text -> SafeT IO () # wLogStr :: Text -> SafeT IO () # wLogStrLn :: Text -> SafeT IO () # wLogShow :: Show s => s -> SafeT IO () # wFlush :: SafeT IO () #
ConsoleIO (SafeT MockIO) #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods wPutAsChar :: Integral v => v -> SafeT MockIO () # wPutAsDec :: Integral v => v -> SafeT MockIO () # wGetCharAs :: Integral v => SafeT MockIO v # wGetDecAs :: Integral v => SafeT MockIO v # wPutIntAsChar :: Int -> SafeT MockIO () wPutIntAsDec :: Int -> SafeT MockIO () wGetCharAsInt :: SafeT MockIO Int wGetDecAsInt :: SafeT MockIO Int wGetContentsBS :: SafeT MockIO ByteString # wGetContentsText :: SafeT MockIO Text # wGetContents :: SafeT MockIO String # wGetChar :: SafeT MockIO Char # wGetLine :: SafeT MockIO Text # wPutChar :: Char -> SafeT MockIO () # wPutStr :: Text -> SafeT MockIO () # wPutStrLn :: Text -> SafeT MockIO () # wLogStr :: Text -> SafeT MockIO () # wLogStrLn :: Text -> SafeT MockIO () # wLogShow :: Show s => s -> SafeT MockIO () # wFlush :: SafeT MockIO () #
ConsoleIO (BusinessT IO) #
Instance details Defined in HelVM.HelIO.IO.Console Methods wPutAsChar :: Integral v => v -> BusinessT IO () # wPutAsDec :: Integral v => v -> BusinessT IO () # wGetCharAs :: Integral v => BusinessT IO v # wGetDecAs :: Integral v => BusinessT IO v # wPutIntAsChar :: Int -> BusinessT IO () wPutIntAsDec :: Int -> BusinessT IO () wGetCharAsInt :: BusinessT IO Int wGetDecAsInt :: BusinessT IO Int wGetContentsBS :: BusinessT IO ByteString # wGetContentsText :: BusinessT IO Text # wGetContents :: BusinessT IO String # wGetChar :: BusinessT IO Char # wGetLine :: BusinessT IO Text # wPutChar :: Char -> BusinessT IO () # wPutStr :: Text -> BusinessT IO () # wPutStrLn :: Text -> BusinessT IO () # wLogStr :: Text -> BusinessT IO () # wLogStrLn :: Text -> BusinessT IO () # wLogShow :: Show s => s -> BusinessT IO () # wFlush :: BusinessT IO () #
ConsoleIO (BusinessT MockIO) #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods wPutAsChar :: Integral v => v -> BusinessT MockIO () # wPutAsDec :: Integral v => v -> BusinessT MockIO () # wGetCharAs :: Integral v => BusinessT MockIO v # wGetDecAs :: Integral v => BusinessT MockIO v # wPutIntAsChar :: Int -> BusinessT MockIO () wPutIntAsDec :: Int -> BusinessT MockIO () wGetCharAsInt :: BusinessT MockIO Int wGetDecAsInt :: BusinessT MockIO Int wGetContentsBS :: BusinessT MockIO ByteString # wGetContentsText :: BusinessT MockIO Text # wGetContents :: BusinessT MockIO String # wGetChar :: BusinessT MockIO Char # wGetLine :: BusinessT MockIO Text # wPutChar :: Char -> BusinessT MockIO () # wPutStr :: Text -> BusinessT MockIO () # wPutStrLn :: Text -> BusinessT MockIO () # wLogStr :: Text -> BusinessT MockIO () # wLogStrLn :: Text -> BusinessT MockIO () # wLogShow :: Show s => s -> BusinessT MockIO () # wFlush :: BusinessT MockIO () #
ConsoleIO (ExceptT String IO) #
Instance details Defined in HelVM.HelIO.IO.Console Methods wPutAsChar :: Integral v => v -> ExceptT String IO () # wPutAsDec :: Integral v => v -> ExceptT String IO () # wGetCharAs :: Integral v => ExceptT String IO v # wGetDecAs :: Integral v => ExceptT String IO v # wPutIntAsChar :: Int -> ExceptT String IO () wPutIntAsDec :: Int -> ExceptT String IO () wGetCharAsInt :: ExceptT String IO Int wGetDecAsInt :: ExceptT String IO Int wGetContentsBS :: ExceptT String IO ByteString # wGetContentsText :: ExceptT String IO Text # wGetContents :: ExceptT String IO String # wGetChar :: ExceptT String IO Char # wGetLine :: ExceptT String IO Text # wPutChar :: Char -> ExceptT String IO () # wPutStr :: Text -> ExceptT String IO () # wPutStrLn :: Text -> ExceptT String IO () # wLogStr :: Text -> ExceptT String IO () # wLogStrLn :: Text -> ExceptT String IO () # wLogShow :: Show s => s -> ExceptT String IO () # wFlush :: ExceptT String IO () #

wPutAsChar :: (ConsoleIO m, Integral v) => v -> m () #

wPutAsDec :: (ConsoleIO m, Integral v) => v -> m () #

wGetCharAs :: (ConsoleIO m, Integral v) => m v #

wGetDecAs :: (ConsoleIO m, Integral v) => m v #

wGetContentsBS :: ConsoleIO m => m ByteString #

wGetContentsText :: ConsoleIO m => m Text #

wGetContents :: ConsoleIO m => m String #

wGetChar :: ConsoleIO m => m Char #

wPutChar :: ConsoleIO m => Char -> m () #

wGetLine :: ConsoleIO m => m Text #

wPutStr :: ConsoleIO m => Text -> m () #

wPutStrLn :: ConsoleIO m => Text -> m () #

wFlush :: ConsoleIO m => m () #

wLogStr :: ConsoleIO m => Text -> m () #

wLogStrLn :: ConsoleIO m => Text -> m () #

wLogShow :: (ConsoleIO m, Show s) => s -> m () #

logStr :: Text -> IO () #

flush :: IO () #