Network.WebSockets.RPC.Trans.Client

Documentation

data WebSocketClientRPCT rep com m a

Instances

MonadState s m => MonadState s (WebSocketClientRPCT rep com m)

Methods

get :: WebSocketClientRPCT rep com m s

put :: s -> WebSocketClientRPCT rep com m ()

state :: (s -> (a, s)) -> WebSocketClientRPCT rep com m a

MonadWriter w m => MonadWriter w (WebSocketClientRPCT rep com m)

Methods

writer :: (a, w) -> WebSocketClientRPCT rep com m a

tell :: w -> WebSocketClientRPCT rep com m ()

listen :: WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m (a, w)

pass :: WebSocketClientRPCT rep com m (a, w -> w) -> WebSocketClientRPCT rep com m a

MonadReader r m => MonadReader r (WebSocketClientRPCT rep com m)

Methods

ask :: WebSocketClientRPCT rep com m r

local :: (r -> r) -> WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m a

reader :: (r -> a) -> WebSocketClientRPCT rep com m a

MonadTrans (WebSocketClientRPCT rep com)

Methods

lift :: Monad m => m a -> WebSocketClientRPCT rep com m a

Monad m => Monad (WebSocketClientRPCT rep com m)

Methods

(>>=) :: WebSocketClientRPCT rep com m a -> (a -> WebSocketClientRPCT rep com m b) -> WebSocketClientRPCT rep com m b

(>>) :: WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m b -> WebSocketClientRPCT rep com m b

return :: a -> WebSocketClientRPCT rep com m a

fail :: String -> WebSocketClientRPCT rep com m a

Functor m => Functor (WebSocketClientRPCT rep com m)

Methods

fmap :: (a -> b) -> WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m b

(<$) :: a -> WebSocketClientRPCT rep com m b -> WebSocketClientRPCT rep com m a

Applicative m => Applicative (WebSocketClientRPCT rep com m)

Methods

pure :: a -> WebSocketClientRPCT rep com m a

(<*>) :: WebSocketClientRPCT rep com m (a -> b) -> WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m b

(*>) :: WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m b -> WebSocketClientRPCT rep com m b

(<*) :: WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m b -> WebSocketClientRPCT rep com m a

MonadIO m => MonadIO (WebSocketClientRPCT rep com m)

Methods

liftIO :: IO a -> WebSocketClientRPCT rep com m a

MonadThrow m => MonadThrow (WebSocketClientRPCT rep com m)

Methods

throwM :: Exception e => e -> WebSocketClientRPCT rep com m a

MonadMask m => MonadMask (WebSocketClientRPCT rep com m)

Methods

mask :: ((forall a. WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m a) -> WebSocketClientRPCT rep com m b) -> WebSocketClientRPCT rep com m b

uninterruptibleMask :: ((forall a. WebSocketClientRPCT rep com m a -> WebSocketClientRPCT rep com m a) -> WebSocketClientRPCT rep com m b) -> WebSocketClientRPCT rep com m b

MonadCatch m => MonadCatch (WebSocketClientRPCT rep com m)

Methods

catch :: Exception e => WebSocketClientRPCT rep com m a -> (e -> WebSocketClientRPCT rep com m a) -> WebSocketClientRPCT rep com m a

Generic (WebSocketClientRPCT rep com m a)

Associated Types

type Rep (WebSocketClientRPCT rep com m a) :: * -> *

Methods

from :: WebSocketClientRPCT rep com m a -> Rep (WebSocketClientRPCT rep com m a) x

to :: Rep (WebSocketClientRPCT rep com m a) x -> WebSocketClientRPCT rep com m a

type Rep (WebSocketClientRPCT rep com m a)

type Rep (WebSocketClientRPCT rep com m a)

runWebSocketClientRPCT' :: Env rep com m -> WebSocketClientRPCT rep com m a -> m a

getClientEnv :: Applicative m => WebSocketClientRPCT rep com m (Env rep com m)

execWebSocketClientRPCT :: MonadIO m => WebSocketClientRPCT rep com m a -> m a

Utilities

freshRPCID :: MonadIO m => WebSocketClientRPCT rep com m RPCID

registerReplyComplete :: MonadIO m => RPCID -> (rep -> m ()) -> (com -> m ()) -> WebSocketClientRPCT rep com m ()

unregisterReplyComplete :: MonadIO m => RPCID -> WebSocketClientRPCT rep com m ()

runReply :: MonadIO m => RPCID -> rep -> WebSocketClientRPCT rep com m ()

runComplete :: MonadIO m => RPCID -> com -> WebSocketClientRPCT rep com m ()