|
|
|
|
|
|
Synopsis |
|
|
|
|
ACID monad
|
|
|
Monad for ACID event handlers.
| Instances | |
|
|
|
ACID computations that work with any state and event types.
|
|
|
|
|
Emit a state query and wait for the result.
|
|
|
Schedule an update and wait for it to complete. When this function returns, you're
guaranteed the update will be persistent.
|
|
|
|
|
|
Types
|
|
|
|
|
|
|
Constructors | TxConfig | | txcCheckpointSeconds :: Seconds | Perform checkpoint at least every N seconds.
| txcOperationMode :: OperationMode | | txcClusterSize :: Int | Number of active nodes in the cluster (not counting this node).
| txcClusterPort :: Int | | txcCommitFrequency :: Int | Commits per second. Only applies to cluster mode.
|
|
|
|
|
|
|
|
Constructors | NullSaver | A saver that discards all output
| FileSaver String | A saver that operates on files. The parameter is the prefix for the files.
| Queue Saver | Enable queueing.
| Memory (MVar Store) | |
|
|
|
Misc utilities
|
|
|
Use a proxy to force the type of an update action.
|
|
|
Forces the type of the proxy and update to match
|
|
|
Use a proxy to force the type of a query action.
|
|
|
Forces the type of proxy and query to match
|
|
|
Currying version of setUpdateType.
|
|
|
Currying version of setQueryType.
|
|
|
Specialized version of ask
|
|
|
Specialized version of get
|
|
|
Specialized version of put.
|
|
|
Lift an STM action into Ev.
|
|
|
| Methods | | | Instances | |
|
|
|
Select a part of the environment.
|
|
|
Run a computation with local state. Changes to state will be visible to outside.
|
|
|
Run a computation with local state.
|
|
|
Execute a Query action in the Update monad.
|
|
|
|
|
|
|
|
|
|
|
Constructors | EventItem | | eventContext :: TxContext | | eventData :: Dynamic | |
|
|
|
|
Random numbers
|
|
|
Get a random number.
|
|
|
Get a random number inside the range.
|
|
TH helpers
|
|
|
Infer updating functions for a record. Given a data declaration
of data Foo = Foo {bar :: String, baz :: Int} then $(inferRecordUpdaters ''Foo)
will define functions a_bar :: String -> Foo -> Foo, withBar :: Update String a -> Update Foo a,
etc. that can be used as convenience updaters.
|
|
Serialization
|
|
module Happstack.Data.Serialize |
|
module Happstack.Data.SerializeTH |
|
module Happstack.State.Control |
|
|
Run the MACID system without multimaster support and with the given Saver.
|
|
|
Run the MACID system with multimaster support turned on if the first
argument is True.
|
|
|
Shuts down a transaction system
|
|
module Happstack.State.ComponentTH |
|
module Happstack.State.ComponentSystem |
|
|
Saves the state and closes the serialization
|
|
|
Creates a checkpoint using the provided TxControl.
This checkpoint may be used as a safe state with which to start the system,
e.g. one may delete all the serialized events that took place after the last
checkpoint and start the application fresh from the checkpoint.
Calling this function manually is the only way to create checkpoints.
|
|
Unsafe things
|
|
|
|
Produced by Haddock version 2.4.2 |