hydra-tui-0.19.0: TUI for managing a Hydra node
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.TUI.Model

Documentation

data RootState Source #

Constructors

RootState 

Fields

data ConnectedState Source #

Constructors

Disconnected 
Connected 

Fields

data IdentifiedState Source #

Constructors

Unidentified 
Identified Party 

data Connection Source #

Constructors

Connection 

Fields

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

data InitializingScreen Source #

Constructors

InitializingHome 
CommitMenu 

Fields

ConfirmingAbort 

Fields

data OpenScreen Source #

Constructors

OpenHome 
SelectingUTxO 

Fields

SelectingUTxOToDecommit 

Fields

EnteringAmount 

Fields

SelectingRecipient 

Fields

EnteringRecipientAddress 

Fields

ConfirmingClose 

Fields

data SelectAddressItem Source #

Constructors

ManualEntry 
SelectAddress AddressInEra 

Instances

Instances details
Show SelectAddressItem Source # 
Instance details

Defined in Hydra.TUI.Model

Methods

showsPrec :: Int -> SelectAddressItem -> ShowS Source #

show :: SelectAddressItem -> String Source #

showList :: [SelectAddressItem] -> ShowS Source #

Eq SelectAddressItem Source # 
Instance details

Defined in Hydra.TUI.Model

Methods

(==) :: SelectAddressItem -> SelectAddressItem -> Bool Source #

(/=) :: SelectAddressItem -> SelectAddressItem -> Bool Source #

Pretty SelectAddressItem Source # 
Instance details

Defined in Hydra.TUI.Model

Methods

pretty :: SelectAddressItem -> Doc ann

prettyList :: [SelectAddressItem] -> Doc ann

newtype ClosedState Source #

Constructors

ClosedState 

Fields

data HeadState Source #

Constructors

Idle 
Active 

Fields

data ActiveLink Source #

Constructors

ActiveLink 

Fields

data ActiveHeadState Source #

Constructors

Initializing 

Fields

Open 

Fields

Closed 

Fields

FanoutPossible 
Final 

type Name = Text Source #

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

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

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

enteringRecipientAddressFormL :: 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 #

pendingUTxOToDecommitL :: 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 #

isModalOpen :: RootState -> Bool Source #