Safe Haskell | None |
---|
- data Env = Env {}
- type TxId = Int64
- type EpochMilli = Int64
- data TxContext = TxContext {}
- type AnyEv a = forall t. (Monad (t STM), MonadTrans t) => Ev (t STM) a
- newtype Ev m t = Ev {}
- type Query state = Ev (ReaderT state STM)
- type Update state = Ev (StateT state STM)
- unsafeIOToEv :: IO a -> AnyEv a
- unsafeSTMToEv :: STM a -> AnyEv a
- unsafeIOToSTM :: IO a -> STM a
- newtype Shadow t a = Shadow {
- unShadow :: a
- newtype UsingXml a = UsingXml {
- unXml :: a
Documentation
type EpochMilli = Int64Source
type AnyEv a = forall t. (Monad (t STM), MonadTrans t) => Ev (t STM) aSource
ACID computations that work with any state and event types.
Monad for ACID event handlers.
unsafeIOToEv :: IO a -> AnyEv aSource
unsafeSTMToEv :: STM a -> AnyEv aSource
unsafeIOToSTM :: IO a -> STM aSource