Data.Acid.Memory.Pure

Pure state value used internally. This is not the same as Data.Acid.AcidState from Data.Acid.

We distinguish between events that modify the state and those that do not.

UpdateEvents are executed in a MonadState context and have to be serialized to disk before they are considered durable.

QueryEvents are executed in a MonadReader context and obviously do not have to be serialized to disk.

Events return the same thing as Methods. The exact type of EventResult depends on the event.

All UpdateEvents are also Methods.

All QueryEvents are also Methods.

Context monad for Update events.

Context monad for Query events.

Create an AcidState given an initial value.

Issue an Update event and wait for its result. Once this call returns, you are guaranteed that the changes to the state are durable. Events may be issued in parallel.

It's a run-time error to issue events that aren't supported by the AcidState.

Same as update but ignoring the event result.

Issue a Query event and wait for its result.

Run a query in the Update Monad.

Execute the Update monad in a pure environment.

Execute the Query monad in a pure environment.