Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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
- drawFocusPanelOpen :: NetworkId -> VerificationKey PaymentKey -> UTxO -> UTxO -> 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
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 #
drawFocusPanelOpen :: NetworkId -> VerificationKey PaymentKey -> UTxO -> UTxO -> 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 #
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 #
drawTUIVersion :: Version -> Widget n Source #
renderTime :: (Ord t, Num t, FormatTime t) => t -> String Source #
drawHeadState :: ConnectedState -> Widget n Source #
showHeadState :: HeadState -> String Source #