Index

$sel:actor:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:additionalUTxO:Seed	Hydra.Model
$sel:aliceConfig:PeerConfig2	Hydra.NetworkSpec
$sel:aliceConfig:PeerConfig3	Hydra.NetworkSpec
$sel:alphaUTxO:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:alreadyContested:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:availableToDeposit:WorldState	Hydra.Model
$sel:bobConfig:PeerConfig2	Hydra.NetworkSpec
$sel:bobConfig:PeerConfig3	Hydra.NetworkSpec
$sel:cardanoKeys:Start	Hydra.Model
$sel:carolConfig:PeerConfig3	Hydra.NetworkSpec
$sel:chain:Nodes	Hydra.Model
$sel:chainHandler:MockHydraNode	Hydra.Model.MockChain
$sel:closedSnapshotNumber:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:closedUTxO:Start	Hydra.Model
$sel:closeWithInitialSnapshot:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:committed:Start	Hydra.Model
$sel:concurrentSettlements:Seed	Hydra.Model
$sel:concurrentSettlements:WorldState	Hydra.Model
$sel:confirmedUTxO:OffChainState	Hydra.Model
$sel:connectNode:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:constructedTx:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:contestationPeriod:Seed	Hydra.Model
$sel:contestationPeriod:Start	Hydra.Model
$sel:currentSnapshotNumber:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:currentVersion:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:decommitTx:Seed	Hydra.Model
$sel:env:StepState	Hydra.HeadLogicSpec
$sel:eventStores:Nodes	Hydra.Model
$sel:fannedOut:Start	Hydra.Model
$sel:fanoutDriving:Start	Hydra.Model
$sel:finalUTxO:Start	Hydra.Model
$sel:from:Payment	Hydra.Model.Payment
$sel:genA:GenNullary	Hydra.CBORSpec
$sel:genB:GenNullary	Hydra.CBORSpec
$sel:genC:GenNullary	Hydra.CBORSpec
$sel:getChainHistory:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:headIdVar:Seed	Hydra.Model
$sel:headIdVar:Start	Hydra.Model
$sel:headParameters:Start	Hydra.Model
$sel:headState:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:hydraParties:WorldState	Hydra.Model
$sel:hydraState:WorldState	Hydra.Model
$sel:idleParties:Start	Hydra.Model
$sel:inHead:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:injectChainEvent:TestHydraClient	Hydra.BehaviorSpec
$sel:injectNetworkInput:TestHydraClient	Hydra.BehaviorSpec
$sel:knownSnapshots:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:ledger:StepState	Hydra.HeadLogicSpec
$sel:logger:Nodes	Hydra.Model
$sel:mailbox:MockHydraNode	Hydra.Model.MockChain
$sel:networkLatencySeed:Seed	Hydra.Model
$sel:newSnapshot:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:node:MockHydraNode	Hydra.Model.MockChain
$sel:nodes:Nodes	Hydra.Model
$sel:nodesState:RunState	Hydra.Model
$sel:nodeState:StepState	Hydra.HeadLogicSpec
$sel:nodeThreads:Nodes	Hydra.Model
$sel:number:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:numberOfBlocks:Seed	Hydra.Model
$sel:observation:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:offChainState:Start	Hydra.Model
$sel:omegaUTxO:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:onChainVersion:Start	Hydra.Model
$sel:party:Seed	Hydra.Model
$sel:pendingCommits:WorldState	Hydra.Model
$sel:pendingDecommit:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:pendingDecommits:WorldState	Hydra.Model
$sel:pendingDeposit:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:queryState:TestHydraClient	Hydra.BehaviorSpec
$sel:requeueErased:Seed	Hydra.Model
$sel:rollbackAndFork:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:rollbackAndForward:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:runAppM:AppM	Hydra.Chain.Direct.TxTraceSpec
$sel:runMonad:RunMonad	Hydra.Model
$sel:seedKeys:Seed	Hydra.Model
$sel:send:TestHydraClient	Hydra.BehaviorSpec
$sel:serverOutputs:TestHydraClient	Hydra.BehaviorSpec
$sel:settledCommits:WorldState	Hydra.Model
$sel:settledDecommits:WorldState	Hydra.Model
$sel:signingKey:CardanoSigningKey	Hydra.Model.Payment
$sel:simulateDeposit:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:snapshot:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:spendableUTxO:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:threads:Nodes	Hydra.Model
$sel:tickThread:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:to:Payment	Hydra.Model.Payment
$sel:toCommit:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:toDecommit:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:unsettledAtClose:Start	Hydra.Model
$sel:unsettledAtFinal:Start	Hydra.Model
$sel:utxo:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:utxoInHead:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:utxoToDeposit:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:utxoToDeposit:Seed	Hydra.Model
$sel:validationError:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:value:Payment	Hydra.Model.Payment
$sel:version:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:waitForNext:TestHydraClient	Hydra.BehaviorSpec
$sel:waitForNextMessage:TestHydraClient	Hydra.BehaviorSpec
A	Hydra.Chain.Direct.TxTraceSpec
aClosedHead	Hydra.API.ServerSpec
aConfigurationException	Hydra.Node.RunSpec
Action	Hydra.Model, Hydra.Chain.Direct.TxTraceSpec
action_	Hydra.ModelSpec
Actor	Hydra.Chain.Direct.TxTraceSpec
actorChainContext	Hydra.Chain.Direct.TxTraceSpec
Alice	Hydra.Chain.Direct.TxTraceSpec
aliceAddress	Hydra.API.ServerOutputFilterSpec
aliceKeys	Hydra.API.ServerOutputFilterSpec
alicePVk	Hydra.Chain.Direct.TxTraceSpec
aliceSpendsTo	Hydra.API.ServerOutputFilterSpec
allActors	Hydra.Chain.Direct.TxTraceSpec
allowEverythingServerOutputFilter	Hydra.API.ServerSpec
allTxIns	Hydra.Chain.Direct.WalletSpec
allTxOuts	Hydra.Chain.Direct.WalletSpec
anOpenedHead	Hydra.API.ServerSpec
apiServerSpec	Hydra.API.HTTPServerSpec
appliesValidTransaction
1 (Function)	Hydra.Ledger.CardanoSpec
2 (Function)	Hydra.Model.MockChainSpec
appliesValidTransactionFromJSON	Hydra.Ledger.CardanoSpec
applyTransactionsEquivalence	Hydra.Ledger.CardanoSpec
applyTx	Hydra.Model.Payment
AppM
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
aSeenSnapshot	Hydra.API.ServerSpec
assertBalancesInOpenHeadAreConsistent	Hydra.ModelSpec
assertHeadIsClosed	Hydra.BehaviorSpec
assertHeadIsClosedWith	Hydra.BehaviorSpec
assertWait	Hydra.HeadLogicSpec
ATestBackend
1 (Type/Class)	Hydra.Chain.ScriptRegistrySpec
2 (Data Constructor)	Hydra.Chain.ScriptRegistrySpec
autoFanoutStepErased	Hydra.ModelSpec
autoFanoutTwoStepsErased	Hydra.ModelSpec
awaitRecorded	Hydra.NodeSpec
B	Hydra.Chain.Direct.TxTraceSpec
bech32Of	Hydra.API.ServerOutputFilterSpec
Bob	Hydra.Chain.Direct.TxTraceSpec
bobAddress	Hydra.API.ServerOutputFilterSpec
bobKeys	Hydra.API.ServerOutputFilterSpec
bobPVk	Hydra.Chain.Direct.TxTraceSpec
bounds	Hydra.Node.OutboxSpec
C	Hydra.Chain.Direct.TxTraceSpec
CannotFindSpendableUTxO	Hydra.Model
canRoundtripRunOptionsAndPrettyPrinting	Hydra.OptionsSpec
captureTracer	Test.Util
CardanoSigningKey
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
Carol	Hydra.Chain.Direct.TxTraceSpec
carolAddress	Hydra.API.ServerOutputFilterSpec
carolKeys	Hydra.API.ServerOutputFilterSpec
carolPVk	Hydra.Chain.Direct.TxTraceSpec
catchingUp	Hydra.HeadLogicSpec
chainEffect	Hydra.HeadLogicSpec
checkModelBalances	Hydra.ModelSpec
ChunkedEvents
1 (Type/Class)	Hydra.Events.RotationSpec
2 (Data Constructor)	Hydra.Events.RotationSpec
chunkSizeOf	Hydra.Chain.Direct.HandlersSpec
Close
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
Closed
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
closedHeadWithManyOutputs	Hydra.ModelSpec
CloseWithInitialSnapshot	Hydra.Model
concurrentWalk	Hydra.ModelSpec
confirmedSnapshot	Hydra.Chain.Direct.TxTraceSpec
conflictFreeLiveness	Hydra.ModelSpec
connected	Hydra.API.ServerSpec
connectedTo	Hydra.API.ServerSpec
connectivityChanged	Hydra.HeadLogicSpec
Contest	Hydra.Chain.Direct.TxTraceSpec
counterexample'	Hydra.Chain.Direct.TxTraceSpec
countingWallet	Hydra.Chain.Direct.HandlersSpec
coversInterestingActions	Hydra.Chain.Direct.TxTraceSpec
createHydraNode	Hydra.BehaviorSpec
createHydraNodeWithEventStore	Hydra.BehaviorSpec
createMockChain	Hydra.Model.MockChain
createMockEventStore	Hydra.NodeSpec
createMockEventStoreWithReader	Hydra.NodeSpec
createMockNetwork	Hydra.Model.MockChain
createMockNetworkWithDelay	Hydra.BehaviorSpec
createNetworkWithholdingAckSn	Hydra.BehaviorSpec
createRecordingSink	Hydra.NodeSpec
createTestHydraClient	Hydra.BehaviorSpec
D	Hydra.Chain.Direct.TxTraceSpec
Decommit	Hydra.Model
decommitFuel	Hydra.ModelSpec
decommitRecipient	Hydra.Model
Decrement	Hydra.Chain.Direct.TxTraceSpec
defaultPublishOptions	Hydra.OptionsSpec
deltaValue	Hydra.Chain.Direct.WalletSpec
Deposit
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
depositAndIncrementErasedThenRelanded	Hydra.ModelSpec
depositDeadline	Hydra.Model
depositHead	Hydra.BehaviorSpec
describeCandidate	Hydra.Chain.Direct.HandlersSpec
disconnected	Hydra.API.ServerSpec
drainPersistentQueue	Hydra.PersistentQueueSpec
dummyChainHandle	Hydra.API.ServerSpec
DummyInput
1 (Type/Class)	Hydra.Node.InputQueueSpec
2 (Data Constructor)	Hydra.Node.InputQueueSpec
dummySimulatedChainNetwork	Hydra.BehaviorSpec
E	Hydra.Chain.Direct.TxTraceSpec
effectsOf	Hydra.HeadLogicSpec
Encodable	Hydra.LoggingSpec
etcdSpec	Hydra.NetworkSpec
eventually	Hydra.ModelSpec
expectInvalid	Hydra.Chain.Direct.TxTraceSpec
expectValid	Hydra.Chain.Direct.TxTraceSpec
F	Hydra.Chain.Direct.TxTraceSpec
Fanout
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
FanoutAutoDraining	Hydra.Model
fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
FanoutDriving	Hydra.Model
FanoutManual	Hydra.Model
FanoutNotStarted	Hydra.Model
fanoutProgressCommitment	Hydra.Chain.Direct.StateSpec
Final
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
finalizedIncrementAndDecrementErased	Hydra.ModelSpec
finalizedIncrementErasedWithNextInFlight	Hydra.ModelSpec
findOwnCardanoKey	Hydra.Model.MockChain
fitsUnderRealLimits	Hydra.Chain.Direct.HandlersSpec
flushQueue	Hydra.Model.MockChain
forAllClose	Hydra.Chain.Direct.StateSpec
forAllContest	Hydra.Chain.Direct.StateSpec
forAllDecrement	Hydra.Chain.Direct.StateSpec
forAllDecrement'	Hydra.Chain.Direct.StateSpec
forAllDeposit	Hydra.Chain.Direct.StateSpec
forAllFanout	Hydra.Chain.Direct.StateSpec
forAllFinalPartialFanout	Hydra.Chain.Direct.StateSpec
forAllIncrement	Hydra.Chain.Direct.StateSpec
forAllIncrement'	Hydra.Chain.Direct.StateSpec
forAllInit	Hydra.Chain.Direct.StateSpec
forAllPartialFanout	Hydra.Chain.Direct.StateSpec
forAllRecover	Hydra.Chain.Direct.StateSpec
fulfilled	Hydra.Chain.Direct.TxTraceSpec
G	Hydra.Chain.Direct.TxTraceSpec
genAdaValue	Hydra.Model.Payment
genBlockAt	Hydra.Chain.Direct.HandlersSpec
genBlueprintTxWithUTxO	Hydra.Chain.Direct.TxSpec
genClosedState	Hydra.HeadLogicSpec
genContestationPeriod	Hydra.Model
genContinuousEvents
1 (Function)	Hydra.Events.S3Spec
2 (Function)	Hydra.Events.SQLiteBasedSpec
GenericCBORNewtype
1 (Type/Class)	Hydra.CBORSpec
2 (Data Constructor)	Hydra.CBORSpec
GenericCBORSum	Hydra.CBORSpec
genFailingReport	Hydra.Chain.Direct.HandlersSpec
genGoldenChainPoints	Hydra.CBORSpec
genGoldenNetworkIds	Hydra.CBORSpec
genGoldenStateEvents	Hydra.CBORSpec
genInit	Hydra.Model
genInitTxMutation	Hydra.Chain.Direct.StateSpec
genLedgerTx	Hydra.Chain.Direct.WalletSpec
genMetadata	Hydra.Chain.Direct.TxSpec
genMixedDeposit	Hydra.Chain.Direct.StateSpec
genNonCanonicalHashableScriptData	Hydra.Ledger.CardanoSpec
GenNullary	Hydra.CBORSpec
genOutputsForInputs	Hydra.Chain.Direct.WalletSpec
genPartyKeysExactly	Hydra.Model
genPayment	Hydra.Model
GenPositional	Hydra.CBORSpec
GenRecord	Hydra.CBORSpec
genRollbackBlocks	Hydra.Chain.Direct.HandlersSpec
genRollbackPoint	Hydra.Chain.Direct.HandlersSpec
genSeed	Hydra.Model
genSeedWith	Hydra.Model
genSequenceOfObservableBlocks	Hydra.Chain.Direct.HandlersSpec
genSequenceOfValidTransactions	Hydra.Ledger.SimpleSpec
genSlotLength	Hydra.Ledger.Cardano.TimeSpec
genStateEventForApi	Hydra.API.ServerSpec
genSystemStart	Hydra.Ledger.Cardano.TimeSpec
genTimeHandleWithSlotInsideHorizon	Hydra.Chain.Direct.HandlersSpec
genTimeHandleWithSlotPastHorizon	Hydra.Chain.Direct.HandlersSpec
genTxsSpending	Hydra.Chain.Direct.WalletSpec
genUTCTime	Hydra.Ledger.Cardano.TimeSpec
genUTxO	Hydra.Chain.Direct.WalletSpec
getActorNode	Hydra.Model
getAuxMetadata	Hydra.Chain.Direct.TxSpec
getBinDir	Paths_hydra_node
getConfirmedSnapshot	Hydra.HeadLogicSpec
getConfirmedSnapshotFromNode	Hydra.BehaviorSpec
getDataDir	Paths_hydra_node
getDataFileName	Paths_hydra_node
getDynLibDir	Paths_hydra_node
getHeadUTxO	Hydra.BehaviorSpec
getLibDir	Paths_hydra_node
getLibexecDir	Paths_hydra_node
getState	Hydra.HeadLogicSpec
getSysconfDir	Paths_hydra_node
getValidationError	Hydra.Chain.Direct.TxTraceSpec
getValue	Hydra.Chain.Direct.WalletSpec
GlobalState	Hydra.Model
H	Hydra.Chain.Direct.TxTraceSpec
handleChainEvent	Hydra.BehaviorSpec
hasEffect	Hydra.HeadLogicSpec
hasEffectSatisfying	Hydra.HeadLogicSpec
hasLowFees	Hydra.Chain.Direct.WalletSpec
hasNoEffectSatisfying	Hydra.HeadLogicSpec
hasNoStateChangedSatisfying	Hydra.HeadLogicSpec
hasReferenceScript	Hydra.Chain.Direct.WalletSpec
hasStateChangedSatisfying	Hydra.HeadLogicSpec
headIsClosed	Hydra.BehaviorSpec
headIsOpen	Hydra.Model
headIsReadyToFanout	Hydra.Model
headStillSettles	Hydra.ModelSpec
headUTxO	Hydra.Model
I	Hydra.Chain.Direct.TxTraceSpec
Idle	Hydra.Model
inAutoDrainProgress	Hydra.HeadLogicSpec
inClosedState	Hydra.HeadLogicSpec
inClosedState'	Hydra.HeadLogicSpec
Increment	Hydra.Chain.Direct.TxTraceSpec
inFanoutProgressDistributed	Hydra.HeadLogicSpec
inFanoutProgressWith	Hydra.HeadLogicSpec
inIdleState	Hydra.HeadLogicSpec
Init	Hydra.Model
inOpenState	Hydra.HeadLogicSpec
inOpenState'	Hydra.HeadLogicSpec
inputsToOpenHead	Hydra.NodeSpec
inSync	Hydra.HeadLogicSpec
inUnsyncedIdleState	Hydra.HeadLogicSpec
isBalanced	Hydra.Chain.Direct.WalletSpec
isBroadcastFailed	Hydra.NetworkSpec
isContinuous	Test.Util
isDeleteFailed	Hydra.PersistentQueueSpec
isLoadFailed	Hydra.PersistentQueueSpec
isOurs	Hydra.Chain.Direct.WalletSpec
isOutputOfLastTransaction	Hydra.Model.MockChainSpec
isOwned	Hydra.Model
isStrictlyMonotonic	Test.Util
knownInputBalance	Hydra.Chain.Direct.WalletSpec
latestSnapshotNumber	Hydra.Chain.Direct.TxTraceSpec
lo	Hydra.NetworkSpec
Loggable	Hydra.LoggingSpec
main	Main
manualFanoutStepErased	Hydra.ModelSpec
manualPartialFanout	Hydra.ModelSpec
matchCBOR	Hydra.API.HTTPServerSpec
matches	Hydra.API.ServerOutputFilterSpec
matchGreetings	Hydra.API.ServerSpec
matchJSON	Hydra.API.HTTPServerSpec
matchValidJSON	Hydra.API.HTTPServerSpec
maxChunkSearchBuilds	Hydra.Chain.Direct.HandlersSpec
maxNetworkLatency	Hydra.Model.MockChain
messageRecorder	Hydra.NodeSpec
migratesV1JsonToV2CBOR	Hydra.Events.SQLiteBasedSpec
mkAggregator	Hydra.Events.RotationSpec
mkContinuousEvents	Hydra.Events.SQLiteBasedSpec
mkMockTxIn	Hydra.Model
mkTimeHandleAt	Hydra.HeadLogicSpec
mkTxOut	Hydra.Model
mockChain	Hydra.NodeSpec
mockChainAndNetwork	Hydra.Model.MockChain
mockChainQuery	Hydra.Chain.Direct.WalletSpec
mockEventStore	Hydra.NodeSpec
MockHydraNode
1 (Type/Class)	Hydra.Model.MockChain
2 (Data Constructor)	Hydra.Model.MockChain
mockNetwork	Hydra.NodeSpec
mockQueryEpochInfo	Hydra.Chain.Direct.WalletSpec
mockQueryPParams	Hydra.Chain.Direct.WalletSpec
mockServer	Hydra.NodeSpec
mockSink	Hydra.NodeSpec
mockSource
1 (Function)	Hydra.NodeSpec
2 (Function)	Hydra.API.ServerSpec
Model
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
ModelSnapshot
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
ModelUTxO	Hydra.Chain.Direct.TxTraceSpec
Msg
1 (Type/Class)	Hydra.Network.AuthenticateSpec
2 (Data Constructor)	Hydra.Network.AuthenticateSpec
multiEraHistory	Hydra.Ledger.CardanoSpec
newCloseTx	Hydra.Chain.Direct.TxTraceSpec
newContestTx	Hydra.Chain.Direct.TxTraceSpec
newDeadlineFarEnoughFromNow	Hydra.BehaviorSpec
newDecrementTx	Hydra.Chain.Direct.TxTraceSpec
newDepositTx	Hydra.Chain.Direct.TxTraceSpec
newFanoutTx	Hydra.Chain.Direct.TxTraceSpec
newIncrementTx	Hydra.Chain.Direct.TxTraceSpec
newRecordingCallback	Hydra.NetworkSpec
newSettlementsDuringReplay	Hydra.ModelSpec
NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
NewTx	Hydra.Model
nextFrame	Hydra.API.ServerSpec
Node	Hydra.BehaviorSpec
NodeId	Hydra.BehaviorSpec
Nodes
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
nonConflictingTx	Hydra.ModelSpec
noop	Hydra.API.ServerSpec
noopCallback	Test.Util
notConnect	Hydra.NodeSpec
nothingHappensFor	Hydra.BehaviorSpec
nowFromSlot	Hydra.HeadLogicSpec
observationInput	Hydra.NodeSpec
observationTimeout	Hydra.Model
ObserveCommitApproved	Hydra.Model
ObserveCommitFinalized	Hydra.Model
ObserveConfirmedTx	Hydra.Model
ObserveDecommitFinalized	Hydra.Model
ObserveFanoutFinalized	Hydra.Model
ObserveHeadIsOpen	Hydra.Model
ObservePartialFanoutSteps	Hydra.Model
observeTx	Hydra.HeadLogicSpec
observeTxAtSlot	Hydra.HeadLogicSpec
OffChainState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
onCrossPairedSelection	Hydra.Chain.Direct.StateSpec
onlyAddress	Hydra.API.ServerSpec
Open
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
openHead	Hydra.BehaviorSpec
openHead2	Hydra.BehaviorSpec
openHeadUTxO	Hydra.Chain.Direct.TxTraceSpec
openHeadWithDepositFuel	Hydra.ModelSpec
ourDirectInputs	Hydra.Chain.Direct.WalletSpec
ourOutputs	Hydra.Chain.Direct.WalletSpec
outputBalance	Hydra.Chain.Direct.WalletSpec
outputTagOf	Hydra.API.ServerSpec
Overflowing	Hydra.LoggingSpec
parseRunOptions	Hydra.ConfigSpec
PartialFanoutStep	Hydra.Model
partyContestsToWrongClosedSnapshot	Hydra.ModelSpec
partyKeys	Hydra.Model
Payment
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
peerA	Hydra.API.ServerSpec
peerB	Hydra.API.ServerSpec
PeerConfig2
1 (Type/Class)	Hydra.NetworkSpec
2 (Data Constructor)	Hydra.NetworkSpec
PeerConfig3
1 (Type/Class)	Hydra.NetworkSpec
2 (Data Constructor)	Hydra.NetworkSpec
performClose	Hydra.Model
performCloseWithInitialSnapshot	Hydra.Model
performDecommit	Hydra.Model
performDeposit	Hydra.Model
performFanout	Hydra.Model
performInit	Hydra.Model
performNewTx	Hydra.Model
performObserveCommitApproved	Hydra.Model
performObserveCommitFinalized	Hydra.Model
performObserveDecommitFinalized	Hydra.Model
performObserveFanoutFinalized	Hydra.Model
performObservePartialFanoutSteps	Hydra.Model
performPartialFanoutStep	Hydra.Model
performRestartNode	Hydra.Model
performRollbackAndFork	Hydra.Model
performRollbackAndForward	Hydra.Model
performStartFanout	Hydra.Model
performSubmitDecommit	Hydra.Model
performSubmitDeposit	Hydra.Model
performTx	Hydra.Chain.Direct.TxTraceSpec
permissiveWallet	Hydra.Chain.Direct.HandlersSpec
PostconditionM'
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
primeWith	Hydra.NodeSpec
primeWithTime	Hydra.NodeSpec
printTrace	Test.Util
propBelowSizeLimit	Hydra.Chain.Direct.StateSpec
propCheckModelBalances	Hydra.ModelSpec
propCollisionResistant	Test.Util
propDL	Hydra.ModelSpec
propDoesNotGenerate0AdaUTxO	Hydra.ModelSpec
propFanoutLimit	Hydra.ModelSpec
propGeneratesGoodTxOut	Hydra.Ledger.CardanoSpec
propHasEnoughLovelace	Hydra.Ledger.CardanoSpec
propHasValidAuxData	Hydra.Chain.Direct.TxSpec
propHydraModel	Hydra.ModelSpec
propIsDistributive	Hydra.ModelSpec
propIsSubmapOf	Hydra.Chain.Direct.TxSpec
propIsSubsetOf	Hydra.Chain.Direct.TxSpec
propIsValid	Hydra.Chain.Direct.StateSpec
propParseNetworkTxIds	Hydra.NetworkVersionsSpec
propRealisticValue	Hydra.Ledger.CardanoSpec
propRemainingAccumulatorRebuilds	Hydra.Chain.Direct.StateSpec
propScripted	Hydra.ModelSpec
propStressModelBalances	Hydra.ModelSpec
prop_adjustUTxOThunkFree	Hydra.Ledger.CardanoSpec
prop_applyTransactionsThunkFree	Hydra.Ledger.CardanoSpec
prop_applyTxToThunkFree	Hydra.Ledger.CardanoSpec
prop_balanceTransaction	Hydra.Chain.Direct.WalletSpec
prop_canRoundtripCBOREncoding	Hydra.NetworkSpec
prop_cborDecodeThunkFree	Hydra.Ledger.CardanoSpec
prop_detectsMissingScript	Hydra.Chain.Direct.WalletSpec
prop_identify_enqueued_items	Hydra.Node.InputQueueSpec
prop_ignoresUnrelatedOnInitTx	Hydra.HeadLogicSpec
prop_incrementObservesCorrectUTxO	Hydra.Chain.Direct.StateSpec
prop_incrementRequiresFirstDepositOutput	Hydra.Chain.Direct.StateSpec
prop_interestingBlueprintTx	Hydra.Chain.Direct.TxSpec
prop_jsonDecodeThunkFree	Hydra.Ledger.CardanoSpec
prop_noScriptIntegrityHashWithoutExecution	Hydra.Chain.Direct.WalletSpec
prop_observeAnyTx	Hydra.Chain.Direct.StateSpec
prop_picksLargestUTxOToPayTheFees	Hydra.Chain.Direct.WalletSpec
prop_recoverRequiresFirstDepositOutput	Hydra.Chain.Direct.StateSpec
prop_reducesWhenNotOurs	Hydra.Chain.Direct.WalletSpec
prop_refusesStaleSnapshotInClose	Hydra.Chain.Direct.StateSpec
prop_refusesStaleSnapshotInContest	Hydra.Chain.Direct.StateSpec
prop_runActions	Hydra.Chain.Direct.TxTraceSpec
prop_seenInputsAreConsumed	Hydra.Chain.Direct.WalletSpec
prop_setsMinUTxOValue	Hydra.Chain.Direct.WalletSpec
prop_singleMemberHeadAlwaysSnapshotOnReqTx	Hydra.HeadLogicSnapshotSpec
prop_splitUTxO	Hydra.Chain.Direct.StateSpec
prop_thereIsAlwaysALeader	Hydra.HeadLogicSnapshotSpec
prop_unrelatedRefScriptDoesNotAffectIntegrityHash	Hydra.Chain.Direct.WalletSpec
prop_utxoFromTxThunkFree	Hydra.Ledger.CardanoSpec
prop_validateCorrectTransactions	Hydra.Ledger.SimpleSpec
prop_validDepositTx	Hydra.Chain.Direct.TxSpec
prop_wellSuitedGenerators	Hydra.Chain.Direct.WalletSpec
protocolMetrics	Hydra.Logging.MonitoringSpec
realWorldModelUTxO	Hydra.Chain.Direct.TxTraceSpec
receiveMessage	Hydra.HeadLogicSpec
receiveMessageFrom	Hydra.HeadLogicSpec
receivesNothing	Hydra.API.ServerSpec
recordChain	Hydra.NodeSpec
recordEventsHandler	Hydra.Chain.Direct.HandlersSpec
recordNetwork	Hydra.NodeSpec
recordServerOutputs	Hydra.NodeSpec
rejectEverything	Hydra.API.ServerSpec
rejectsReusedOutputName	Hydra.Ledger.CardanoSpec
rejectsUnwitnessedTransaction	Hydra.Ledger.CardanoSpec
removeDecommitted	Hydra.Model
rePostedIncrementErasedAgain	Hydra.ModelSpec
reqDecDecommitTx	Hydra.HeadLogicSpec
reqDecDepositedUTxO	Hydra.HeadLogicSpec
reqDecDepositTxId	Hydra.HeadLogicSpec
reqDecStateWith	Hydra.HeadLogicSpec
RequeueAll	Hydra.BehaviorSpec
RequeueDeposits	Hydra.BehaviorSpec
RequeueMode	Hydra.BehaviorSpec
RequeueNone	Hydra.BehaviorSpec
RestartNode	Hydra.Model
restartNodeEnabled	Hydra.Model
retry	Hydra.Chain.BlockfrostSpec
RollbackAndFork	Hydra.Model
RollbackAndForward	Hydra.Model
roundtripPParams	Hydra.Ledger.CardanoSpec
rtsMetrics	Hydra.Logging.MonitoringSpec
runATestBackend	Hydra.Chain.ScriptRegistrySpec
RunException	Hydra.Model
runHeadLogic	Hydra.HeadLogicSpec
runIOSimProp	Hydra.ModelSpec
RunMonad
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
runPostconditionM'	Hydra.Chain.Direct.TxTraceSpec
runRunMonadIOSimGen	Hydra.ModelSpec
RunState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
runSuccessfulBackend	Hydra.Chain.ScriptRegistrySpec
runToCompletion	Hydra.NodeSpec
sampleStateChanges	Hydra.API.ServerSpec
scrapedMetricNames	Hydra.Logging.MonitoringSpec
scrapeMetrics	Hydra.Logging.MonitoringSpec
scriptLanguageNoThunks	Test.Util
scriptLedger	Hydra.Model.MockChain
scriptNoThunks	Test.Util
searchForChunk	Hydra.Chain.Direct.HandlersSpec
Seed	Hydra.Model
seedWorld	Hydra.Model
sendsAnErrorWhenInputCannotBeDecoded	Hydra.API.ServerSpec
sendsInput	Hydra.Model
serverOutputsOtherThanSnapshotConfirmed	Hydra.API.ServerOutputFilterSpec
settleCommit	Hydra.Model
settleDecommit	Hydra.Model
settlePending	Hydra.ModelSpec
setup2Peers	Hydra.NetworkSpec
setup3Peers	Hydra.NetworkSpec
setupQuery	Hydra.Chain.Direct.WalletSpec
shortLabel	Hydra.BehaviorSpec
shouldBe	Test.Util
shouldDrop	Hydra.API.ServerOutputFilterSpec
shouldDropFor	Hydra.API.ServerOutputFilterSpec
shouldNotBlock	Hydra.PersistentQueueSpec
shouldNotBlock_	Hydra.PersistentQueueSpec
shouldNotParse	Hydra.OptionsSpec
shouldParse	Hydra.OptionsSpec
shouldParseJSONAs	Hydra.Ledger.CardanoSpec
shouldPass	Hydra.API.ServerOutputFilterSpec
shouldPassFor	Hydra.API.ServerOutputFilterSpec
shouldRunInSim	Test.Util
shouldSatisfy	Test.Util
shouldSatisfyAll	Hydra.API.ServerSpec
shrinkSequence	Hydra.Ledger.SimpleSpec
signedSnapshot	Hydra.Chain.Direct.TxTraceSpec
simulatedChainAndNetworkUsing	Hydra.BehaviorSpec
SimulatedChainNetwork
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
SingleUTxO	Hydra.Chain.Direct.TxTraceSpec
sizeLimit	Hydra.Chain.Direct.HandlersSpec
snapshotConfirmed	Hydra.API.ServerOutputFilterSpec
sortTxOuts	Hydra.Model
spec
1 (Function)	Hydra.API.ClientInputSpec
2 (Function)	Hydra.API.ServerOutputSpec
3 (Function)	Hydra.CBORSpec
4 (Function)	Hydra.Chain.BlockfrostSpec
5 (Function)	Hydra.Chain.Direct.HandlersSpec
6 (Function)	Hydra.Chain.Direct.ScriptRegistrySpec
7 (Function)	Hydra.Chain.Direct.TimeHandleSpec
8 (Function)	Hydra.Chain.Direct.TxSpec
9 (Function)	Hydra.Chain.Direct.WalletSpec
10 (Function)	Hydra.Chain.ScriptRegistrySpec
11 (Function)	Hydra.ConfigSpec
12 (Function)	Hydra.Events.S3Spec
13 (Function)	Hydra.Events.UDPSpec
14 (Function)	Hydra.HeadLogic.OutcomeSpec
15 (Function)	Hydra.JSONSchemaSpec
16 (Function)	Hydra.Ledger.Cardano.TimeSpec
17 (Function)	Hydra.Ledger.SimpleSpec
18 (Function)	Hydra.LoggingSpec
19 (Function)	Hydra.NetworkVersionsSpec
20 (Function)	Hydra.Node.RunSpec
21 (Function)	Hydra.Node.UtilSpec
22 (Function)	Hydra.OffChainLeaderSpec
23 (Function)	Hydra.OptionsSpec
24 (Function)	Hydra.PartySpec
25 (Function)	Hydra.PersistentQueueSpec
26 (Function)	Hydra.UtilsSpec
27 (Function)	Hydra.Node.OutboxSpec
28 (Function)	Hydra.Node.InputQueueSpec
29 (Function)	Hydra.NetworkSpec
30 (Function)	Hydra.Network.AuthenticateSpec
31 (Function)	Hydra.Ledger.CardanoSpec
32 (Function)	Hydra.HeadLogicSpec
33 (Function)	Hydra.OffChainAgreementSpec
34 (Function)	Hydra.NodeSpec
35 (Function)	Hydra.Events.RotationSpec
36 (Function)	Hydra.Logging.MonitoringSpec
37 (Function)	Hydra.HeadLogicSnapshotSpec
38 (Function)	Hydra.API.ServerSpec
39 (Function)	Hydra.API.ServerOutputFilterSpec
40 (Function)	Hydra.API.HTTPServerSpec
41 (Function)	Hydra.Events.SQLiteBasedSpec
42 (Function)	Hydra.CryptoSpec
43 (Function)	Hydra.Chain.Direct.StateSpec
44 (Function)	Hydra.BehaviorSpec
45 (Function)	Hydra.Model.MockChainSpec
46 (Function)	Hydra.ModelSpec
47 (Function)	Hydra.Chain.Direct.TxTraceSpec
specMultiSignature	Hydra.CryptoSpec
specSignature	Hydra.CryptoSpec
specSigningKey	Hydra.CryptoSpec
specVerificationKey	Hydra.CryptoSpec
Start	Hydra.Model
StartFanout	Hydra.Model
startNode	Hydra.Model
State	Hydra.Chain.Direct.TxTraceSpec
stateChangeConstructors	Hydra.API.ServerSpec
stateChangesOtherThan	Hydra.API.ServerSpec
step	Hydra.HeadLogicSpec
StepState
1 (Type/Class)	Hydra.HeadLogicSpec
2 (Data Constructor)	Hydra.HeadLogicSpec
Stop	Hydra.Chain.Direct.TxTraceSpec
StopTheWorld	Hydra.Model
stopTheWorld	Hydra.Model
SubmitDecommit	Hydra.Model
SubmitDeposit	Hydra.Model
SuccessfulBackend
1 (Type/Class)	Hydra.Chain.ScriptRegistrySpec
2 (Data Constructor)	Hydra.Chain.ScriptRegistrySpec
surfacedOutputs	Hydra.API.ServerSpec
TestBlock
1 (Type/Class)	Hydra.Chain.Direct.HandlersSpec
2 (Data Constructor)	Hydra.Chain.Direct.HandlersSpec
testClient	Hydra.API.ServerSpec
testDeposit	Hydra.NodeSpec
testDepositPeriod	Hydra.Model
TestHydraClient
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
testHydraNode	Hydra.NodeSpec
testScriptRegistry	Hydra.Chain.Direct.TxTraceSpec
testSnapshot
1 (Function)	Hydra.HeadLogicSpec
2 (Function)	Hydra.HeadLogicSnapshotSpec
testTTL	Hydra.NodeSpec
threeParties	Hydra.ModelSpec
throwExceptionOnPostTx	Hydra.NodeSpec
timedOutputOf	Hydra.API.ServerSpec
timeHandleAt	Hydra.Model.MockChain
toAddress	Hydra.Chain.ScriptRegistrySpec
toOnChainTx	Hydra.BehaviorSpec
toRealUTxO	Hydra.Model
toTxOuts	Hydra.Model
traceDebug	Test.Util
traceInIOSim	Test.Util
TransactionNotObserved	Hydra.Model
trivialCheckpoint	Hydra.Events.RotationSpec
TrivialEvent
1 (Type/Class)	Hydra.Events.RotationSpec
2 (Data Constructor)	Hydra.Events.RotationSpec
twoFinalizedDecrementsErased	Hydra.ModelSpec
twoFinalizedIncrementsErased	Hydra.ModelSpec
twoParties	Hydra.ModelSpec
txInsTotalValue	Hydra.Chain.Direct.TxSpec
txOutNoThunks	Test.Util
txPayingTo	Hydra.API.ServerOutputFilterSpec
TxResult
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
Undescribable	Hydra.LoggingSpec
Undescribed
1 (Type/Class)	Hydra.LoggingSpec
2 (Data Constructor)	Hydra.LoggingSpec
Unencodable	Hydra.LoggingSpec
UnexpectedParty	Hydra.Model
UnknownAddress	Hydra.Model
unsafeConstructorName	Hydra.Model
utxoIsThunkFree	Hydra.Ledger.CardanoSpec
utxoNoThunks	Test.Util
version	Paths_hydra_node
Wait	Hydra.Model
waitEq	Test.Util
waitForClients	Hydra.API.ServerSpec
waitForOpen	Hydra.Model
waitForOutputs	Hydra.Model
waitForReadyToFanout	Hydra.Model
waitForUTxOToSpend	Hydra.Model
waitForValue	Hydra.API.ServerSpec
waitMatch
1 (Function)	Test.Util
2 (Function)	Hydra.API.ServerSpec
waitUntil	Hydra.BehaviorSpec
waitUntilHistory	Hydra.Model
waitUntilMatch	Hydra.BehaviorSpec
withAccumulators	Hydra.HeadLogicSpec
withClient	Hydra.API.ServerSpec
withEventSourceAndSink	Hydra.Events.SQLiteBasedSpec
withFreeServerSocket	Hydra.API.ServerSpec
withHydraNode	Hydra.BehaviorSpec
withHydraNode'	Hydra.BehaviorSpec
withinSizeLimits	Hydra.Chain.Direct.HandlersSpec
withRunningHydraNode	Hydra.NodeSpec
withSettingsBurstProxy	Hydra.NetworkSpec
withSimulatedChainAndNetwork	Hydra.BehaviorSpec
withSimulatedChainAndNetworkWithholdingAckSn	Hydra.BehaviorSpec
withSimulatedChainAndNetworkWithholdingAckSnFrom	Hydra.BehaviorSpec
withSimulatedChainAndSlowNetwork	Hydra.BehaviorSpec
withStuckOutbox	Hydra.Node.OutboxSpec
withTestAPIServer	Hydra.API.ServerSpec
withTestAPIServer'	Hydra.API.ServerSpec
withTestAPIServerBindingPort	Hydra.API.ServerSpec
withTestAPIServerStalledWhen	Hydra.API.ServerSpec
withTestAPIServerWithCallback	Hydra.API.ServerSpec
withTestAPIServerWithFilter	Hydra.API.ServerSpec
withUDPServerSocket	Hydra.Events.UDPSpec
withYaml	Hydra.ConfigSpec
WorldState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
zeroChainPointTime	Hydra.HeadLogicSpec