| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.API.WSServer
Synopsis
- wsApp :: forall tx. IsChainState tx => Environment -> Party -> Tracer IO APIServerLog -> ConduitT () (TimedServerOutput tx) (ResourceT IO) () -> (ClientInput tx -> IO ()) -> Projection STM (StateChanged tx) (HeadState tx) -> Projection STM (StateChanged tx) (Maybe HeadId) -> TChan (Either (TimedServerOutput tx) (ClientMessage tx)) -> ServerOutputFilter tx -> PendingConnection -> IO ()
- getHeadStatus :: HeadState tx -> HeadStatus
Documentation
Arguments
| :: forall tx. IsChainState tx | |
| => Environment | |
| -> Party | |
| -> Tracer IO APIServerLog | |
| -> ConduitT () (TimedServerOutput tx) (ResourceT IO) () | |
| -> (ClientInput tx -> IO ()) | |
| -> Projection STM (StateChanged tx) (HeadState tx) | Read model to enhance |
| -> Projection STM (StateChanged tx) (Maybe HeadId) | Read model to enhance |
| -> TChan (Either (TimedServerOutput tx) (ClientMessage tx)) | |
| -> ServerOutputFilter tx | |
| -> PendingConnection | |
| -> IO () |
getHeadStatus :: HeadState tx -> HeadStatus Source #
Get the content of $sel:headStatus:Greetings field in Greetings message from the full HeadState.