Index

$sel:actor:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:alreadyContested:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:cardanoKeys:Start	Hydra.Model
$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:commits:Start	Hydra.Model
$sel:committed:Start	Hydra.Model
$sel:confirmedUTxO:OffChainState	Hydra.Model
$sel:connectNode:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:constructedTx:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:currentVersion:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:deltaUTxO:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:env:StepState	Hydra.HeadLogicSpec
$sel:finalUTxO:Start	Hydra.Model
$sel:from:Payment	Hydra.Model.Payment
$sel:headParameters:Start	Hydra.Model
$sel:headState:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:headState:StepState	Hydra.HeadLogicSpec
$sel:hydraParties:WorldState	Hydra.Model
$sel:hydraState:WorldState	Hydra.Model
$sel:idleContestationPeriod:Start	Hydra.Model
$sel:idleParties:Start	Hydra.Model
$sel:inHead:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:injectChainEvent:TestHydraClient	Hydra.BehaviorSpec
$sel:knownSnapshots:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:ledger:StepState	Hydra.HeadLogicSpec
$sel:logger:Nodes	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:number:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:observation:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:offChainState:Start	Hydra.Model
$sel:pendingCommits:Start	Hydra.Model
$sel:pendingDecommit:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:queryState:TestHydraClient	Hydra.BehaviorSpec
$sel:rollbackAndForward:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:runAppM:AppM	Hydra.Chain.Direct.TxTraceSpec
$sel:runMonad:RunMonad	Hydra.Model
$sel:seedContestationPeriod:Seed	Hydra.Model
$sel:seedKeys:Seed	Hydra.Model
$sel:send:TestHydraClient	Hydra.BehaviorSpec
$sel:serverOutputs:TestHydraClient	Hydra.BehaviorSpec
$sel:signingKey:CardanoSigningKey	Hydra.Model.Payment
$sel:simulateCommit: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:Seed	Hydra.Model
$sel:toCommit:Start	Hydra.Model
$sel:toDecommit:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:utxo:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:utxoInHead:Model	Hydra.Chain.Direct.TxTraceSpec
$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
===	Hydra.Model
A	Hydra.Chain.Direct.TxTraceSpec
Abort	Hydra.Model
aConfigurationException	Hydra.Node.RunSpec
Action	Hydra.Chain.Direct.TxTraceSpec, Hydra.Model
action_	Hydra.ModelSpec
Actor	Hydra.Chain.Direct.TxTraceSpec
actorChainContext	Hydra.Chain.Direct.TxTraceSpec
ActualCommitted	Hydra.Model
advanceSlot	Hydra.BehaviorSpec
Alice	Hydra.Chain.Direct.TxTraceSpec
alicePVk	Hydra.Chain.Direct.TxTraceSpec
aliceReceivesMessages	Hydra.Network.ReliabilitySpec
allActors	Hydra.Chain.Direct.TxTraceSpec
allTxIns	Hydra.Chain.Direct.WalletSpec
allTxOuts	Hydra.Chain.Direct.WalletSpec
apiServerSpec	Hydra.API.HTTPServerSpec
appliesValidTransaction
1 (Function)	Hydra.Ledger.CardanoSpec
2 (Function)	Hydra.Model.MockChainSpec
appliesValidTransactionFromJSON	Hydra.Ledger.CardanoSpec
applyTx	Hydra.Model.Payment
AppM
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
assertAllnodesReceivedMessagesFromAllOtherNodes	Hydra.NetworkSpec
assertBalancesInOpenHeadAreConsistent	Hydra.ModelSpec
assertHeadIsClosed	Hydra.BehaviorSpec
assertHeadIsClosedWith	Hydra.BehaviorSpec
assertWait	Hydra.HeadLogicSpec
B	Hydra.Chain.Direct.TxTraceSpec
Bob	Hydra.Chain.Direct.TxTraceSpec
bobPVk	Hydra.Chain.Direct.TxTraceSpec
C	Hydra.Chain.Direct.TxTraceSpec
CannotFindSpendableUTxO	Hydra.Model
canRoundtripRunOptionsAndPrettyPrinting	Hydra.OptionsSpec
captureConnectivity	Hydra.Network.HeartbeatSpec
captureIncoming	Hydra.Network.ReliabilitySpec
captureOutgoing	Hydra.Network.HeartbeatSpec
capturePayload	Hydra.Network.ReliabilitySpec
captureTraces	Hydra.Network.ReliabilitySpec
CardanoSigningKey
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
Carol	Hydra.Chain.Direct.TxTraceSpec
carolPVk	Hydra.Chain.Direct.TxTraceSpec
chainEffect	Hydra.HeadLogicSpec
client	Hydra.FireForgetSpec
Close
1 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Model
Closed
1 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Model
CloseWithInitialSnapshot	Hydra.Model
Commit	Hydra.Model
confirmedSnapshot	Hydra.Chain.Direct.TxTraceSpec
conflictFreeLiveness	Hydra.ModelSpec
connectivityChanged	Hydra.HeadLogicSpec
containsNewLine	Hydra.PersistenceSpec
Contest	Hydra.Chain.Direct.TxTraceSpec
counterexample'	Hydra.Chain.Direct.TxTraceSpec
coversInterestingActions	Hydra.Chain.Direct.TxTraceSpec
createHydraNode	Hydra.BehaviorSpec
createMockChain	Hydra.Model.MockChain
createMockNetwork
1 (Function)	Hydra.BehaviorSpec
2 (Function)	Hydra.Model.MockChain
createPersistenceInMemory	Hydra.NodeSpec
createRecordingSink	Hydra.NodeSpec
createTestHydraClient	Hydra.BehaviorSpec
D	Hydra.Chain.Direct.TxTraceSpec
Decommit	Hydra.Model
Decrement	Hydra.Chain.Direct.TxTraceSpec
deltaValue	Hydra.Chain.Direct.WalletSpec
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
eventually	Hydra.ModelSpec
expectInvalid	Hydra.Chain.Direct.TxTraceSpec
expectValid	Hydra.Chain.Direct.TxTraceSpec
Fanout
1 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Model
fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
Final
1 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Model
findOwnCardanoKey	Hydra.Model.MockChain
fixedTimeHandleIndefiniteHorizon	Hydra.Model.MockChain
flushQueue	Hydra.Model.MockChain
forAllAbort	Hydra.Chain.Direct.StateSpec
forAllClose	Hydra.Chain.Direct.StateSpec
forAllCollectCom	Hydra.Chain.Direct.StateSpec
forAllCommit	Hydra.Chain.Direct.StateSpec
forAllCommit'	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
forAllInit	Hydra.Chain.Direct.StateSpec
forAllRecover	Hydra.Chain.Direct.StateSpec
fulfilled	Hydra.Chain.Direct.TxTraceSpec
genAdaOnlyUTxOOnMainnetWithAmountBiggerThanOutLimit	Hydra.Chain.Direct.StateSpec
genAdaValue	Hydra.Model.Payment
genBlockAt	Hydra.Chain.Direct.HandlersSpec
genBlueprintTxWithUTxO	Hydra.Chain.Direct.TxSpec
genCommitTxMutation	Hydra.Chain.Direct.StateSpec
genContestationPeriod	Hydra.Model
genContinuousEvents	Hydra.Events.FileBasedSpec
genInit	Hydra.Model
genInitTxMutation	Hydra.Chain.Direct.StateSpec
genInitTxWithSeed	Hydra.Chain.Direct.StateSpec
genLedgerTx	Hydra.Chain.Direct.WalletSpec
genMetadata	Hydra.Chain.Direct.TxSpec
genOutputsForInputs	Hydra.Chain.Direct.WalletSpec
genPayment	Hydra.Model
genPersistenceItem	Hydra.PersistenceSpec
genRollbackBlocks	Hydra.Chain.Direct.HandlersSpec
genRollbackPoint	Hydra.Chain.Direct.HandlersSpec
genSeed	Hydra.Model
genSequenceOfObservableBlocks	Hydra.Chain.Direct.HandlersSpec
genSequenceOfValidTransactions	Hydra.Ledger.SimpleSpec
genSlotLength	Hydra.Ledger.Cardano.TimeSpec
genSomeText	Hydra.PersistenceSpec
genSystemStart	Hydra.Ledger.Cardano.TimeSpec
genTimeHandleWithSlotInsideHorizon	Hydra.Chain.Direct.HandlersSpec
genTimeHandleWithSlotPastHorizon	Hydra.Chain.Direct.HandlersSpec
genToCommit	Hydra.Model
genTxsSpending	Hydra.Chain.Direct.WalletSpec
genUTCTime	Hydra.Ledger.Cardano.TimeSpec
genUTxO	Hydra.Chain.Direct.WalletSpec
getAuxMetadata	Hydra.Chain.Direct.TxSpec
getBinDir	Paths_hydra_node
getConfirmedSnapshot	Hydra.HeadLogicSpec
getDataDir	Paths_hydra_node
getDataFileName	Paths_hydra_node
getDynLibDir	Paths_hydra_node
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
handleChainEvent	Hydra.BehaviorSpec
hasEffect	Hydra.HeadLogicSpec
hasEffectSatisfying	Hydra.HeadLogicSpec
hasLowFees	Hydra.Chain.Direct.WalletSpec
hasNoEffectSatisfying	Hydra.HeadLogicSpec
headIsOpen	Hydra.Model
headIsReadyToFanout	Hydra.Model
headOpensIfAllPartiesCommit	Hydra.ModelSpec
Idle	Hydra.Model
inClosedState	Hydra.HeadLogicSpec
inClosedState'	Hydra.HeadLogicSpec
inIdleState	Hydra.HeadLogicSpec
inInitialState	Hydra.HeadLogicSpec
Init	Hydra.Model
Initial	Hydra.Model
inOpenState	Hydra.HeadLogicSpec
inOpenState'	Hydra.HeadLogicSpec
inputsToOpenHead	Hydra.NodeSpec
isBalanced	Hydra.Chain.Direct.WalletSpec
IsChainStateTest	Hydra.BehaviorSpec
isContinuous	Test.Util
isGreetings	Hydra.API.ServerSpec
isMonotonic	Test.Util
isOurs	Hydra.Chain.Direct.WalletSpec
isOutputOfLastTransaction	Hydra.Model.MockChainSpec
isOwned	Hydra.Model
isPendingCommitFrom	Hydra.Model
isReqSn	Hydra.NodeSpec
isStrictlyMonotonic	Test.Util
knownInputBalance	Hydra.Chain.Direct.WalletSpec
latestSnapshot	Hydra.Chain.Direct.TxTraceSpec
latestSnapshotNumber	Hydra.Chain.Direct.TxTraceSpec
main
1 (Function)	Spec
2 (Function)	Main
matchFanout	Hydra.BehaviorSpec
matchGreetings	Hydra.API.ServerSpec
matchJSON	Hydra.API.HTTPServerSpec
matchValidJSON	Hydra.API.HTTPServerSpec
messageRecorder	Hydra.NodeSpec
mfail	Hydra.Chain.Direct.StateSpec
mkMockTxIn	Hydra.Model
mkTxOut	Hydra.Model
mockCallback	Hydra.NetworkSpec
mockChain	Hydra.NodeSpec
mockChainAndNetwork	Hydra.Model.MockChain
mockChainQuery	Hydra.Chain.Direct.WalletSpec
MockHydraNode
1 (Type/Class)	Hydra.Model.MockChain
2 (Data Constructor)	Hydra.Model.MockChain
mockMessagePersistence	Hydra.Network.ReliabilitySpec
mockNetwork	Hydra.NodeSpec
mockPersistence	Hydra.API.ServerSpec
mockPersistence'	Hydra.API.ServerSpec
mockQueryEpochInfo	Hydra.Chain.Direct.WalletSpec
mockQueryPParams	Hydra.Chain.Direct.WalletSpec
mockServer	Hydra.NodeSpec
mockSink	Hydra.NodeSpec
mockSource	Hydra.NodeSpec
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
newCloseTx	Hydra.Chain.Direct.TxTraceSpec
newContestTx	Hydra.Chain.Direct.TxTraceSpec
newDecrementTx	Hydra.Chain.Direct.TxTraceSpec
newFanoutTx	Hydra.Chain.Direct.TxTraceSpec
newServer	Hydra.FireForgetSpec
NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
NewTx	Hydra.Model
Nodes
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
nonConflictingTx	Hydra.ModelSpec
noop
1 (Function)	Hydra.Network.HeartbeatSpec
2 (Function)	Hydra.Network.ReliabilitySpec
3 (Function)	Hydra.API.ServerSpec
notConnect	Hydra.NodeSpec
nothingHappensFor	Hydra.BehaviorSpec
ObserveConfirmedTx	Hydra.Model
ObserveHeadIsOpen	Hydra.Model
observeTx	Hydra.HeadLogicSpec
observeTxAtSlot	Hydra.HeadLogicSpec
OffChainState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
Open
1 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Model
openHead	Hydra.BehaviorSpec
openHeadUTxO	Hydra.Chain.Direct.TxTraceSpec
orSometimes	Hydra.Chain.Direct.TxTraceSpec
ourDirectInputs	Hydra.Chain.Direct.WalletSpec
ourOutputs	Hydra.Chain.Direct.WalletSpec
outputBalance	Hydra.Chain.Direct.WalletSpec
partyContestsToWrongClosedSnapshot	Hydra.ModelSpec
partyKeys	Hydra.Model
Payment
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
performAbort	Hydra.Model
performClose	Hydra.Model
performCloseWithInitialSnapshot	Hydra.Model
performCommit	Hydra.Model
performDecommit	Hydra.Model
performFanout	Hydra.Model
performInit	Hydra.Model
performNewTx	Hydra.Model
performRollbackAndForward	Hydra.Model
performTx	Hydra.Chain.Direct.TxTraceSpec
PostconditionM'
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
primeWith	Hydra.NodeSpec
printTrace	Test.Util
propBelowSizeLimit	Hydra.Chain.Direct.StateSpec
propCollisionResistant	Test.Util
propDoesNotCollapse	Hydra.Ledger.CardanoSpec
propGeneratesGoodTxOut	Hydra.Ledger.CardanoSpec
propHasEnoughLovelace	Hydra.Ledger.CardanoSpec
propHasValidAuxData	Hydra.Chain.Direct.TxSpec
propIsDistributive	Hydra.ModelSpec
propIsSubmapOf	Hydra.Chain.Direct.TxSpec
propIsSubsetOf	Hydra.Chain.Direct.TxSpec
propIsValid	Hydra.Chain.Direct.StateSpec
propRealisticValue	Hydra.Ledger.CardanoSpec
prop_balanceTransaction	Hydra.Chain.Direct.WalletSpec
prop_canCloseFanoutEveryCollect	Hydra.Chain.Direct.StateSpec
prop_canRoundtripCBOREncoding	Hydra.NetworkSpec
prop_checkConflictFreeLiveness	Hydra.ModelSpec
prop_checkHeadOpensIfAllPartiesCommit	Hydra.ModelSpec
prop_checkModel	Hydra.ModelSpec
prop_doesNotGenerate0AdaUTxO	Hydra.ModelSpec
prop_fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
prop_generateTraces	Hydra.ModelSpec
prop_HydraModel	Hydra.ModelSpec
prop_identify_enqueued_items	Hydra.Node.InputQueueSpec
prop_ignoresUnrelatedOnInitTx	Hydra.HeadLogicSpec
prop_interestingBlueprintTx	Hydra.Chain.Direct.TxSpec
prop_observeAnyTx	Hydra.Chain.Direct.StateSpec
prop_partyContestsToWrongClosedSnapshot	Hydra.ModelSpec
prop_picksLargestUTxOToPayTheFees	Hydra.Chain.Direct.WalletSpec
prop_reducesWhenNotOurs	Hydra.Chain.Direct.WalletSpec
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_validateCorrectTransactions	Hydra.Ledger.SimpleSpec
prop_wellSuitedGenerators	Hydra.Chain.Direct.WalletSpec
realWorldModelUTxO	Hydra.Chain.Direct.TxTraceSpec
receiveMessage	Hydra.HeadLogicSpec
receiveMessageFrom	Hydra.HeadLogicSpec
recordEventsHandler	Hydra.Chain.Direct.HandlersSpec
recordNetwork	Hydra.NodeSpec
recordServerOutputs	Hydra.NodeSpec
RollbackAndForward	Hydra.Model
roundtripPParams	Hydra.Ledger.CardanoSpec
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
runToCompletion	Hydra.NodeSpec
scriptLedger	Hydra.Model.MockChain
Seed	Hydra.Model
seedWorld	Hydra.Model
sendsAnErrorWhenInputCannotBeDecoded	Hydra.API.ServerSpec
sendsInput	Hydra.Model
settings	Hydra.API.ClientInputSpec
setupQuery	Hydra.Chain.Direct.WalletSpec
shortLabel	Hydra.BehaviorSpec
shouldBe	Test.Util
shouldContain	Test.Util
shouldEventuallyReceive	Hydra.NetworkSpec
shouldNotBe	Test.Util
shouldNotParse	Hydra.OptionsSpec
shouldParse	Hydra.OptionsSpec
shouldParseJSONAs	Hydra.Ledger.CardanoSpec
shouldReturn	Test.Util
shouldRunInSim	Test.Util
shouldSatisfy	Test.Util
shouldSatisfyAll	Hydra.API.ServerSpec
showFromAction	Hydra.Model
showRollbackInfo	Hydra.Chain.Direct.HandlersSpec
shrinkSequence	Hydra.Ledger.SimpleSpec
signedSnapshot	Hydra.Chain.Direct.TxTraceSpec
simulatedChainAndNetwork	Hydra.BehaviorSpec
SimulatedChainNetwork
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
SingleUTxO	Hydra.Chain.Direct.TxTraceSpec
spec
1 (Function)	Hydra.API.ClientInputSpec
2 (Function)	Hydra.API.ServerOutputSpec
3 (Function)	Hydra.Chain.Direct.HandlersSpec
4 (Function)	Hydra.Chain.Direct.ScriptRegistrySpec
5 (Function)	Hydra.Chain.Direct.StateSpec
6 (Function)	Hydra.Chain.Direct.TimeHandleSpec
7 (Function)	Hydra.Chain.Direct.TxSpec
8 (Function)	Hydra.Chain.Direct.TxTraceSpec
9 (Function)	Hydra.Chain.Direct.WalletSpec
10 (Function)	Hydra.ContestationPeriodSpec
11 (Function)	Hydra.Events.FileBasedSpec
12 (Function)	Hydra.JSONSchemaSpec
13 (Function)	Hydra.Ledger.Cardano.TimeSpec
14 (Function)	Hydra.HeadLogicSpec
15 (Function)	Hydra.HeadLogicSnapshotSpec
16 (Function)	Hydra.Ledger.SimpleSpec
17 (Function)	Hydra.Logging.MonitoringSpec
18 (Function)	Hydra.LoggingSpec
19 (Function)	Hydra.Network.HeartbeatSpec
20 (Function)	Hydra.Network.ReliabilitySpec
21 (Function)	Hydra.NetworkSpec
22 (Function)	Hydra.Network.AuthenticateSpec
23 (Function)	Hydra.Node.RunSpec
24 (Function)	Hydra.OptionsSpec
25 (Function)	Hydra.PartySpec
26 (Function)	Hydra.PersistenceSpec
27 (Function)	Hydra.UtilsSpec
28 (Function)	Hydra.NodeSpec
29 (Function)	Hydra.Node.InputQueueSpec
30 (Function)	Hydra.Ledger.CardanoSpec
31 (Function)	Hydra.FireForgetSpec
32 (Function)	Hydra.CryptoSpec
33 (Function)	Hydra.BehaviorSpec
34 (Function)	Hydra.Model.MockChainSpec
35 (Function)	Hydra.ModelSpec
36 (Function)	Hydra.API.ServerSpec
37 (Function)	Hydra.API.HTTPServerSpec
38 (Function)	Spec
specMultiSignature	Hydra.CryptoSpec
specSignature	Hydra.CryptoSpec
specSigningKey	Hydra.CryptoSpec
specVerificationKey	Hydra.CryptoSpec
Start	Hydra.Model
State	Hydra.Chain.Direct.TxTraceSpec
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
TestBlock
1 (Type/Class)	Hydra.Chain.Direct.HandlersSpec
2 (Data Constructor)	Hydra.Chain.Direct.HandlersSpec
testClient	Hydra.API.ServerSpec
testContestationPeriod	Hydra.BehaviorSpec
TestHydraClient
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
testHydraNode	Hydra.NodeSpec
testScriptRegistry	Hydra.Chain.Direct.TxTraceSpec
testSnapshot	Hydra.HeadLogicSpec
throwExceptionOnPostTx	Hydra.NodeSpec
toOnChainTx	Hydra.BehaviorSpec
toRealUTxO	Hydra.Model
toTxOuts	Hydra.Model
traceDebug	Test.Util
traceInIOSim	Test.Util
TransactionNotObserved	Hydra.Model
TxResult
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
Uncommitted	Hydra.Model
UnexpectedParty	Hydra.Model
UnknownAddress	Hydra.Model
unsafeConstructorName	Hydra.Model
unwrapAddress	Hydra.ModelSpec
version	Paths_hydra_node
Wait	Hydra.Model
waitForAllMessages	Hydra.Network.ReliabilitySpec
waitForClients	Hydra.API.ServerSpec
waitForOpen	Hydra.Model
waitForReadyToFanout	Hydra.Model
waitForUTxOToSpend	Hydra.Model
waitForValue	Hydra.API.ServerSpec
waitMatch
1 (Function)	Hydra.BehaviorSpec
2 (Function)	Hydra.API.ServerSpec
waitUntil	Hydra.BehaviorSpec
waitUntilMatch	Hydra.BehaviorSpec
withClient	Hydra.API.ServerSpec
withCounterExample	Hydra.Chain.Direct.HandlersSpec
withEventSourceAndSink	Hydra.Events.FileBasedSpec
withHydraNode	Hydra.BehaviorSpec
withNodeBroadcastingForever	Hydra.NetworkSpec
withNodesBroadcastingForever	Hydra.NetworkSpec
withSimulatedChainAndNetwork	Hydra.BehaviorSpec
withTestAPIServer	Hydra.API.ServerSpec
WorldState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model