Data.Acid
data AcidState st
openLocalState
openLocalStateFrom
closeAcidState
createCheckpoint
update
query
type EventResult ev
type EventState ev
class UpdateEvent ev
class QueryEvent ev
data Update st a
data Query st a
class IsAcidic st
makeAcidic
runQuery