Moduleacid-state-0.16.1.4Haskell2010

Data.Acid.Advanced

Home of the more specialized functions.

1 type
2 classes
7 values

Packageacid-state-0.16.1.4
Exports10
LanguageHaskell2010
LicenceLicenseRef-PublicDomain
SourceAdvanced.hs

valuescheduleUpdate

:: UpdateEvent event
=> AcidState (EventState event)
-> event
-> IO (MVar (EventResult event))

Issue an Update event and return immediately. The event is not durable before the MVar has been filled but the order of events is honored. The behavior in case of exceptions is exactly the same as for update.

If EventA is scheduled before EventB, EventA will be executed before EventB:

do scheduleUpdate acid EventA
   scheduleUpdate acid EventB

valuegroupUpdates

:: UpdateEvent event
=> AcidState (EventState event)
-> [event]
-> IO ()

Schedule multiple Update events and wait for them to be durable, but throw away their results. This is useful for importing existing datasets into an AcidState.

valueupdate'

:: (UpdateEvent event, MonadIO m)
=> AcidState (EventState event)
-> event
-> m (EventResult event)

Same as update but lifted into any monad capable of doing IO.

valuequery'

:: (QueryEvent event, MonadIO m)
=> AcidState (EventState event)
-> event
-> m (EventResult event)

Same as query but lifted into any monad capable of doing IO.

classclass Method ev where

The basic Method class. Each Method has an indexed result type and a unique tag.

Associated types

type family MethodResult ev
type family MethodState ev

Methods

methodTag :: ev -> Tag

classclass IsAcidic st where

Methods

acidEvents :: [Event st]

datadata Event st where

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.

Constructors

UpdateEvent :: UpdateEvent ev => (ev -> Update (EventState ev) (EventResult ev)) -> MethodSerialiser ev -> Event (MethodState ev)
QueryEvent :: QueryEvent ev => (ev -> Query (EventState ev) (EventResult ev)) -> MethodSerialiser ev -> Event (MethodState ev)

valuesafeCopySerialiser :: SafeCopy a => Serialiser a

Default implementation of Serialiser interface using SafeCopy.

valuesafeCopyMethodSerialiser :: (SafeCopy method, SafeCopy (MethodResult method)) => MethodSerialiser method

Default implementation of MethodSerialiser interface using SafeCopy.

valuedefaultArchiver :: Archiver

Standard (and historically the only) implementation of the Archiver interface. This represents each entry in the following format:

| entry length | crc16   | entry   |
| 8 bytes      | 2 bytes | n bytes |