Serokell.AcidState.Util

Some useful functions to work with Data.Acid.

Documentation

Simple helpers

exceptStateToUpdate :: Exception e => ExceptT e (State s) a -> Update s a

exceptStateToUpdateGeneric :: Exception exc => (e -> exc) -> ExceptT e (State s) a -> Update s a

readerToQuery :: Reader s a -> Query s a

stateToUpdate :: State s a -> Update s a

Utilities

createAndDiscardArchive :: MonadIO m => AcidState st -> FilePath -> m ()

Archive unnecessary data (see createArchive docs for details) and discard it. Works for local state.

tidyLocalState :: MonadIO m => AcidState st -> FilePath -> m ()

Apply all updates and remove all data from local state which is unnecessary for state restoration.