Safe Haskell	None
Language	Haskell2010

HelVM.HelMA.Automaton.IO.MockIO

Documentation

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

ioExecMockIOWithInput :: Input -> ControlT MockIO () -> IO MockIOData #

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

safeExecMockIOWithInput :: Input -> ControlT MockIO () -> Safe MockIOData #

execMockIOBatch :: MockIO () -> MockIOData #

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

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

createMockIO :: Input -> MockIOData #

calculateOutput :: MockIOData -> Output #

calculateLogged :: MockIOData -> Output #

type MockIO = State MockIOData #

data MockIOData #

Instances

Instances details

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