Index - P
| 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 |