Documentation

data SocketRequest Source #

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

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

handleRequestSocket :: forall (es :: [Effect]). (IOE :> es, Concurrent :> es) => ServerOptions -> TVar RunningActions -> Request -> Connection -> Eff (Hyperbole ': es) Response -> Eff es () Source #

sendResponse :: forall (es :: [Effect]). IOE :> es => Connection -> Metadata -> Body -> Eff es () Source #

sendUpdate :: forall (es :: [Effect]). IOE :> es => Connection -> Request -> TargetViewId -> Body -> Eff es () Source #

sendTrigger :: forall (es :: [Effect]). IOE :> es => Connection -> Request -> TargetViewId -> Encoded -> Eff es () Source #

sendEvent :: forall (es :: [Effect]). IOE :> es => Connection -> Request -> Text -> Value -> Eff es () Source #

sendRedirect :: forall (es :: [Effect]). IOE :> es => Connection -> Metadata -> URI -> Eff es () Source #

sendError :: forall (es :: [Effect]). IOE :> es => Connection -> Metadata -> ServerError -> Eff es () Source #

newtype Command Source #

sendRemote :: forall (es :: [Effect]). IOE :> es => Command -> Connection -> Request -> Remote -> Eff es () Source #

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