Safe Haskell	None
Language	Haskell2010

HelVM.HelMA.Automaton.IO.BusinessIO

Documentation

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

type BIO m = (MonadControl m, BusinessIO m) #

class Monad m => BusinessIO m #

Minimal complete definition

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

Instances

Instances details

BusinessIO IO #
Instance details Defined in HelVM.HelMA.Automaton.IO.BusinessIO 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 () #
BusinessIO FreeIO #	Instances
Instance details Defined in HelVM.HelMA.Automaton.IO.FreeIO Methods wPutAsChar :: Integral v => v -> FreeIO () # wPutAsDec :: Integral v => v -> FreeIO () # wGetCharAs :: Integral v => FreeIO v # wGetDecAs :: Integral v => FreeIO v # wPutIntAsChar :: Int -> FreeIO () wPutIntAsDec :: Int -> FreeIO () wGetCharAsInt :: FreeIO Int wGetDecAsInt :: FreeIO Int wGetContentsBS :: FreeIO ByteString # wGetContentsText :: FreeIO Text # wGetContents :: FreeIO String # wGetChar :: FreeIO Char # wGetLine :: FreeIO Text # wPutChar :: Char -> FreeIO () # wPutStr :: Text -> FreeIO () # wPutStrLn :: Text -> FreeIO () # wLogStr :: Text -> FreeIO () # wLogStrLn :: Text -> FreeIO () # wLogShow :: Show s => s -> FreeIO () # wFlush :: FreeIO () #
BusinessIO MockIO #
Instance details Defined in HelVM.HelMA.Automaton.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 () #
BusinessIO (SafeT IO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.BusinessIO 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 () #
BusinessIO (SafeT FreeIO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.FreeIO Methods wPutAsChar :: Integral v => v -> SafeT FreeIO () # wPutAsDec :: Integral v => v -> SafeT FreeIO () # wGetCharAs :: Integral v => SafeT FreeIO v # wGetDecAs :: Integral v => SafeT FreeIO v # wPutIntAsChar :: Int -> SafeT FreeIO () wPutIntAsDec :: Int -> SafeT FreeIO () wGetCharAsInt :: SafeT FreeIO Int wGetDecAsInt :: SafeT FreeIO Int wGetContentsBS :: SafeT FreeIO ByteString # wGetContentsText :: SafeT FreeIO Text # wGetContents :: SafeT FreeIO String # wGetChar :: SafeT FreeIO Char # wGetLine :: SafeT FreeIO Text # wPutChar :: Char -> SafeT FreeIO () # wPutStr :: Text -> SafeT FreeIO () # wPutStrLn :: Text -> SafeT FreeIO () # wLogStr :: Text -> SafeT FreeIO () # wLogStrLn :: Text -> SafeT FreeIO () # wLogShow :: Show s => s -> SafeT FreeIO () # wFlush :: SafeT FreeIO () #
BusinessIO (SafeT MockIO) #
Instance details Defined in HelVM.HelMA.Automaton.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 () #
BusinessIO (ControlT IO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.BusinessIO Methods wPutAsChar :: Integral v => v -> ControlT IO () # wPutAsDec :: Integral v => v -> ControlT IO () # wGetCharAs :: Integral v => ControlT IO v # wGetDecAs :: Integral v => ControlT IO v # wPutIntAsChar :: Int -> ControlT IO () wPutIntAsDec :: Int -> ControlT IO () wGetCharAsInt :: ControlT IO Int wGetDecAsInt :: ControlT IO Int wGetContentsBS :: ControlT IO ByteString # wGetContentsText :: ControlT IO Text # wGetContents :: ControlT IO String # wGetChar :: ControlT IO Char # wGetLine :: ControlT IO Text # wPutChar :: Char -> ControlT IO () # wPutStr :: Text -> ControlT IO () # wPutStrLn :: Text -> ControlT IO () # wLogStr :: Text -> ControlT IO () # wLogStrLn :: Text -> ControlT IO () # wLogShow :: Show s => s -> ControlT IO () # wFlush :: ControlT IO () #
BusinessIO (ControlT FreeIO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.FreeIO Methods wPutAsChar :: Integral v => v -> ControlT FreeIO () # wPutAsDec :: Integral v => v -> ControlT FreeIO () # wGetCharAs :: Integral v => ControlT FreeIO v # wGetDecAs :: Integral v => ControlT FreeIO v # wPutIntAsChar :: Int -> ControlT FreeIO () wPutIntAsDec :: Int -> ControlT FreeIO () wGetCharAsInt :: ControlT FreeIO Int wGetDecAsInt :: ControlT FreeIO Int wGetContentsBS :: ControlT FreeIO ByteString # wGetContentsText :: ControlT FreeIO Text # wGetContents :: ControlT FreeIO String # wGetChar :: ControlT FreeIO Char # wGetLine :: ControlT FreeIO Text # wPutChar :: Char -> ControlT FreeIO () # wPutStr :: Text -> ControlT FreeIO () # wPutStrLn :: Text -> ControlT FreeIO () # wLogStr :: Text -> ControlT FreeIO () # wLogStrLn :: Text -> ControlT FreeIO () # wLogShow :: Show s => s -> ControlT FreeIO () # wFlush :: ControlT FreeIO () #
BusinessIO (ControlT MockIO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.MockIO Methods wPutAsChar :: Integral v => v -> ControlT MockIO () # wPutAsDec :: Integral v => v -> ControlT MockIO () # wGetCharAs :: Integral v => ControlT MockIO v # wGetDecAs :: Integral v => ControlT MockIO v # wPutIntAsChar :: Int -> ControlT MockIO () wPutIntAsDec :: Int -> ControlT MockIO () wGetCharAsInt :: ControlT MockIO Int wGetDecAsInt :: ControlT MockIO Int wGetContentsBS :: ControlT MockIO ByteString # wGetContentsText :: ControlT MockIO Text # wGetContents :: ControlT MockIO String # wGetChar :: ControlT MockIO Char # wGetLine :: ControlT MockIO Text # wPutChar :: Char -> ControlT MockIO () # wPutStr :: Text -> ControlT MockIO () # wPutStrLn :: Text -> ControlT MockIO () # wLogStr :: Text -> ControlT MockIO () # wLogStrLn :: Text -> ControlT MockIO () # wLogShow :: Show s => s -> ControlT MockIO () # wFlush :: ControlT MockIO () #
BusinessIO (ExceptT String IO) #
Instance details Defined in HelVM.HelMA.Automaton.IO.BusinessIO 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 :: (BusinessIO m, Integral v) => v -> m () #

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

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

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

wGetContentsBS :: BusinessIO m => m ByteString #

wGetContentsText :: BusinessIO m => m Text #

wGetContents :: BusinessIO m => m String #

wGetChar :: BusinessIO m => m Char #

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

wGetLine :: BusinessIO m => m Text #

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

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

wFlush :: BusinessIO m => m () #

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

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

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

logStr :: Text -> IO () #

flush :: IO () #