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: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 |
| 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 |
| autoFanoutStepErased | Hydra.ModelSpec |
| autoFanoutTwoStepsErased | Hydra.ModelSpec |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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.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 |
| newSettlementsDuringReplay | Hydra.ModelSpec |
| 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 |
| 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 |
| 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 |
| 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 |
| 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_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 |
| receiveMessage | Hydra.HeadLogicSpec |
| receiveMessageFrom | Hydra.HeadLogicSpec |
| recordEventsHandler | Hydra.Chain.Direct.HandlersSpec |
| recordNetwork | Hydra.NodeSpec |
| recordServerOutputs | Hydra.NodeSpec |
| 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 |
| 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 |
| searchForChunk | Hydra.Chain.Direct.HandlersSpec |
| Seed | Hydra.Model |
| seedWorld | Hydra.Model |
| sendsAnErrorWhenInputCannotBeDecoded | Hydra.API.ServerSpec |
| sendsInput | Hydra.Model |
| 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 |
| 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 |
| StartFanout | Hydra.Model |
| startNode | 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 |
| SubmitDecommit | Hydra.Model |
| SubmitDeposit | 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 |
| 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 |
| 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 |
| 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) | Hydra.API.ServerSpec |
| 2 (Function) | Test.Util |
| 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 |
| withSettingsBurstProxy | Hydra.NetworkSpec |
| withSimulatedChainAndNetwork | Hydra.BehaviorSpec |
| withSimulatedChainAndSlowNetwork | Hydra.BehaviorSpec |
| withTestAPIServer | Hydra.API.ServerSpec |
| withTestAPIServerBindingPort | 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 |