Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type RegisteredTopicSubscriptions m = TMapMVar Topic (Value -> m (), m ())
- registerSubscription :: Env m -> Topic -> (Value -> m ()) -> m () -> STM ()
- removeSubscription :: Env m -> Topic -> STM ()
- callReject :: MonadIO m => Env m -> Topic -> m ()
- callOnReceive :: MonadIO m => Env m -> Topic -> Value -> m ()
- newtype SparrowClientT m a = SparrowClientT {
- runSparrowClientT :: ReaderT (Env m) m a
- data Env m = Env {
- envSendDelta :: WSIncoming (WithTopic Value) -> m ()
- envSendInit :: Topic -> Value -> m (Maybe Value)
- envSubscriptions :: !(RegisteredTopicSubscriptions m)
- ask' :: Applicative m => SparrowClientT m (Env m)
- data SparrowClientException
Internal Machinery
Context
newtype SparrowClientT m a Source #
SparrowClientT | |
|
MonadTrans SparrowClientT Source # | |
MonadWriter w m => MonadWriter w (SparrowClientT m) Source # | |
MonadState s m => MonadState s (SparrowClientT m) Source # | |
MonadReader r m => MonadReader r (SparrowClientT m) Source # | |
Monad m => Monad (SparrowClientT m) Source # | |
Functor m => Functor (SparrowClientT m) Source # | |
Applicative m => Applicative (SparrowClientT m) Source # | |
MonadIO m => MonadIO (SparrowClientT m) Source # | |
MonadThrow m => MonadThrow (SparrowClientT m) Source # | |
MonadCatch m => MonadCatch (SparrowClientT m) Source # | |
MonadMask m => MonadMask (SparrowClientT m) Source # | |
Env | |
|
ask' :: Applicative m => SparrowClientT m (Env m) Source #