|
|
|
|
|
|
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.
Creates the prefix directory.
| Queue Saver | Enable queueing.
| Memory (MVar Store) | |
|
|
|
Misc utilities
|
|
|
Use a proxy to force the type of an update action.
|
|
|
|
|
Use a proxy to force the type of a query action.
|
|
|
|
|
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 a_foo :: component -> record -> record and
withFoo = localState foo a_foo.
|
|
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 and ends the TxControl
|
|
|
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 |