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: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: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: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:number:ModelSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:observation:TxResult	Hydra.Chain.Direct.TxTraceSpec
$sel:offChainState:Start	Hydra.Model
$sel:omegaUTxO:NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
$sel:party:Seed	Hydra.Model
$sel:pendingDecommit:Model	Hydra.Chain.Direct.TxTraceSpec
$sel:pendingDeposit: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:seedKeys:Seed	Hydra.Model
$sel:send:TestHydraClient	Hydra.BehaviorSpec
$sel:serverOutputs:TestHydraClient	Hydra.BehaviorSpec
$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: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
===	Hydra.Model
A	Hydra.Chain.Direct.TxTraceSpec
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
alicePVk	Hydra.Chain.Direct.TxTraceSpec
allActors	Hydra.Chain.Direct.TxTraceSpec
allowEverythingServerOutputFilter	Hydra.API.ServerSpec
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
applyTransactionsEquivalence	Hydra.Ledger.CardanoSpec
applyTx	Hydra.Model.Payment
AppM
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
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
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
captureTracer	Test.Util
CardanoSigningKey
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
Carol	Hydra.Chain.Direct.TxTraceSpec
carolPVk	Hydra.Chain.Direct.TxTraceSpec
catchingUp	Hydra.HeadLogicSpec
chainEffect	Hydra.HeadLogicSpec
ChunkedEvents
1 (Type/Class)	Hydra.Events.RotationSpec
2 (Data Constructor)	Hydra.Events.RotationSpec
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
CloseWithInitialSnapshot	Hydra.Model
confirmedSnapshot	Hydra.Chain.Direct.TxTraceSpec
conflictFreeLiveness	Hydra.ModelSpec
connectivityChanged	Hydra.HeadLogicSpec
Contest	Hydra.Chain.Direct.TxTraceSpec
counterexample'	Hydra.Chain.Direct.TxTraceSpec
coversInterestingActions	Hydra.Chain.Direct.TxTraceSpec
createHydraNode	Hydra.BehaviorSpec
createMockChain	Hydra.Model.MockChain
createMockEventStore	Hydra.NodeSpec
createMockNetwork	Hydra.Model.MockChain
createMockNetworkWithDelay	Hydra.BehaviorSpec
createRecordingSink	Hydra.NodeSpec
createTestHydraClient	Hydra.BehaviorSpec
D	Hydra.Chain.Direct.TxTraceSpec
Decommit	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
depositHead	Hydra.BehaviorSpec
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
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
fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
Final
1 (Data Constructor)	Hydra.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
findOwnCardanoKey	Hydra.Model.MockChain
fixedTimeHandleIndefiniteHorizon	Hydra.Model.MockChain
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
genPayment	Hydra.Model
GenPositional	Hydra.CBORSpec
GenRecord	Hydra.CBORSpec
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
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
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
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
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
main	Main
matchCBOR	Hydra.API.HTTPServerSpec
matchGreetings	Hydra.API.ServerSpec
matchJSON	Hydra.API.HTTPServerSpec
matchValidJSON	Hydra.API.HTTPServerSpec
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.API.ServerSpec
2 (Function)	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
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
NewSnapshot	Hydra.Chain.Direct.TxTraceSpec
NewTx	Hydra.Model
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
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.Model
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
openHead	Hydra.BehaviorSpec
openHead2	Hydra.BehaviorSpec
openHeadUTxO	Hydra.Chain.Direct.TxTraceSpec
ourDirectInputs	Hydra.Chain.Direct.WalletSpec
ourOutputs	Hydra.Chain.Direct.WalletSpec
outputBalance	Hydra.Chain.Direct.WalletSpec
parseRunOptions	Hydra.ConfigSpec
partyContestsToWrongClosedSnapshot	Hydra.ModelSpec
partyKeys	Hydra.Model
Payment
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
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
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
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
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_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
realWorldModelUTxO	Hydra.Chain.Direct.TxTraceSpec
reapplyEquivalence	Hydra.Ledger.CardanoSpec
reapplyRejectsExpired	Hydra.Ledger.CardanoSpec
receiveMessage	Hydra.HeadLogicSpec
receiveMessageFrom	Hydra.HeadLogicSpec
recordEventsHandler	Hydra.Chain.Direct.HandlersSpec
recordNetwork	Hydra.NodeSpec
recordServerOutputs	Hydra.NodeSpec
reqDecDecommitTx	Hydra.HeadLogicSpec
reqDecDepositedUTxO	Hydra.HeadLogicSpec
reqDecDepositTxId	Hydra.HeadLogicSpec
reqDecStateWith	Hydra.HeadLogicSpec
retry	Hydra.Chain.BlockfrostSpec
RollbackAndForward	Hydra.Model
roundtripPParams	Hydra.Ledger.CardanoSpec
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
scriptLanguageNoThunks	Test.Util
scriptLedger	Hydra.Model.MockChain
scriptNoThunks	Test.Util
Seed	Hydra.Model
seedWorld	Hydra.Model
sendsAnErrorWhenInputCannotBeDecoded	Hydra.API.ServerSpec
sendsInput	Hydra.Model
setup2Peers	Hydra.NetworkSpec
setup3Peers	Hydra.NetworkSpec
setupQuery	Hydra.Chain.Direct.WalletSpec
shortLabel	Hydra.BehaviorSpec
shouldBe	Test.Util
shouldNotBlock	Hydra.PersistentQueueSpec
shouldNotBlock_	Hydra.PersistentQueueSpec
shouldNotParse	Hydra.OptionsSpec
shouldParse	Hydra.OptionsSpec
shouldParseJSONAs	Hydra.Ledger.CardanoSpec
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
sortTxOuts	Hydra.Model
spec
1 (Function)	Hydra.API.ClientInputSpec
2 (Function)	Hydra.API.ServerOutputSpec
3 (Function)	Hydra.API.ServerSpec
4 (Function)	Hydra.CBORSpec
5 (Function)	Hydra.Chain.BlockfrostSpec
6 (Function)	Hydra.Chain.Direct.HandlersSpec
7 (Function)	Hydra.Chain.Direct.ScriptRegistrySpec
8 (Function)	Hydra.Chain.Direct.TimeHandleSpec
9 (Function)	Hydra.Chain.Direct.TxSpec
10 (Function)	Hydra.Chain.Direct.WalletSpec
11 (Function)	Hydra.Chain.ScriptRegistrySpec
12 (Function)	Hydra.ConfigSpec
13 (Function)	Hydra.Events.S3Spec
14 (Function)	Hydra.Events.UDPSpec
15 (Function)	Hydra.HeadLogic.OutcomeSpec
16 (Function)	Hydra.JSONSchemaSpec
17 (Function)	Hydra.Ledger.Cardano.TimeSpec
18 (Function)	Hydra.Ledger.SimpleSpec
19 (Function)	Hydra.LoggingSpec
20 (Function)	Hydra.NetworkVersionsSpec
21 (Function)	Hydra.Node.RunSpec
22 (Function)	Hydra.Node.UtilSpec
23 (Function)	Hydra.OffChainLeaderSpec
24 (Function)	Hydra.OptionsSpec
25 (Function)	Hydra.PartySpec
26 (Function)	Hydra.PersistentQueueSpec
27 (Function)	Hydra.UtilsSpec
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.HTTPServerSpec
39 (Function)	Hydra.Events.SQLiteBasedSpec
40 (Function)	Hydra.CryptoSpec
41 (Function)	Hydra.Chain.Direct.StateSpec
42 (Function)	Hydra.BehaviorSpec
43 (Function)	Hydra.Model.MockChainSpec
44 (Function)	Hydra.ModelSpec
45 (Function)	Hydra.Chain.Direct.TxTraceSpec
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
SuccessfulBackend
1 (Type/Class)	Hydra.Chain.ScriptRegistrySpec
2 (Data Constructor)	Hydra.Chain.ScriptRegistrySpec
TestBlock
1 (Type/Class)	Hydra.Chain.Direct.HandlersSpec
2 (Data Constructor)	Hydra.Chain.Direct.HandlersSpec
testClient	Hydra.API.ServerSpec
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
throwExceptionOnPostTx	Hydra.NodeSpec
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
txInsTotalValue	Hydra.Chain.Direct.TxSpec
txOutNoThunks	Test.Util
TxResult
1 (Type/Class)	Hydra.Chain.Direct.TxTraceSpec
2 (Data Constructor)	Hydra.Chain.Direct.TxTraceSpec
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
waitForReadyToFanout	Hydra.Model
waitForUTxOToSpend	Hydra.Model
waitForValue	Hydra.API.ServerSpec
waitMatch
1 (Function)	Hydra.API.ServerSpec
2 (Function)	Test.Util
waitUntil	Hydra.BehaviorSpec
waitUntilMatch	Hydra.BehaviorSpec
withClient	Hydra.API.ServerSpec
withEventSourceAndSink	Hydra.Events.SQLiteBasedSpec
withHydraNode	Hydra.BehaviorSpec
withHydraNode'	Hydra.BehaviorSpec
withSettingsBurstProxy	Hydra.NetworkSpec
withSimulatedChainAndNetwork	Hydra.BehaviorSpec
withSimulatedChainAndSlowNetwork	Hydra.BehaviorSpec
withTestAPIServer	Hydra.API.ServerSpec
withTestAPIServerWithCallback	Hydra.API.ServerSpec
withUDPServerSocket	Hydra.Events.UDPSpec
withYaml	Hydra.ConfigSpec
WorldState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
zeroChainPointTime	Hydra.HeadLogicSpec