|
|
|
|
|
|
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 a local 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.
|
|
|
|
|
|
|
|
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 HAppS.State.Control |
|
|
Run a transaction system
|
|
|
|
module HAppS.State.ComponentTH |
|
module HAppS.State.ComponentSystem |
|
|
|
|
|
Unsafe things
|
|
|
|
Produced by Haddock version 2.1.0 |