Index
| $sel:available:TransactionBudgetOverspent | Hydra.Ledger.Cardano.Evaluate |
| $sel:blueprintTx:CommitBlueprintTx | Hydra.Tx.BlueprintTx, Hydra.Tx |
| $sel:builder:InvalidTransactionException | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| $sel:closedContestationDeadline:ClosedThreadOutput | Hydra.Tx.Contest |
| $sel:closedContesters:ClosedThreadOutput | Hydra.Tx.Contest |
| $sel:closedParties:ClosedThreadOutput | Hydra.Tx.Contest |
| $sel:closedThreadUTxO:ClosedThreadOutput | Hydra.Tx.Contest |
| $sel:commitReference:ScriptRegistry | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:confirmed:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:contestationPeriod:Environment | Hydra.Tx.Environment |
| $sel:contestationPeriod:HeadParameters | Hydra.Tx.HeadParameters, Hydra.Tx |
| $sel:deadline:DepositObservation | Hydra.Tx.Deposit |
| $sel:deposited:DepositObservation | Hydra.Tx.Deposit |
| $sel:depositTxId:DepositObservation | Hydra.Tx.Deposit |
| $sel:discoveredScripts:MissingScript | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:failedKeys:Verified | Hydra.Tx.Crypto |
| $sel:headId:DepositObservation | Hydra.Tx.Deposit |
| $sel:headId:InitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:headId:RecoverObservation | Hydra.Tx.Recover |
| $sel:headId:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:headReference:ScriptRegistry | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:initialReference:ScriptRegistry | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:initialUTxO:InitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:lookupUTxO:CommitBlueprintTx | Hydra.Tx.BlueprintTx, Hydra.Tx |
| $sel:multiSignature:HydraMultiSignature | Hydra.Tx.Crypto |
| $sel:number:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:openContestationPeriod:OpenThreadOutput | Hydra.Tx.Close |
| $sel:openParties:OpenThreadOutput | Hydra.Tx.Close |
| $sel:openThreadUTxO:OpenThreadOutput | Hydra.Tx.Close |
| $sel:otherParties:Environment | Hydra.Tx.Environment |
| $sel:participants:Environment | Hydra.Tx.Environment |
| $sel:parties:HeadParameters | Hydra.Tx.HeadParameters, Hydra.Tx |
| $sel:party:Environment | Hydra.Tx.Environment |
| $sel:recoveredTxId:RecoverObservation | Hydra.Tx.Recover |
| $sel:scriptHash:MissingScript | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:scriptName:MissingScript | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| $sel:signatures:InitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:signingKey:Environment | Hydra.Tx.Environment |
| $sel:snapshot:InitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:txBodyError:InvalidTransactionException | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| $sel:used:TransactionBudgetOverspent | Hydra.Ledger.Cardano.Evaluate |
| $sel:utxo:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:utxoToCommit:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:utxoToDecommit:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:version:Snapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| $sel:vkey:Party | Hydra.Tx.Party, Hydra.Tx |
| abortTx | Hydra.Tx.Abort |
| AbortTxError | Hydra.Tx.Abort |
| adaOnly | Hydra.Tx.Utils |
| addExtraRequiredSigners | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| addInputs | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| addMetadata | Hydra.Tx.Utils |
| addOutputs | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| addReferenceInputs | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| addVkInputs | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| aggregate | Hydra.Tx.Crypto |
| aggregateInOrder | Hydra.Tx.Crypto |
| ArbitraryIsTx | Hydra.Tx.IsTx, Hydra.Tx |
| AsHeadId | Hydra.Tx.HeadId, Hydra.Tx |
| AsHeadSeed | Hydra.Tx.HeadId, Hydra.Tx |
| AsHydraKey | Hydra.Tx.Crypto |
| AsOnChainId | Hydra.Tx.OnChainId |
| assetNameToOnChainId | Hydra.Tx.Utils |
| AsType | Hydra.Tx.Crypto, Hydra.Tx.HeadId, Hydra.Tx.OnChainId, Hydra.Tx |
| balance | Hydra.Tx.IsTx, Hydra.Tx |
| burnTokens | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| CannotFindHeadOutputToAbort | Hydra.Tx.Abort |
| ChainSlot | |
| 1 (Type/Class) | Hydra.Chain.ChainState |
| 2 (Data Constructor) | Hydra.Chain.ChainState |
| chainStateSlot | Hydra.Chain.ChainState |
| ChainStateType | Hydra.Chain.ChainState |
| checkBudget | Hydra.Ledger.Cardano.Evaluate |
| ClosedThreadOutput | |
| 1 (Type/Class) | Hydra.Tx.Contest |
| 2 (Data Constructor) | Hydra.Tx.Contest |
| closeTx | Hydra.Tx.Close |
| collectComTx | Hydra.Tx.CollectCom |
| CommitBlueprintTx | |
| 1 (Type/Class) | Hydra.Tx.BlueprintTx, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.BlueprintTx, Hydra.Tx |
| commitTx | Hydra.Tx.Commit |
| ConfirmedSnapshot | |
| 1 (Type/Class) | Hydra.Tx.Snapshot, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.Snapshot, Hydra.Tx |
| ContestationPeriod | Hydra.Tx.ContestationPeriod |
| contestTx | Hydra.Tx.Contest |
| decrementTx | Hydra.Tx.Decrement |
| DepositObservation | |
| 1 (Type/Class) | Hydra.Tx.Deposit |
| 2 (Data Constructor) | Hydra.Tx.Deposit |
| depositTx | Hydra.Tx.Deposit |
| deriveParty | Hydra.Tx.Party, Hydra.Tx |
| deterministicSigningKey | Hydra.Tx.Crypto |
| deterministicSigningKeySeedSize | Hydra.Tx.Crypto |
| dummyValidatorScript | Hydra.Tx.Utils |
| emptyTxBody | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| Environment | |
| 1 (Type/Class) | Hydra.Tx.Environment |
| 2 (Data Constructor) | Hydra.Tx.Environment |
| epochInfo | Hydra.Ledger.Cardano.Evaluate |
| epochSize | Hydra.Ledger.Cardano.Evaluate |
| eraHistoryWithHorizonAt | Hydra.Ledger.Cardano.Evaluate |
| eraHistoryWithoutHorizon | Hydra.Ledger.Cardano.Evaluate |
| estimateMinFee | Hydra.Ledger.Cardano.Evaluate |
| evaluateTx | Hydra.Ledger.Cardano.Evaluate |
| evaluateTx' | Hydra.Ledger.Cardano.Evaluate |
| EvaluationError | Hydra.Ledger.Cardano.Evaluate |
| EvaluationReport | Hydra.Ledger.Cardano.Evaluate |
| FailedKeys | Hydra.Tx.Crypto |
| fanoutTx | Hydra.Tx.Fanout |
| findFirst | Hydra.Tx.Utils |
| fromChain | Hydra.Tx.ContestationPeriod |
| fromChainSnapshotNumber | Hydra.Tx.Snapshot, Hydra.Tx |
| fromChainSnapshotVersion | Hydra.Tx.Snapshot, Hydra.Tx |
| fromCurrencySymbol | Hydra.Tx.HeadId, Hydra.Tx |
| fromNominalDiffTime | Hydra.Tx.ContestationPeriod |
| genConfirmedSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| generateSigningKey | Hydra.Tx.Crypto |
| genOnChainId | Hydra.Tx.OnChainId |
| genPointInTime | Hydra.Ledger.Cardano.Evaluate |
| genPointInTimeAfter | Hydra.Ledger.Cardano.Evaluate |
| genPointInTimeBefore | Hydra.Ledger.Cardano.Evaluate |
| genValidityBoundsFromContestationPeriod | Hydra.Ledger.Cardano.Evaluate |
| getParty | Hydra.Tx.Party, Hydra.Tx |
| getSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| getVerificationKey | Hydra.Tx.Crypto |
| Hash | Hydra.Tx.Crypto |
| hashUTxO | Hydra.Tx.IsTx, Hydra.Tx |
| HasParty | Hydra.Tx.Party, Hydra.Tx |
| HeadId | Hydra.Tx.HeadId, Hydra.Tx |
| headIdToCurrencySymbol | Hydra.Tx.HeadId, Hydra.Tx |
| HeadParameters | |
| 1 (Type/Class) | Hydra.Tx.HeadParameters, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.HeadParameters, Hydra.Tx |
| HeadSeed | Hydra.Tx.HeadId, Hydra.Tx |
| headTokensFromValue | Hydra.Tx.Utils |
| hydraHeadV1AssetName | Hydra.Tx.Utils |
| HydraKey | Hydra.Tx.Crypto |
| HydraKeyHash | Hydra.Tx.Crypto |
| hydraMetadataLabel | Hydra.Tx.Utils |
| HydraMultiSignature | Hydra.Tx.Crypto |
| HydraSignature | Hydra.Tx.Crypto |
| HydraSigningKey | Hydra.Tx.Crypto |
| HydraVerificationKey | Hydra.Tx.Crypto |
| incrementTx | Hydra.Tx.Increment |
| InitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| initTx | Hydra.Tx.Init |
| InvalidTransactionException | |
| 1 (Type/Class) | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| IsChainState | Hydra.Chain.ChainState |
| isInitialSnapshot | Hydra.Tx.Snapshot, Hydra.Tx |
| IsTx | Hydra.Tx.IsTx, Hydra.Tx |
| Key | Hydra.Tx.Crypto |
| KeyNumberMismatch | Hydra.Tx.Crypto |
| maxCpu | Hydra.Ledger.Cardano.Evaluate |
| maxMem | Hydra.Ledger.Cardano.Evaluate |
| maxTxExecutionUnits | Hydra.Ledger.Cardano.Evaluate |
| maxTxSize | Hydra.Ledger.Cardano.Evaluate |
| mintTokens | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| MissingScript | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| mkCommitDatum | Hydra.Tx.Commit |
| mkHeadId | Hydra.Tx.HeadId, Hydra.Tx |
| mkHeadOutput | Hydra.Tx.Init |
| mkHeadOutputInitial | Hydra.Tx.Init |
| mkHeadParameters | Hydra.Tx.HeadParameters, Hydra.Tx |
| mkHydraHeadV1TxName | Hydra.Tx.Utils |
| mkInitialOutput | Hydra.Tx.Init |
| MultiSignature | Hydra.Tx.Crypto |
| newScriptRegistry | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| NewScriptRegistryException | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| observeDepositTx | Hydra.Tx.Deposit |
| observeDepositTxOut | Hydra.Tx.Deposit |
| observeRecoverTx | Hydra.Tx.Recover |
| OnChainId | Hydra.Tx.OnChainId |
| onChainIdToAssetName | Hydra.Tx.Utils |
| OpenThreadOutput | |
| 1 (Type/Class) | Hydra.Tx.Close |
| 2 (Data Constructor) | Hydra.Tx.Close |
| outputsOfUTxO | Hydra.Tx.IsTx, Hydra.Tx |
| OverlappingInputs | Hydra.Tx.Abort |
| Party | |
| 1 (Type/Class) | Hydra.Tx.Party, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.Party, Hydra.Tx |
| partyFromChain | Hydra.Tx.Party, Hydra.Tx |
| partyToChain | Hydra.Tx.Party, Hydra.Tx |
| plutusV2CostModel | Hydra.Ledger.Cardano.Evaluate |
| plutusV3CostModel | Hydra.Ledger.Cardano.Evaluate |
| PointInTime | Hydra.Tx.Contest |
| pparams | Hydra.Ledger.Cardano.Evaluate |
| PParamsConversion | Hydra.Ledger.Cardano.Evaluate |
| prepareTxScripts | Hydra.Ledger.Cardano.Evaluate |
| propTransactionEvaluates | Hydra.Ledger.Cardano.Evaluate |
| propTransactionFailsEvaluation | Hydra.Ledger.Cardano.Evaluate |
| RecoverObservation | |
| 1 (Type/Class) | Hydra.Tx.Recover |
| 2 (Data Constructor) | Hydra.Tx.Recover |
| recoverTx | Hydra.Tx.Recover |
| registryUTxO | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| renderEvaluationReportFailures | Hydra.Ledger.Cardano.Evaluate |
| ScriptRegistry | |
| 1 (Type/Class) | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.ScriptRegistry, Hydra.Tx |
| setValidityLowerBound | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| setValidityUpperBound | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| sign | Hydra.Tx.Crypto |
| Signature | Hydra.Tx.Crypto |
| SigningKey | Hydra.Tx.Crypto |
| slotLength | Hydra.Ledger.Cardano.Evaluate |
| slotNoFromUTCTime | Hydra.Ledger.Cardano.Time |
| slotNoToUTCTime | Hydra.Ledger.Cardano.Time |
| Snapshot | |
| 1 (Type/Class) | Hydra.Tx.Snapshot, Hydra.Tx |
| 2 (Data Constructor) | Hydra.Tx.Snapshot, Hydra.Tx |
| SnapshotNumber | Hydra.Tx.Snapshot, Hydra.Tx |
| SnapshotVersion | Hydra.Tx.Snapshot, Hydra.Tx |
| splitUTxO | Hydra.Tx.Utils |
| systemStart | Hydra.Ledger.Cardano.Evaluate |
| toChain | Hydra.Tx.ContestationPeriod |
| toNominalDiffTime | Hydra.Tx.ContestationPeriod |
| toPlutusSignatures | Hydra.Tx.Crypto |
| TransactionBudgetOverspent | Hydra.Ledger.Cardano.Evaluate |
| TransactionInvalid | Hydra.Ledger.Cardano.Evaluate |
| txId | Hydra.Tx.IsTx, Hydra.Tx |
| TxIdType | Hydra.Tx.IsTx, Hydra.Tx, Hydra.Tx |
| TxOutType | Hydra.Tx.IsTx, Hydra.Tx, Hydra.Tx |
| txSpendingUTxO | Hydra.Tx.IsTx, Hydra.Tx |
| unsafeBuildTransaction | Hydra.Ledger.Cardano.Builder, Hydra.Tx |
| UnsafeContestationPeriod | Hydra.Tx.ContestationPeriod |
| UnsafeHeadId | Hydra.Tx.HeadId, Hydra.Tx |
| UnsafeHeadSeed | Hydra.Tx.HeadId, Hydra.Tx |
| UnsafeOnChainId | Hydra.Tx.OnChainId |
| UnsafeSnapshotNumber | Hydra.Tx.Snapshot, Hydra.Tx |
| UnsafeSnapshotVersion | Hydra.Tx.Snapshot, Hydra.Tx |
| usedExecutionUnits | Hydra.Ledger.Cardano.Evaluate |
| utxoFromTx | Hydra.Tx.IsTx, Hydra.Tx |
| UTxOType | Hydra.Tx.IsTx, Hydra.Tx, Hydra.Tx |
| ValueType | Hydra.Tx.IsTx, Hydra.Tx, Hydra.Tx |
| VerificationKey | Hydra.Tx.Crypto |
| verificationKeyHash | Hydra.Tx.Crypto |
| verificationKeyToOnChainId | Hydra.Tx.Utils |
| Verified | |
| 1 (Type/Class) | Hydra.Tx.Crypto |
| 2 (Data Constructor) | Hydra.Tx.Crypto |
| verify | Hydra.Tx.Crypto |
| verifyMultiSignature | Hydra.Tx.Crypto |
| withoutUTxO | Hydra.Tx.IsTx, Hydra.Tx |