SSTG.Utils.FileIO

File IO

Documentation

writeState :: FilePath -> State -> IO ()

Write State to a target file.

readState :: FilePath -> IO (Maybe State)

Recover a State from a stored file. Nothing denotes failure.

writePrettyState :: FilePath -> ([LiveState], [DeadState]) -> IO ()

Write a pretty-printed state to a file. Do not use this for execution State recovery; use writeState instead.