Documentation

data FileLog object #

data LogKey object #

type EntryId = Int #

openFileLog :: LogKey object -> IO (FileLog object) #

closeFileLog :: FileLog object -> IO () #

pushEntry :: SafeCopy object => FileLog object -> object -> IO () -> IO () #

pushAction :: FileLog object -> IO () -> IO () #

ensureLeastEntryId :: FileLog object -> EntryId -> IO () #

readEntriesFrom :: SafeCopy object => FileLog object -> EntryId -> IO [object] #

rollbackTo :: SafeCopy object => LogKey object -> EntryId -> IO () #

rollbackWhile :: SafeCopy object => LogKey object -> (object -> Bool) -> IO () #

newestEntry :: SafeCopy object => LogKey object -> IO (Maybe object) #

askCurrentEntryId :: FileLog object -> IO EntryId #

cutFileLog :: FileLog object -> IO EntryId #

archiveFileLog :: FileLog object -> EntryId -> IO () #