Documentation

data SocketRequest Source #

type RunningActions = Map TargetViewId (Encoded, Async ()) Source #

runHyperboleSocket :: IOE :> es => ServerOptions -> Connection -> Request -> Eff (Hyperbole : es) Response -> Eff es (Response, Client, [Remote]) Source #

handleRequestSocket :: (IOE :> es, Concurrent :> es) => ServerOptions -> TVar RunningActions -> Request -> Connection -> Eff (Hyperbole : es) Response -> Eff es () Source #

sendResponse :: IOE :> es => Connection -> Metadata -> Body -> Eff es () Source #

sendUpdate :: IOE :> es => Connection -> Request -> TargetViewId -> Body -> Eff es () Source #

sendTrigger :: IOE :> es => Connection -> Request -> TargetViewId -> Encoded -> Eff es () Source #

sendEvent :: IOE :> es => Connection -> Request -> Text -> Value -> Eff es () Source #

sendRedirect :: IOE :> es => Connection -> Metadata -> URI -> Eff es () Source #

sendError :: IOE :> es => Connection -> Metadata -> ServerError -> Eff es () Source #

newtype Command Source #

sendRemote :: IOE :> es => Command -> Connection -> Request -> Remote -> Eff es () Source #

sendMessage :: MonadIO m => Command -> Connection -> Metadata -> RenderedMessage -> m () Source #