Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.TUI.Drawing

Synopsis

draw :: CardanoClient -> Client Tx IO -> RootState -> [Widget Name]
drawScreenShortLog :: CardanoClient -> Client Tx IO -> RootState -> [Widget Name]
drawCommandPanel :: RootState -> Widget n
drawScreenFullLog :: RootState -> [Widget Name]
drawCommandList :: RootState -> Widget n
drawLogCommandList :: LogVerbosity -> Widget n
drawFocusPanelInitializing :: IdentifiedState -> InitializingState -> Widget Name
drawRemainingDepositDeadline :: UTCTime -> UTCTime -> Widget Name
drawPendingIncrement :: AddressInEra -> Maybe PendingIncrement -> UTCTime -> Widget Name
drawFocusPanelOpen :: NetworkId -> VerificationKey PaymentKey -> UTxO -> UTxO -> Maybe PendingIncrement -> UTCTime -> OpenScreen -> Widget Name
drawFocusPanelClosed :: UTCTime -> ClosedState -> Widget Name
drawFocusPanelFinal :: NetworkId -> VerificationKey PaymentKey -> UTxO -> Widget Name
highlightOwnAddress :: AddressInEra -> AddressInEra -> Widget n
drawFocusPanel :: NetworkId -> VerificationKey PaymentKey -> UTCTime -> Connection -> Widget Name
drawRemainingContestationPeriod :: UTCTime -> UTCTime -> Widget Name
drawRemainingParties :: IdentifiedState -> [Party] -> Widget n
drawPartiesWithOwnHighlighted :: Party -> [Party] -> Widget n
drawUserFeedbackFull :: [LogMessage] -> Widget n
drawUserFeedbackShort :: LogMessage -> Widget n
drawParties :: (Party -> Widget n) -> [Party] -> Widget n
drawHeadParticipants :: IdentifiedState -> [Party] -> Widget n
drawIfConnected :: (Connection -> Widget n) -> ConnectedState -> Widget n
drawIfActive :: (ActiveLink -> Widget n) -> HeadState -> Widget n
drawPeersIfConnected :: ConnectedState -> Widget n
drawHeadId :: HeadId -> Widget n
drawMyAddress :: AddressInEra -> Widget n
drawAddress :: AddressInEra -> Widget n
drawMeIfIdentified :: IdentifiedState -> Widget n
drawConnectedStatus :: RootState -> Widget n
drawParty :: AttrName -> Party -> Widget n
drawPeers :: [NodeId] -> Widget n
drawTUIVersion :: Version -> Widget n
renderTime :: (Ord t, Num t, FormatTime t) => t -> String
drawHeadState :: ConnectedState -> Widget n
showHeadState :: HeadState -> String
drawUTxO :: (AddressInEra -> Widget n) -> UTxO -> Widget n

Documentation

draw :: CardanoClient -> Client Tx IO -> RootState -> [Widget Name] Source #

Main draw function

drawScreenShortLog :: CardanoClient -> Client Tx IO -> RootState -> [Widget Name] Source #

drawCommandPanel :: RootState -> Widget n Source #

drawScreenFullLog :: RootState -> [Widget Name] Source #

drawCommandList :: RootState -> Widget n Source #

drawLogCommandList :: LogVerbosity -> Widget n Source #

drawFocusPanelInitializing :: IdentifiedState -> InitializingState -> Widget Name Source #

drawRemainingDepositDeadline :: UTCTime -> UTCTime -> Widget Name Source #

drawPendingIncrement :: AddressInEra -> Maybe PendingIncrement -> UTCTime -> Widget Name Source #

drawFocusPanelOpen :: NetworkId -> VerificationKey PaymentKey -> UTxO -> UTxO -> Maybe PendingIncrement -> UTCTime -> OpenScreen -> Widget Name Source #

drawFocusPanelClosed :: UTCTime -> ClosedState -> Widget Name Source #

drawFocusPanelFinal :: NetworkId -> VerificationKey PaymentKey -> UTxO -> Widget Name Source #

highlightOwnAddress :: AddressInEra -> AddressInEra -> Widget n Source #

drawFocusPanel :: NetworkId -> VerificationKey PaymentKey -> UTCTime -> Connection -> Widget Name Source #

drawRemainingContestationPeriod :: UTCTime -> UTCTime -> Widget Name Source #

drawRemainingParties :: IdentifiedState -> [Party] -> Widget n Source #

drawPartiesWithOwnHighlighted :: Party -> [Party] -> Widget n Source #

drawUserFeedbackFull :: [LogMessage] -> Widget n Source #

drawUserFeedbackShort :: LogMessage -> Widget n Source #

drawParties :: (Party -> Widget n) -> [Party] -> Widget n Source #

drawHeadParticipants :: IdentifiedState -> [Party] -> Widget n Source #

drawIfConnected :: (Connection -> Widget n) -> ConnectedState -> Widget n Source #

drawIfActive :: (ActiveLink -> Widget n) -> HeadState -> Widget n Source #

drawPeersIfConnected :: ConnectedState -> Widget n Source #

drawHeadId :: HeadId -> Widget n Source #

drawMyAddress :: AddressInEra -> Widget n Source #

drawAddress :: AddressInEra -> Widget n Source #

drawMeIfIdentified :: IdentifiedState -> Widget n Source #

drawConnectedStatus :: RootState -> Widget n Source #

drawParty :: AttrName -> Party -> Widget n Source #

drawPeers :: [NodeId] -> Widget n Source #

drawTUIVersion :: Version -> Widget n Source #

renderTime :: (Ord t, Num t, FormatTime t) => t -> String Source #

drawHeadState :: ConnectedState -> Widget n Source #

showHeadState :: HeadState -> String Source #

drawUTxO :: (AddressInEra -> Widget n) -> UTxO -> Widget n Source #