Index - P
| 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 |
| 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_incrementObservesCorrectUTxO | Hydra.Chain.Direct.StateSpec |
| 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 |