Safe Haskell	None
Language	Haskell2010

HelVM.HelIO.IO.MockIO

Documentation

ioExecMockIOBatch :: BusinessT MockIO () -> IO MockIOData #

ioExecMockIOWithInput :: Text -> BusinessT MockIO () -> IO MockIOData #

safeExecMockIOBatch :: BusinessT MockIO () -> Safe MockIOData #

safeExecMockIOWithInput :: Text -> BusinessT MockIO () -> Safe MockIOData #

execMockIOBatch :: MockIO () -> MockIOData #

execMockIOWithInput :: Text -> MockIO () -> MockIOData #

runMockIO :: Text -> MockIO UnitSafeWithMessages -> MockIOData #

createMockIO :: Text -> MockIOData #

calculateOutput :: MockIOData -> Text #

calculateLogged :: MockIOData -> Text #

type MockIO = State MockIOData #

data MockIOData #

Instances

Instances details

Eq MockIOData #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods (==) :: MockIOData -> MockIOData -> Bool # (/=) :: MockIOData -> MockIOData -> Bool #
Read MockIOData #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods readsPrec :: Int -> ReadS MockIOData # readList :: ReadS [MockIOData] # readPrec :: ReadPrec MockIOData # readListPrec :: ReadPrec [MockIOData] #
Show MockIOData #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods showsPrec :: Int -> MockIOData -> ShowS # show :: MockIOData -> String # showList :: [MockIOData] -> ShowS #
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 () #
FileReaderIO (BusinessT MockIO) #
Instance details Defined in HelVM.HelIO.IO.MockIO Methods wReadFile :: FilePath -> BusinessT MockIO Text #
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 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 () #