| Val | Cardano.Ledger.Val |
| validate | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| ValidateAll | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| validateAlonzoTxAuxData | Cardano.Ledger.Alonzo.TxAuxData |
| validateBadInputsUTxO | Cardano.Ledger.Shelley.Rules |
| validateBlock | Cardano.Chain.Byron.API |
| validateBoundary | Cardano.Chain.Byron.API |
| validateCddlConformance | Test.Cardano.Ledger.Binary.Cddl |
| validateCollateralContainsNonADA | Cardano.Ledger.Alonzo.Rules |
| validateCollateralEqBalance | Cardano.Ledger.Babbage.Rules |
| Validated | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| validateDijkstraNativeScript | Cardano.Ledger.Dijkstra.Tx |
| validateEpochFile | Cardano.Chain.Epoch.Validation |
| validateEpochFiles | Cardano.Chain.Epoch.Validation |
| validateExUnitsTooBigUTxO | Cardano.Ledger.Alonzo.Rules |
| validateFailedBabbageScripts | Cardano.Ledger.Babbage.Rules |
| validateFailedNativeScripts | Cardano.Ledger.Shelley.Rules |
| validateFeeTooSmallUTxO | Cardano.Ledger.Shelley.Rules |
| validateGenesis | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| validateHeaderMatchesBody | Cardano.Chain.Block |
| validateInputSetEmptyUTxO | Cardano.Ledger.Shelley.Rules |
| validateInsufficientCollateral | Cardano.Ledger.Alonzo.Rules |
| validateMaxTxSizeUTxO | Cardano.Ledger.Shelley.Rules |
| validateMetadata | Cardano.Ledger.Shelley.Rules |
| validateMIRInsufficientGenesisSigs | Cardano.Ledger.Shelley.Rules |
| validateMissingScripts | Cardano.Ledger.Shelley.Rules |
| validateMultiSig | Cardano.Ledger.Shelley.Scripts |
| validateNativeScript | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| validateNeededWitnesses | Cardano.Ledger.Shelley.Rules |
| ValidateNone | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| validateOutputBootAddrAttrsTooBig | Cardano.Ledger.Shelley.Rules |
| validateOutputTooBigUTxO | Cardano.Ledger.Alonzo.Rules |
| validateOutputTooSmallUTxO | Cardano.Ledger.Babbage.Rules |
| validateOutsideForecast | Cardano.Ledger.Alonzo.Rules |
| validateOutsideValidityIntervalUTxO | Cardano.Ledger.Allegra.Rules |
| validateScriptsNotPaidUTxO | Cardano.Ledger.Alonzo.Rules |
| validateScriptsWellFormed | Cardano.Ledger.Babbage.Rules |
| validateStakePoolDelegateeRegistered | Cardano.Ledger.Shelley.Rules |
| ValidateSuchThat | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| validateTimelock | Cardano.Ledger.Allegra.Tx |
| validateTooManyCollateralInputs | Cardano.Ledger.Alonzo.Rules |
| validateTotalCollateral | Cardano.Ledger.Babbage.Rules |
| validateTrans | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| validateTransLabeled | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| validateTx | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| validateTxAux | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| validateTxAuxData | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| validateValueNotConservedUTxO | Cardano.Ledger.Shelley.Rules |
| validateVerifiedWits | Cardano.Ledger.Shelley.Rules |
| validateWrongNetwork | Cardano.Ledger.Shelley.Rules |
| validateWrongNetworkInTxBody | Cardano.Ledger.Alonzo.Rules |
| validateWrongNetworkWithdrawal | Cardano.Ledger.Shelley.Rules |
| validatingTickTransition | Cardano.Ledger.Shelley.Rules |
| validatingTickTransitionFORECAST | Cardano.Ledger.Shelley.Rules |
| ValidationErr | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ValidationFailure | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| ValidationMode | |
| 1 (Type/Class) | Cardano.Chain.ValidationMode |
| 2 (Data Constructor) | Cardano.Chain.ValidationMode |
| ValidationPolicy | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| ValidationTagMismatch | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| validBegin | Cardano.Ledger.Alonzo.Rules |
| validCommitteeTerm | Cardano.Ledger.Conway.Rules |
| validEnd | Cardano.Ledger.Alonzo.Rules |
| validFlatTerm | Cardano.Ledger.Binary.FlatTerm |
| ValidityInterval | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core |
| validMetadata | Cardano.Ledger.Shelley.SoftForks |
| validMetadatum | Cardano.Ledger.Metadata, Cardano.Ledger.Shelley.TxAuxData |
| validPrefix | Test.Control.State.Transition.Invalid.Trace |
| validScript | Cardano.Ledger.Alonzo.Scripts |
| validSizeComputationCheck | Cardano.Ledger.Shelley.Rules |
| validTxOut | Test.Cardano.Ledger.Examples.STSTestUtils |
| valTests | Test.Cardano.Ledger.Mary.Value |
| Value | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraBuffet |
| value | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| valueEitherBabbageTxOutL | Cardano.Ledger.Babbage.TxOut |
| valueEitherShelleyTxOutL | Cardano.Ledger.Shelley.TxOut |
| valueEitherTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| valueFromList | Cardano.Ledger.Mary.Value |
| ValueMaryToConway | Test.Cardano.Ledger.Generic.Proof |
| ValueNotConservedUTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 4 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| 5 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| ValueShelleyToAllegra | Test.Cardano.Ledger.Generic.Proof |
| valueTxOutL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ValueWit | Test.Cardano.Ledger.Generic.Proof |
| var | Test.Cardano.Ledger.Imp.Common |
| variableListLenEncoding | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| variant | |
| 1 (Function) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| VB | Data.VMap |
| vCaster | Byron.Spec.Ledger.Update |
| veConfirmationThreshold | Cardano.Chain.Update.Validation.Voting |
| Vector | Data.VMap |
| vector | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| vectorOf | |
| 1 (Function) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| veCurrentSlot | Cardano.Chain.Update.Validation.Voting |
| verbose | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseCheck | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseCheckAll | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseCheckResult | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseCheckWith | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseCheckWithResult | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| verboseShrinking | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| VerificationKey | |
| 1 (Type/Class) | Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing, Cardano.Crypto |
| verify | Byron.Spec.Ledger.Core |
| verifyBootstrapWit | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| verifyRedeemSig | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| verifyRedeemSigDecoded | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| verifyRedeemSigRaw | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| verifySignature | Cardano.Crypto.Signing, Cardano.Crypto |
| verifySignatureDecoded | Cardano.Crypto.Signing, Cardano.Crypto |
| verifySignatureRaw | Cardano.Crypto.Signing, Cardano.Crypto |
| verifySignedDSIGN | Cardano.Ledger.Keys |
| verifyWitVKey | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| VerKeyASD | Cardano.Chain.Common |
| VerKeyFakeVRF | Test.Cardano.Protocol.Crypto.VRF.Fake |
| VerKeyVRF | Test.Cardano.Protocol.Crypto.VRF.Fake |
| Version | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes |
| version | |
| 1 (Function) | Paths_cardano_crypto_wrapper |
| 2 (Function) | Paths_cardano_crypto_wrapper |
| 3 (Function) | Paths_cardano_ledger_allegra |
| 4 (Function) | Paths_cardano_ledger_alonzo_test |
| 5 (Function) | Paths_cardano_ledger_alonzo |
| 6 (Function) | Paths_cardano_ledger_alonzo |
| 7 (Function) | Paths_cardano_ledger_babbage |
| 8 (Function) | Paths_cardano_ledger_babbage |
| 9 (Function) | Paths_cardano_ledger_byron |
| 10 (Function) | Paths_cardano_ledger_byron |
| 11 (Function) | Paths_cardano_ledger_conway |
| 12 (Function) | Paths_cardano_ledger_conway |
| 13 (Function) | Paths_cardano_ledger_dijkstra |
| 14 (Function) | Paths_cardano_ledger_dijkstra |
| 15 (Function) | Paths_cardano_ledger_mary |
| 16 (Function) | Paths_cardano_ledger_shelley_test |
| 17 (Function) | Paths_cardano_ledger_shelley |
| 18 (Function) | Paths_cardano_ledger_shelley |
| VersionedTxInfo | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| veVotingRegistrationEnvironment | Cardano.Chain.Update.Validation.Voting |
| viewCompactTxOut | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| viewTwo | Byron.Spec.Ledger.UTxO.Generators |
| viewTxOut | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| VKey | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| vKey | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Test.Cardano.Ledger.Core.KeyPair, Test.Cardano.Ledger.Imp.Common |
| vkey | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| vkeyFromInteger | Test.Cardano.Ledger.Conformance |
| VKeyGenesis | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| vKeyLocked | Cardano.Ledger.Alonzo.Rules |
| vKeyLockedAdaOnly | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| vKeyPair | Test.Cardano.Chain.Elaboration.Keys |
| vkeyToInteger | Test.Cardano.Ledger.Conformance |
| vKeyToSafeSigner | Test.Cardano.Chain.Elaboration.Keys |
| vKeyToSKey | Test.Cardano.Chain.Elaboration.Keys |
| vkeywitness | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| vkeywitnessRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| vkGen | Byron.Spec.Ledger.Core.Generators |
| vkgenesisGen | Byron.Spec.Ledger.Core.Generators |
| VKWitness | Cardano.Chain.UTxO |
| vldtDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| vldtTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| vldtTxBodyL | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core |
| VMap | |
| 1 (Type/Class) | Data.VMap |
| 2 (Data Constructor) | Data.VMap |
| VMapT | Test.VMap |
| vMapTests | Test.VMap |
| void | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| VoidEraRule | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| Vote | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| 3 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| 4 (Type/Class) | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| VoteByNonGenesisDelegate | Byron.Spec.Ledger.Update |
| votedFuturePParams | Cardano.Ledger.Shelley.Rules |
| VoteForNextEpoch | Cardano.Ledger.Shelley.Rules |
| VoteForThisEpoch | Cardano.Ledger.Shelley.Rules |
| VoteId | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| VoteNo | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| Voter | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| VotersDoNotExist | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| voterVK | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| votes | Cardano.Chain.Update.Validation.Interface |
| VoteYes | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| Voting | |
| 1 (Data Constructor) | Cardano.Chain.Update.Validation.Interface |
| 2 (Data Constructor) | Test.Cardano.Ledger.Examples.STSTestUtils, Test.Cardano.Ledger.Generic.GenState |
| votingCommitteeThreshold | Cardano.Ledger.Conway.Governance |
| votingDRepThreshold | Cardano.Ledger.Conway.Governance |
| VotingInvalidSignature | Cardano.Chain.Update.Validation.Voting |
| VotingOnExpiredGovAction | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| VotingPeriod | Cardano.Ledger.Shelley.Rules |
| VotingProcedure | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| VotingProcedures | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| votingProceduresDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| VotingProceduresFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| votingProceduresTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| votingProceduresTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| VotingProposalNotRegistered | Cardano.Chain.Update.Validation.Voting |
| VotingPurpose | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| votingStakePoolThreshold | Cardano.Ledger.Conway.Governance |
| VotingVoteAlreadyCast | Cardano.Chain.Update.Validation.Voting |
| VotingVoterNotDelegate | Cardano.Chain.Update.Validation.Voting |
| voting_procedures | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| VP | Data.VMap |
| vProcAnchor | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| vProcVote | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| vPropId | Byron.Spec.Ledger.Update |
| vreDelegationMap | Cardano.Chain.Update.Validation.Voting |
| vreRegisteredUpdateProposal | Cardano.Chain.Update.Validation.Voting |
| VRF | Cardano.Protocol.Crypto |
| VRFKeyBadLeaderValue | Cardano.Protocol.TPraos.Rules.Overlay |
| VRFKeyBadNonce | Cardano.Protocol.TPraos.Rules.Overlay |
| VRFKeyHashAlreadyRegistered | Cardano.Ledger.Shelley.Rules |
| VRFKeyPair | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF, Test.Cardano.Protocol.TPraos.Create |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF, Test.Cardano.Protocol.TPraos.Create |
| VRFKeyUnknown | Cardano.Protocol.TPraos.Rules.Overlay |
| VRFKeyWrongVRFKey | Cardano.Protocol.TPraos.Rules.Overlay |
| VRFLeaderValueTooBig | Cardano.Protocol.TPraos.Rules.Overlay |
| VRFNatVal | |
| 1 (Type/Class) | Test.Cardano.Protocol.TPraos.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Protocol.TPraos.Arbitrary |
| vrfSignKey | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF, Test.Cardano.Protocol.TPraos.Create |
| vrfVerKey | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF, Test.Cardano.Protocol.TPraos.Create |
| VRFVerKeyHash | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.Crypto |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.Crypto |
| vrf_cert | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| vrf_keyhash | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| vrf_vkey | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| VS | Data.VMap |
| vsActualDRepExpiry | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsCommitteeState | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsCommitteeStateL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsConfirmedProposals | Cardano.Chain.Update.Validation.Voting |
| vsDReps | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsDRepsL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vSig | Byron.Spec.Ledger.Update |
| vsNumDormantEpochs | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsNumDormantEpochsL | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vsplit | Test.Cardano.Ledger.Shelley.Utils |
| VState | |
| 1 (Type/Class) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| 2 (Data Constructor) | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| vStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.GovCert, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| vsVotes | Cardano.Chain.Update.Validation.Voting |
| vsX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| VU | Data.VMap |