hydra-tui-0.16.0: TUI for managing a Hydra node

Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.TUI.Model

Documentation

data RootState Source #

Constructors

RootState
Fields nodeHost :: Host now :: UTCTime connectedState :: ConnectedState logState :: LogState

data ConnectedState Source #

Constructors

Disconnected
Connected
Fields connection :: Connection

data IdentifiedState Source #

Constructors

Unidentified
Identified Party

data Connection Source #

Constructors

Connection
Fields me :: IdentifiedState peers :: [NodeId] headState :: HeadState

type UTxOCheckboxForm e n = Form (Map TxIn (TxOut CtxUTxO, Bool)) e n Source #

type UTxORadioFieldForm e n = Form (TxIn, TxOut CtxUTxO) e n Source #

type ConfirmingRadioFieldForm e n = Form Bool e n Source #

data InitializingState Source #

Constructors

InitializingState
Fields remainingParties :: [Party] initializingScreen :: InitializingScreen

data InitializingScreen Source #

Constructors

InitializingHome
CommitMenu
Fields commitMenu :: UTxOCheckboxForm (HydraEvent Tx) Name
ConfirmingAbort
Fields confirmingAbortForm :: ConfirmingRadioFieldForm (HydraEvent Tx) Name

data OpenScreen Source #

Constructors

OpenHome
SelectingUTxO
Fields selectingUTxOForm :: UTxORadioFieldForm (HydraEvent Tx) Name
EnteringAmount
Fields utxoSelected :: (TxIn, TxOut CtxUTxO) enteringAmountForm :: Form Integer (HydraEvent Tx) Name
SelectingRecipient
Fields utxoSelected :: (TxIn, TxOut CtxUTxO) amountEntered :: Integer selectingRecipientForm :: Form AddressInEra (HydraEvent Tx) Name
ConfirmingClose
Fields confirmingCloseForm :: ConfirmingRadioFieldForm (HydraEvent Tx) Name

newtype ClosedState Source #

Constructors

ClosedState
Fields contestationDeadline :: UTCTime

data HeadState Source #

Constructors

Idle
Active
Fields activeLink :: ActiveLink

data ActiveLink Source #

Constructors

ActiveLink
Fields utxo :: UTxO parties :: [Party] headId :: HeadId activeHeadState :: ActiveHeadState

data ActiveHeadState Source #

Constructors

Initializing
Fields initializingState :: InitializingState
Open
Fields openState :: OpenScreen
Closed
Fields closedState :: ClosedState
FanoutPossible
Final

type Name = Text Source #

selectingUTxOFormL :: Traversal' OpenScreen (UTxORadioFieldForm (HydraEvent Tx) Name) Source #

selectingRecipientFormL :: Traversal' OpenScreen (Form AddressInEra (HydraEvent Tx) Name) Source #

enteringAmountFormL :: Traversal' OpenScreen (Form Integer (HydraEvent Tx) Name) Source #

confirmingCloseFormL :: Traversal' OpenScreen (ConfirmingRadioFieldForm (HydraEvent Tx) Name) Source #

openStateL :: Traversal' ActiveHeadState OpenScreen Source #

initializingStateL :: Traversal' ActiveHeadState InitializingState Source #

closedStateL :: Traversal' ActiveHeadState ClosedState Source #

nowL :: Lens' RootState UTCTime Source #

nodeHostL :: Lens' RootState Host Source #

logStateL :: Lens' RootState LogState Source #

connectedStateL :: Lens' RootState ConnectedState Source #

connectionL :: Traversal' ConnectedState Connection Source #

confirmingAbortFormL :: Traversal' InitializingScreen (ConfirmingRadioFieldForm (HydraEvent Tx) Name) Source #

commitMenuL :: Traversal' InitializingScreen (UTxOCheckboxForm (HydraEvent Tx) Name) Source #

peersL :: Lens' Connection [NodeId] Source #

meL :: Lens' Connection IdentifiedState Source #

headStateL :: Lens' Connection HeadState Source #

remainingPartiesL :: Lens' InitializingState [Party] Source #

initializingScreenL :: Lens' InitializingState InitializingScreen Source #

activeLinkL :: Traversal' HeadState ActiveLink Source #

utxoL :: Lens' ActiveLink UTxO Source #

partiesL :: Lens' ActiveLink [Party] Source #

headIdL :: Lens' ActiveLink HeadId Source #

activeHeadStateL :: Lens' ActiveLink ActiveHeadState Source #

fullFeedbackViewportName :: Name Source #

shortFeedbackViewportName :: Name Source #

emptyConnection :: Connection Source #

newActiveLink :: [Party] -> HeadId -> ActiveLink Source #