Index

$sel:cardanoKeys:Start	Hydra.Model
$sel:chain:Nodes	Hydra.Model
$sel:chainHandler:MockHydraNode	Hydra.Model.MockChain
$sel:closedUTxO:Start	Hydra.Model
$sel:closeWithInitialSnapshot:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:commits:Start	Hydra.Model
$sel:committed:HealthyCommit	Hydra.Chain.Direct.Contract.CollectCom
$sel:committed:Start	Hydra.Model
$sel:confirmedUTxO:OffChainState	Hydra.Model
$sel:connectNode:SimulatedChainNetwork	Hydra.BehaviorSpec
$sel:env:StepState	Hydra.HeadLogicSpec
$sel:expectedError:SomeMutation	Hydra.Chain.Direct.Contract.Mutation
$sel:finalUTxO:Start	Hydra.Model
$sel:from:Payment	Hydra.Model.Payment
$sel:headParameters:Start	Hydra.Model
$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:injectChainEvent:TestHydraClient	Hydra.BehaviorSpec
$sel:label:SomeMutation	Hydra.Chain.Direct.Contract.Mutation
$sel:ledger:StepState	Hydra.HeadLogicSpec
$sel:logger:Nodes	Hydra.Model
$sel:mutation:SomeMutation	Hydra.Chain.Direct.Contract.Mutation
$sel:node:MockHydraNode	Hydra.Model.MockChain
$sel:nodes:Nodes	Hydra.Model
$sel:nodesState:RunState	Hydra.Model
$sel:offChainState:Start	Hydra.Model
$sel:participant:HealthyCommit	Hydra.Chain.Direct.Contract.CollectCom
$sel:pendingCommits:Start	Hydra.Model
$sel:queryState:TestHydraClient	Hydra.BehaviorSpec
$sel:rollbackAndForward:SimulatedChainNetwork	Hydra.BehaviorSpec
$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: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:txOut:HealthyCommit	Hydra.Chain.Direct.Contract.CollectCom
$sel:value:Payment	Hydra.Model.Payment
$sel:waitForNext:TestHydraClient	Hydra.BehaviorSpec
===	Hydra.Model
Abort	Hydra.Model
AbortMutation	Hydra.Chain.Direct.Contract.Abort
aConfigurationException	Hydra.Node.RunSpec
Action	Hydra.Model
action_	Hydra.ModelSpec
ActualCommitted	Hydra.Model
addDatum	Hydra.Chain.Direct.Contract.Mutation
AddInput	Hydra.Chain.Direct.Contract.Mutation
addParticipationTokens	Hydra.Chain.Direct.Contract.Mutation
addPTWithQuantity	Hydra.Chain.Direct.Contract.Mutation
AddScript	Hydra.Chain.Direct.Contract.Mutation
advanceSlot	Hydra.BehaviorSpec
alice	Test.Hydra.Fixture
aliceReceivesMessages	Hydra.Network.ReliabilitySpec
aliceSk	Test.Hydra.Fixture
aliceVk	Test.Hydra.Fixture
allTxIns	Hydra.Chain.Direct.WalletSpec
allTxOuts	Hydra.Chain.Direct.WalletSpec
allVKeys	Test.Hydra.Fixture
alterRedeemers	Hydra.Chain.Direct.Contract.Mutation
alterTxIns	Hydra.Chain.Direct.Contract.Mutation
alterTxOuts	Hydra.Chain.Direct.Contract.Mutation
anyPayToPubKeyTxOut	Hydra.Chain.Direct.Contract.Mutation
apiServerSpec	Hydra.API.HTTPServerSpec
AppendOutput	Hydra.Chain.Direct.Contract.Mutation
appliesValidTransaction
1 (Function)	Hydra.Ledger.CardanoSpec
2 (Function)	Hydra.Model.MockChainSpec
appliesValidTransactionFromJSON	Hydra.Ledger.CardanoSpec
applyMutation	Hydra.Chain.Direct.Contract.Mutation
applyTx	Hydra.Model.Payment
assertAllnodesReceivedMessagesFromAllOtherNodes	Hydra.NetworkSpec
assertBalancesInOpenHeadAreConsistent	Hydra.ModelSpec
assertHeadIsClosed	Hydra.BehaviorSpec
assertHeadIsClosedWith	Hydra.BehaviorSpec
assertWait	Hydra.HeadLogicSpec
assetNameFromVerificationKey	Hydra.Chain.Direct.TxSpec
bob	Test.Hydra.Fixture
bobSk	Test.Hydra.Fixture
bobVk	Test.Hydra.Fixture
BurnOneTokenMore	Hydra.Chain.Direct.Contract.Abort
CannotFindSpendableUTxO	Hydra.Model
canRoundtripRunOptionsAndPrettyPrinting	Hydra.OptionsSpec
captureIncoming	Hydra.Network.ReliabilitySpec
capturePayload	Hydra.Network.ReliabilitySpec
captureTraces	Hydra.Network.ReliabilitySpec
CardanoSigningKey
1 (Type/Class)	Hydra.Model.Payment
2 (Data Constructor)	Hydra.Model.Payment
carol	Test.Hydra.Fixture
carolSk	Test.Hydra.Fixture
carolVk	Test.Hydra.Fixture
chainEffect	Hydra.HeadLogicSpec
ChangeHeadRedeemer	Hydra.Chain.Direct.Contract.Mutation
ChangeInput	Hydra.Chain.Direct.Contract.Mutation
ChangeInputHeadDatum	Hydra.Chain.Direct.Contract.Mutation
changeMintedTokens	Hydra.Chain.Direct.Contract.Mutation
ChangeMintedValue	Hydra.Chain.Direct.Contract.Mutation
changeMintedValueQuantityFrom	Hydra.Chain.Direct.Contract.Mutation
ChangeMintingPolicy	Hydra.Chain.Direct.Contract.Mutation
ChangeOutput	Hydra.Chain.Direct.Contract.Mutation
ChangeRequiredSigners	Hydra.Chain.Direct.Contract.Mutation
Changes	Hydra.Chain.Direct.Contract.Mutation
ChangeValidityInterval	Hydra.Chain.Direct.Contract.Mutation
ChangeValidityLowerBound	Hydra.Chain.Direct.Contract.Mutation
ChangeValidityUpperBound	Hydra.Chain.Direct.Contract.Mutation
client	Hydra.FireForgetSpec
Close	Hydra.Model
Closed	Hydra.Model
CloseFromDifferentHead	Hydra.Chain.Direct.Contract.Close
CloseInitialMutation	Hydra.Chain.Direct.Contract.Close
CloseMutation	Hydra.Chain.Direct.Contract.Close
CloseWithInitialSnapshot	Hydra.Model
CollectComMutation	Hydra.Chain.Direct.Contract.CollectCom
Commit	Hydra.Model
CommitMutation	Hydra.Chain.Direct.Contract.Commit
commitVerificationKey	Hydra.Chain.Direct.Contract.Commit
conflictFreeLiveness	Hydra.ModelSpec
containsNewLine	Hydra.PersistenceSpec
ContestFromDifferentHead	Hydra.Chain.Direct.Contract.Contest
ContestMutation	Hydra.Chain.Direct.Contract.Contest
cperiod	Test.Hydra.Fixture
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
deltaValue	Hydra.Chain.Direct.WalletSpec
deriveOnChainId	Test.Hydra.Fixture
DoNotBurnST	Hydra.Chain.Direct.Contract.Abort
DoNotBurnSTInitial	Hydra.Chain.Direct.Contract.Abort
drop2nd	Hydra.Chain.Direct.TxSpec
drop3rd	Hydra.Chain.Direct.TxSpec
DropCollectedInput	Hydra.Chain.Direct.Contract.Abort
DropOneCommitOutput	Hydra.Chain.Direct.Contract.Abort
dummyChainHandle	Hydra.API.ServerSpec
DummyInput
1 (Type/Class)	Hydra.Node.InputQueueSpec
2 (Data Constructor)	Hydra.Node.InputQueueSpec
dummySimulatedChainNetwork	Hydra.BehaviorSpec
ensureDatums	Hydra.Chain.Direct.Contract.Mutation
eventually	Hydra.ModelSpec
ExtractSomeValue	Hydra.Chain.Direct.Contract.CollectCom
ExtractValue	Hydra.Chain.Direct.Contract.Abort
Fanout	Hydra.Model
fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
FanoutMutation	Hydra.Chain.Direct.Contract.FanOut
Final	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
forAllFanout	Hydra.Chain.Direct.StateSpec
forAllInit	Hydra.Chain.Direct.StateSpec
fst3	Hydra.Chain.Direct.TxSpec
genAbortableOutputs	Hydra.Chain.Direct.TxSpec
genAbortMutation	Hydra.Chain.Direct.Contract.Abort
genAdaOnlyUTxOOnMainnetWithAmountBiggerThanOutLimit	Hydra.Chain.Direct.StateSpec
genAdaValue	Hydra.Model.Payment
genBlockAt	Hydra.Chain.Direct.HandlersSpec
genBytes	Hydra.Chain.Direct.Contract.Gen
genChainPoint	Hydra.Chain.Direct.WalletSpec
genChainPointAt	Hydra.Chain.Direct.WalletSpec
genCloseInitialMutation	Hydra.Chain.Direct.Contract.Close
genCloseMutation	Hydra.Chain.Direct.Contract.Close
genCollectComMutation	Hydra.Chain.Direct.Contract.CollectCom
genCommitMutation	Hydra.Chain.Direct.Contract.Commit
genCommitTxMutation	Hydra.Chain.Direct.StateSpec
genContestationPeriod	Hydra.Model
genContestMutation	Hydra.Chain.Direct.Contract.Contest
genContinuousEvents	Hydra.Events.FileBasedSpec
generateCommitUTxOs	Hydra.Chain.Direct.TxSpec
genFanoutMutation	Hydra.Chain.Direct.Contract.FanOut
genForParty	Hydra.Chain.Direct.Contract.Gen
genHash	Hydra.Chain.Direct.Contract.Gen
genInit	Hydra.Model
genInitMutation	Hydra.Chain.Direct.Contract.Init
genInitTxMutation	Hydra.Chain.Direct.StateSpec
genInitTxWithSeed	Hydra.Chain.Direct.StateSpec
genLedgerTx	Hydra.Chain.Direct.WalletSpec
genMintedOrBurnedValue	Hydra.Chain.Direct.Contract.Gen
genMutatedDeadline	Hydra.Chain.Direct.Contract.Close
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
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
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
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
headTxIn	Hydra.Chain.Direct.Contract.Mutation
healthyAbortTx	Hydra.Chain.Direct.Contract.Abort
healthyClosedHeadTxIn	Hydra.Chain.Direct.Contract.Contest
healthyClosedHeadTxOut	Hydra.Chain.Direct.Contract.Contest
healthyClosedSnapshotNumber	Hydra.Chain.Direct.Contract.Contest
healthyClosedState	Hydra.Chain.Direct.Contract.Contest
healthyClosedUTxO
1 (Function)	Hydra.Chain.Direct.Contract.Contest
2 (Function)	Hydra.Chain.Direct.Contract.Close
healthyClosedUTxOHash
1 (Function)	Hydra.Chain.Direct.Contract.Contest
2 (Function)	Hydra.Chain.Direct.Contract.Close
healthyCloseInitialTx	Hydra.Chain.Direct.Contract.Close
healthyCloseLowerBoundSlot	Hydra.Chain.Direct.Contract.Close
healthyCloseSnapshotNumber	Hydra.Chain.Direct.Contract.Close
healthyCloseTx	Hydra.Chain.Direct.Contract.Close
healthyCloseUpperBoundPointInTime	Hydra.Chain.Direct.Contract.Close
healthyCloseUTxO	Hydra.Chain.Direct.Contract.Close
healthyCollectComInitialDatum	Hydra.Chain.Direct.Contract.CollectCom
healthyCollectComTx	Hydra.Chain.Direct.Contract.CollectCom
HealthyCommit
1 (Type/Class)	Hydra.Chain.Direct.Contract.CollectCom
2 (Data Constructor)	Hydra.Chain.Direct.Contract.CollectCom
healthyCommitOutput	Hydra.Chain.Direct.Contract.CollectCom
healthyCommits
1 (Function)	Hydra.Chain.Direct.Contract.CollectCom
2 (Function)	Hydra.Chain.Direct.Contract.Abort
healthyCommittedUTxO	Hydra.Chain.Direct.Contract.Commit
healthyCommitTx	Hydra.Chain.Direct.Contract.Commit
healthyContestationDeadline
1 (Function)	Hydra.Chain.Direct.Contract.FanOut
2 (Function)	Hydra.Chain.Direct.Contract.Contest
3 (Function)	Hydra.Chain.Direct.Contract.Close
healthyContestationPeriod
1 (Function)	Hydra.Chain.Direct.Contract.CollectCom
2 (Function)	Hydra.Chain.Direct.Contract.Contest
3 (Function)	Hydra.Chain.Direct.Contract.Close
healthyContestationPeriodSeconds
1 (Function)	Hydra.Chain.Direct.Contract.Contest
2 (Function)	Hydra.Chain.Direct.Contract.Close
healthyContesterVerificationKey	Hydra.Chain.Direct.Contract.Contest
healthyContestSnapshot	Hydra.Chain.Direct.Contract.Contest
healthyContestSnapshotNumber	Hydra.Chain.Direct.Contract.Contest
healthyContestTx	Hydra.Chain.Direct.Contract.Contest
healthyContestUTxO	Hydra.Chain.Direct.Contract.Contest
healthyContestUTxOHash	Hydra.Chain.Direct.Contract.Contest
healthyFanoutDatum	Hydra.Chain.Direct.Contract.FanOut
healthyFanoutTx	Hydra.Chain.Direct.Contract.FanOut
healthyFanoutUTxO	Hydra.Chain.Direct.Contract.FanOut
healthyHeadInput	Hydra.Chain.Direct.Contract.Abort
healthyHeadParameters
1 (Function)	Hydra.Chain.Direct.Contract.Init
2 (Function)	Hydra.Chain.Direct.Contract.Abort
healthyHeadTxIn	Hydra.Chain.Direct.Contract.CollectCom
healthyHeadTxOut	Hydra.Chain.Direct.Contract.CollectCom
healthyInitials	Hydra.Chain.Direct.Contract.Abort
healthyInitialTxOut	Hydra.Chain.Direct.Contract.Commit
healthyInitTx	Hydra.Chain.Direct.Contract.Init
healthyIntialTxIn	Hydra.Chain.Direct.Contract.Commit
healthyLookupUTxO	Hydra.Chain.Direct.Contract.Init
healthyOnChainContestationPeriod	Hydra.Chain.Direct.Contract.Contest
healthyOnChainParties
1 (Function)	Hydra.Chain.Direct.Contract.CollectCom
2 (Function)	Hydra.Chain.Direct.Contract.Contest
3 (Function)	Hydra.Chain.Direct.Contract.Close
healthyOpenHeadDatum	Hydra.Chain.Direct.Contract.Close
healthyOpenHeadTxIn	Hydra.Chain.Direct.Contract.Close
healthyOpenHeadTxOut	Hydra.Chain.Direct.Contract.Close
healthyParticipants
1 (Function)	Hydra.Chain.Direct.Contract.Init
2 (Function)	Hydra.Chain.Direct.Contract.CollectCom
3 (Function)	Hydra.Chain.Direct.Contract.Contest
4 (Function)	Hydra.Chain.Direct.Contract.Close
healthyParties
1 (Function)	Hydra.Chain.Direct.Contract.Init
2 (Function)	Hydra.Chain.Direct.Contract.FanOut
3 (Function)	Hydra.Chain.Direct.Contract.CollectCom
4 (Function)	Hydra.Chain.Direct.Contract.Contest
5 (Function)	Hydra.Chain.Direct.Contract.Close
6 (Function)	Hydra.Chain.Direct.Contract.Abort
healthySeedInput	Hydra.Chain.Direct.Contract.Init
healthySignature
1 (Function)	Hydra.Chain.Direct.Contract.Contest
2 (Function)	Hydra.Chain.Direct.Contract.Close
healthySigningKeys
1 (Function)	Hydra.Chain.Direct.Contract.Contest
2 (Function)	Hydra.Chain.Direct.Contract.Close
healthySlotNo
1 (Function)	Hydra.Chain.Direct.Contract.FanOut
2 (Function)	Hydra.Chain.Direct.Contract.Contest
healthySnapshot	Hydra.Chain.Direct.Contract.Close
healthyUTxO	Hydra.Chain.Direct.Contract.Close
Idle	Hydra.Model
inClosedState	Hydra.HeadLogicSpec
inClosedState'	Hydra.HeadLogicSpec
inIdleState	Hydra.HeadLogicSpec
inInitialState	Hydra.HeadLogicSpec
Init	Hydra.Model
Initial	Hydra.Model
InitMutation	Hydra.Chain.Direct.Contract.Init
inOpenState	Hydra.HeadLogicSpec
inOpenState'	Hydra.HeadLogicSpec
inputsToOpenHead	Hydra.NodeSpec
isBalanced	Hydra.Chain.Direct.WalletSpec
IsChainStateTest	Hydra.BehaviorSpec
isContinuous	Test.Util
isGreetings	Hydra.API.ServerSpec
isHeadOutput	Hydra.Chain.Direct.Contract.Mutation
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
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
MintOnAbort	Hydra.Chain.Direct.Contract.Abort
MintTooManyTokens	Hydra.Chain.Direct.Contract.Init
mkMockTxIn	Hydra.Model
mkTxOut	Hydra.Model
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
mockServer	Hydra.NodeSpec
mockSink	Hydra.NodeSpec
mockSource	Hydra.NodeSpec
modifyInlineDatum	Hydra.Chain.Direct.Contract.Mutation
Msg
1 (Type/Class)	Hydra.Network.AuthenticateSpec
2 (Data Constructor)	Hydra.Network.AuthenticateSpec
MutateAddAnotherPT	Hydra.Chain.Direct.Contract.Init
MutateAddUnexpectedOutput	Hydra.Chain.Direct.Contract.FanOut
MutateChangeOutputValue	Hydra.Chain.Direct.Contract.FanOut
MutateCloseContestationDeadline'	Hydra.Chain.Direct.Contract.Close
MutateCloseUTxOHash	Hydra.Chain.Direct.Contract.Close
MutateCommitOutputValue	Hydra.Chain.Direct.Contract.Commit
MutateCommittedAddress	Hydra.Chain.Direct.Contract.Commit
MutateCommittedValue	Hydra.Chain.Direct.Contract.Commit
MutateCommitToInitial	Hydra.Chain.Direct.Contract.CollectCom
MutateContestationDeadline	Hydra.Chain.Direct.Contract.Close
MutateContestationPeriod	Hydra.Chain.Direct.Contract.Close
MutateContesters
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateContestUTxOHash	Hydra.Chain.Direct.Contract.Contest
MutateDropInitialOutput	Hydra.Chain.Direct.Contract.Init
MutateDropSeedInput	Hydra.Chain.Direct.Contract.Init
MutateHeadId	Hydra.Chain.Direct.Contract.CollectCom
MutateHeadIdInDatum	Hydra.Chain.Direct.Contract.Init
MutateHeadIdInInitialDatum	Hydra.Chain.Direct.Contract.Init
MutateHeadIdInOutput
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateInfiniteLowerBound	Hydra.Chain.Direct.Contract.Close
MutateInfiniteUpperBound	Hydra.Chain.Direct.Contract.Close
MutateInitialOutputValue	Hydra.Chain.Direct.Contract.Init
MutateInputContesters	Hydra.Chain.Direct.Contract.Contest
MutateMultipleRequiredSigner
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateNoRequiredSigner
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateNumberOfParties	Hydra.Chain.Direct.Contract.CollectCom
MutateOpenUTxOHash	Hydra.Chain.Direct.Contract.CollectCom
MutateOutputContestationPeriod	Hydra.Chain.Direct.Contract.Contest
MutateParties	Hydra.Chain.Direct.Contract.Abort
MutatePartiesInOutput
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateRequiredSigner
1 (Data Constructor)	Hydra.Chain.Direct.Contract.CollectCom
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Commit
3 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
4 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
5 (Data Constructor)	Hydra.Chain.Direct.Contract.Abort
MutateSeedInDatum	Hydra.Chain.Direct.Contract.Init
MutateSignatureButNotSnapshotNumber
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateSnapshotNumberButNotSignature
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateSnapshotNumberToLessThanEqualZero	Hydra.Chain.Direct.Contract.Close
MutateSomePT	Hydra.Chain.Direct.Contract.Init
MutateThreadTokenQuantity
1 (Data Constructor)	Hydra.Chain.Direct.Contract.FanOut
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Abort
MutateTokenMintingOrBurning
1 (Data Constructor)	Hydra.Chain.Direct.Contract.CollectCom
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Commit
3 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
4 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
MutateToNonNewerSnapshot	Hydra.Chain.Direct.Contract.Contest
MutateUseDifferentHeadToAbort	Hydra.Chain.Direct.Contract.Abort
MutateValidityBeforeDeadline	Hydra.Chain.Direct.Contract.FanOut
MutateValidityInterval	Hydra.Chain.Direct.Contract.Close
MutateValidityPastDeadline	Hydra.Chain.Direct.Contract.Contest
MutateValueInOutput
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
Mutation	Hydra.Chain.Direct.Contract.Mutation
newServer	Hydra.FireForgetSpec
NewTx	Hydra.Model
Nodes
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
nonConflictingTx	Hydra.ModelSpec
NonContinuousHeadId	Hydra.Chain.Direct.Contract.Commit
noop
1 (Function)	Hydra.Network.HeartbeatSpec
2 (Function)	Hydra.Network.ReliabilitySpec
3 (Function)	Hydra.API.ServerSpec
notConnect	Hydra.NodeSpec
NotContinueContract
1 (Data Constructor)	Hydra.Chain.Direct.Contract.CollectCom
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
3 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
nothingHappensFor	Hydra.BehaviorSpec
NotUpdateDeadlineAlthoughItShould	Hydra.Chain.Direct.Contract.Contest
ObserveConfirmedTx	Hydra.Model
ObserveHeadIsOpen	Hydra.Model
ObserveInitMutation	Hydra.Chain.Direct.Contract.Init
observeTx	Hydra.HeadLogicSpec
observeTxAtSlot	Hydra.HeadLogicSpec
OffChainState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
Open	Hydra.Model
openHead	Hydra.BehaviorSpec
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
performFanout	Hydra.Model
performInit	Hydra.Model
performNewTx	Hydra.Model
performRollbackAndForward	Hydra.Model
PrependOutput	Hydra.Chain.Direct.Contract.Mutation
prettyEvaluationReport	Hydra.Chain.Direct.TxSpec
primeWith	Hydra.NodeSpec
printTrace	Test.Util
propBelowSizeLimit	Hydra.Chain.Direct.StateSpec
propCollisionResistant	Test.Util
propDoesNotCollapse	Hydra.Ledger.CardanoSpec
propGeneratesGoodTxOut	Hydra.Ledger.CardanoSpec
propHasCommit	Hydra.Chain.Direct.Contract.Abort
propHasEnoughLovelace	Hydra.Ledger.CardanoSpec
propHasInitial	Hydra.Chain.Direct.Contract.Abort
propIsDistributive	Hydra.ModelSpec
propIsValid	Hydra.Chain.Direct.StateSpec
propMutation	Hydra.Chain.Direct.Contract.Mutation
propRealisticValue	Hydra.Ledger.CardanoSpec
propTransactionEvaluates	Hydra.Chain.Direct.Contract.Mutation
propTransactionFailsEvaluation	Hydra.Chain.Direct.Contract.Mutation
propTransactionFailsPhase2	Hydra.Chain.Direct.Contract.Mutation
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_consistentHashPreSerializedCommits	Hydra.Chain.Direct.ContractSpec
prop_consistentOnAndOffChainHashOfTxOuts	Hydra.Chain.Direct.ContractSpec
prop_doesNotGenerate0AdaUTxO	Hydra.ModelSpec
prop_fanoutContainsWholeConfirmedUTxO	Hydra.ModelSpec
prop_generateTraces	Hydra.ModelSpec
prop_hashingCaresAboutOrderingOfTxOuts	Hydra.Chain.Direct.ContractSpec
prop_HydraModel	Hydra.ModelSpec
prop_identify_enqueued_items	Hydra.Node.InputQueueSpec
prop_ignoresUnrelatedOnInitTx	Hydra.HeadLogicSpec
prop_observeAnyTx	Hydra.Chain.Direct.StateSpec
prop_partyContestsToWrongClosedSnapshot	Hydra.ModelSpec
prop_picksLargestUTxOToPayTheFees	Hydra.Chain.Direct.WalletSpec
prop_reducesWhenNotOurs	Hydra.Chain.Direct.WalletSpec
prop_seenInputsAreConsumed	Hydra.Chain.Direct.WalletSpec
prop_serializingCommitRoundtrip	Hydra.Chain.Direct.ContractSpec
prop_setsMinUTxOValue	Hydra.Chain.Direct.WalletSpec
prop_singleMemberHeadAlwaysSnapshotOnReqTx	Hydra.HeadLogicSnapshotSpec
prop_thereIsAlwaysALeader	Hydra.HeadLogicSnapshotSpec
prop_validateCorrectTransactions	Hydra.Ledger.SimpleSpec
prop_verifyOffChainSignatures	Hydra.Chain.Direct.ContractSpec
prop_verifySnapshotSignatures	Hydra.Chain.Direct.ContractSpec
prop_wellSuitedGenerators	Hydra.Chain.Direct.WalletSpec
PushDeadlineAlthoughItShouldNot	Hydra.Chain.Direct.Contract.Contest
RecordAllCommittedUTxO	Hydra.Chain.Direct.Contract.Commit
recordEventsHandler	Hydra.Chain.Direct.HandlersSpec
recordNetwork	Hydra.NodeSpec
recordServerOutputs	Hydra.NodeSpec
RemoveInput	Hydra.Chain.Direct.Contract.Mutation
RemoveOutput	Hydra.Chain.Direct.Contract.Mutation
removePTFromMintedValue	Hydra.Chain.Direct.Contract.Mutation
RemoveSTFromOutput	Hydra.Chain.Direct.Contract.CollectCom
ReorderCommitOutputs	Hydra.Chain.Direct.Contract.Abort
replaceContestationDeadline	Hydra.Chain.Direct.Contract.Mutation
replaceContestationPeriod	Hydra.Chain.Direct.Contract.Mutation
replaceContesters	Hydra.Chain.Direct.Contract.Mutation
replaceHeadId	Hydra.Chain.Direct.Contract.Mutation
replaceParties	Hydra.Chain.Direct.Contract.Mutation
replacePolicyIdWith	Hydra.Chain.Direct.Contract.Mutation
replacePolicyInValue	Hydra.Chain.Direct.Contract.Mutation
replaceSnapshotNumber	Hydra.Chain.Direct.Contract.Mutation
replaceUtxoHash	Hydra.Chain.Direct.Contract.Mutation
RollbackAndForward	Hydra.Model
roundtripCBOR	Hydra.Ledger.CardanoSpec
roundtripFromAndToApi	Hydra.Ledger.CardanoSpec
roundtripLedger	Hydra.Ledger.CardanoSpec
roundtripProtocolParameters	Hydra.Ledger.CardanoSpec
roundtripTxId	Hydra.Ledger.CardanoSpec
roundtripTxId'	Hydra.Ledger.CardanoSpec
RunException	Hydra.Model
runHeadLogic	Hydra.HeadLogicSpec
runIOSimProp	Hydra.ModelSpec
RunMonad
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model
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
1 (Function)	Hydra.API.ClientInputSpec
2 (Function)	Hydra.API.ServerOutputSpec
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
simulatedChainAndNetwork	Hydra.BehaviorSpec
SimulatedChainNetwork
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
SnapshotNotSignedByAllParties
1 (Data Constructor)	Hydra.Chain.Direct.Contract.Contest
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Close
SomeMutation
1 (Type/Class)	Hydra.Chain.Direct.Contract.Mutation
2 (Data Constructor)	Hydra.Chain.Direct.Contract.Mutation
somePartyCardanoVerificationKey	Hydra.Chain.Direct.Contract.Close
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.WalletSpec
9 (Function)	Hydra.ContestationPeriodSpec
10 (Function)	Hydra.Events.FileBasedSpec
11 (Function)	Hydra.JSONSchemaSpec
12 (Function)	Hydra.Ledger.Cardano.TimeSpec
13 (Function)	Hydra.Ledger.SimpleSpec
14 (Function)	Hydra.LoggingSpec
15 (Function)	Hydra.Network.HeartbeatSpec
16 (Function)	Hydra.NetworkSpec
17 (Function)	Hydra.Node.RunSpec
18 (Function)	Hydra.OptionsSpec
19 (Function)	Hydra.PersistenceSpec
20 (Function)	Hydra.UtilsSpec
21 (Function)	Hydra.PartySpec
22 (Function)	Hydra.Network.ReliabilitySpec
23 (Function)	Hydra.Network.AuthenticateSpec
24 (Function)	Hydra.HeadLogicSpec
25 (Function)	Hydra.Logging.MonitoringSpec
26 (Function)	Hydra.HeadLogicSnapshotSpec
27 (Function)	Hydra.Chain.Direct.ContractSpec
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
step	Hydra.HeadLogicSpec
StepState
1 (Type/Class)	Hydra.HeadLogicSpec
2 (Data Constructor)	Hydra.HeadLogicSpec
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
testEnvironment	Test.Hydra.Fixture
testHeadId	Test.Hydra.Fixture
testHeadSeed	Test.Hydra.Fixture
TestHydraClient
1 (Type/Class)	Hydra.BehaviorSpec
2 (Data Constructor)	Hydra.BehaviorSpec
testHydraNode	Hydra.NodeSpec
testSnapshot	Hydra.HeadLogicSpec
third	Hydra.Chain.Direct.TxSpec
throwExceptionOnPostTx	Hydra.NodeSpec
toOnChainTx	Hydra.BehaviorSpec
toRealUTxO	Hydra.Model
toTxOuts	Hydra.Model
traceDebug	Test.Util
traceInIOSim	Test.Util
TransactionNotObserved	Hydra.Model
tripleToPair	Hydra.Chain.Direct.TxSpec
Uncommitted	Hydra.Model
UnexpectedParty	Hydra.Model
UnknownAddress	Hydra.Model
unsafeConstructorName	Hydra.Model
unwrapAddress	Hydra.ModelSpec
UseInputFromOtherHead	Hydra.Chain.Direct.Contract.Abort
UsePTFromDifferentHead	Hydra.Chain.Direct.Contract.Commit
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
withinTxExecutionBudget	Hydra.Chain.Direct.TxSpec
withNodeBroadcastingForever	Hydra.NetworkSpec
withNodesBroadcastingForever	Hydra.NetworkSpec
withSimulatedChainAndNetwork	Hydra.BehaviorSpec
withTestAPIServer	Hydra.API.ServerSpec
WorldState
1 (Type/Class)	Hydra.Model
2 (Data Constructor)	Hydra.Model