Documentation

handleEvent :: CardanoClient -> Client Tx IO -> BrickEvent Name (HydraEvent Tx) -> EventM Name RootState () Source #

handleTick :: HydraEvent Tx -> EventM Name RootState () Source #

handleAppEventVia :: (e -> EventM n s a) -> a -> BrickEvent w e -> EventM n s a Source #

handleVtyEventVia :: (Event -> EventM n s a) -> a -> BrickEvent w e -> EventM n s a Source #

handleGlobalEvents :: BrickEvent Name (HydraEvent Tx) -> EventM Name RootState () Source #

handleHydraEventsConnectedState :: HydraEvent Tx -> EventM Name ConnectedState () Source #

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 #

handleVtyEventsFanoutPossible :: Client Tx IO -> Event -> EventM Name s () Source #

handleVtyEventsFinal :: Client Tx IO -> Event -> EventM Name s () 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 #

handleBrickEventsConnection :: CardanoClient -> Client Tx IO -> BrickEvent w (HydraEvent Tx) -> EventM Name Connection () Source #

handleVtyEventsConnection :: CardanoClient -> Client Tx IO -> Event -> EventM Name Connection () Source #

handleVtyEventsLogState :: Event -> EventM Name LogState () Source #

scroll :: Direction -> EventM Name LogState () Source #

myAvailableUTxO :: NetworkId -> VerificationKey PaymentKey -> UTxO -> Map TxIn (TxOut CtxUTxO) Source #

mkMyAddress :: CardanoClient -> Client Tx IO -> Address ShelleyAddr Source #