| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.TUI.Drawing.MainTab
Synopsis
- drawMainTab :: CardanoClient -> Client Tx IO -> RootState -> Widget Name
- drawConnectedStatus :: RootState -> Widget n
- drawNetworkState :: ConnectedState -> Widget n
- drawChainSyncedState :: ConnectedState -> Widget n
- drawPeers :: ConnectedState -> [(Host, PeerStatus)] -> Widget n
- drawParty :: AttrName -> Party -> Widget n
- drawParties :: (Party -> Widget n) -> [Party] -> Widget n
- drawPartiesWithOwnHighlighted :: Party -> [Party] -> Widget n
Documentation
drawMainTab :: CardanoClient -> Client Tx IO -> RootState -> Widget Name Source #
Render the Main tab: connectionnetworkchain status, peers, head parties, head state with UTxOs, and a strip of recent events.
drawConnectedStatus :: RootState -> Widget n Source #
Render the API-connection status line (Connected / "Connecting to …").
drawNetworkState :: ConnectedState -> Widget n Source #
Render the Hydra-network status line.
drawChainSyncedState :: ConnectedState -> Widget n Source #
Render the chain-sync status line ("In sync" / "Catching up").
drawPeers :: ConnectedState -> [(Host, PeerStatus)] -> Widget n Source #
Render the peer list with per-peer connection state.
drawParty :: AttrName -> Party -> Widget n Source #
Render a single Party as its hex-encoded verification key with the given attribute.
drawParties :: (Party -> Widget n) -> [Party] -> Widget n Source #
Vertically stack a list of parties using the given renderer.
drawPartiesWithOwnHighlighted :: Party -> [Party] -> Widget n Source #
Render parties with the local party highlighted.