Happstack.State.Types

Synopsis

• data Env = Env {
  • evRandoms :: TVar StdGen
  • evContext :: TxContext
  }
• type TxId = Int64
• type EpochMilli = Int64
• integralRandomR :: (Integral a, RandomGen g) => (a, a) -> g -> (a, g)
• data TxContext = TxContext {
  • txId :: TxId
  • txRand :: Word64
  • txTime :: EpochMilli
  • txStdGen :: StdGen
  }
• type AnyEv a = forall t. (Monad (t STM), MonadTrans t) => Ev (t STM) a
• newtype Ev m t = Ev {
  • unEv :: Env -> m t
  }
• 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