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