Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- handleEvent :: CardanoClient -> Client Tx IO -> BrickEvent Name (HydraEvent Tx) -> EventM Name RootState ()
- handleTick :: HydraEvent Tx -> EventM Name RootState ()
- handleHydraEventsConnectedState :: HydraEvent Tx -> EventM Name ConnectedState ()
- handleHydraEventsConnection :: HydraEvent Tx -> EventM Name Connection ()
- handleHydraEventsHeadState :: HydraEvent Tx -> EventM Name HeadState ()
- handleHydraEventsActiveLink :: HydraEvent Tx -> EventM Name ActiveLink ()
- handleHydraEventsInfo :: HydraEvent Tx -> EventM Name [LogMessage] ()
- partyCommitted :: Party -> UTxO -> EventM n ActiveLink ()
- handleVtyEventsHeadState :: CardanoClient -> Client Tx IO -> Event -> EventM Name HeadState ()
- handleVtyEventsActiveLink :: CardanoClient -> Client Tx IO -> Event -> EventM Name ActiveLink ()
- handleVtyEventsActiveHeadState :: CardanoClient -> Client Tx IO -> UTxO -> Event -> EventM Name ActiveHeadState ()
- handleVtyEventsInitializingScreen :: CardanoClient -> Client Tx IO -> Event -> EventM Name InitializingScreen ()
- handleVtyEventsOpen :: CardanoClient -> Client Tx IO -> UTxO -> Event -> EventM Name OpenScreen ()
- handleVtyEventsFanoutPossible :: Client Tx IO -> Event -> EventM Name s ()
- handleVtyEventsFinal :: Client Tx IO -> Event -> EventM Name s ()
- handleVtyEventsConnection :: CardanoClient -> Client Tx IO -> Event -> EventM Name Connection ()
- handleVtyEventsLogState :: Event -> EventM Name LogState ()
- scroll :: Direction -> EventM Name LogState ()
- myAvailableUTxO :: NetworkId -> VerificationKey PaymentKey -> UTxO -> Map TxIn (TxOut CtxUTxO)
- mkMyAddress :: CardanoClient -> Client Tx IO -> Address ShelleyAddr
Documentation
handleEvent :: CardanoClient -> Client Tx IO -> BrickEvent Name (HydraEvent Tx) -> EventM Name RootState () Source #
AppEvent handlers
handleTick :: HydraEvent Tx -> EventM Name RootState () Source #
handleHydraEventsConnectedState :: HydraEvent Tx -> EventM Name ConnectedState () Source #
handleHydraEventsConnection :: HydraEvent Tx -> EventM Name Connection () Source #
handleHydraEventsHeadState :: HydraEvent Tx -> EventM Name HeadState () Source #
handleHydraEventsActiveLink :: HydraEvent Tx -> EventM Name ActiveLink () Source #
handleHydraEventsInfo :: HydraEvent Tx -> EventM Name [LogMessage] () Source #
partyCommitted :: Party -> UTxO -> EventM n ActiveLink () Source #
VtyEvent handlers
handleVtyEventsHeadState :: CardanoClient -> Client Tx IO -> Event -> EventM Name HeadState () Source #
handleVtyEventsActiveLink :: CardanoClient -> Client Tx IO -> Event -> EventM Name ActiveLink () Source #
handleVtyEventsActiveHeadState :: CardanoClient -> Client Tx IO -> UTxO -> Event -> EventM Name ActiveHeadState () Source #
handleVtyEventsInitializingScreen :: CardanoClient -> Client Tx IO -> Event -> EventM Name InitializingScreen () Source #
handleVtyEventsOpen :: CardanoClient -> Client Tx IO -> UTxO -> Event -> EventM Name OpenScreen () Source #
handleVtyEventsConnection :: CardanoClient -> Client Tx IO -> Event -> EventM Name Connection () Source #
handleVtyEventsLogState :: Event -> EventM Name LogState () Source #
myAvailableUTxO :: NetworkId -> VerificationKey PaymentKey -> UTxO -> Map TxIn (TxOut CtxUTxO) Source #
mkMyAddress :: CardanoClient -> Client Tx IO -> Address ShelleyAddr Source #