| r | Cardano.Ledger.Shelley.RewardProvenance |
| raCredential | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| raiseMockError | Test.Cardano.Ledger.Generic.Trace |
| randomDCertGen | Byron.Spec.Ledger.Delegation |
| randomnessStabilisationWindow | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| randomNumber | Cardano.Crypto.Random, Cardano.Crypto |
| randomNumberInRange | Cardano.Crypto.Random, Cardano.Crypto |
| randomTrace | Test.Control.State.Transition.Generator |
| randomTraceOfSize | Test.Control.State.Transition.Generator |
| randomUpId | Byron.Spec.Ledger.Update |
| raNetwork | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Range | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| 3 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| range | Byron.Spec.Ledger.Core |
| RatifyEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| RatifySignal | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| ratifySignalL | Cardano.Ledger.Conway.Governance |
| RatifyState | |
| 1 (Type/Class) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| ratio | Test.Control.State.Transition.Generator |
| rationalToCoinViaCeiling | Cardano.Ledger.Coin |
| rationalToCoinViaFloor | Cardano.Ledger.Coin |
| rationalToLovelacePortion | Cardano.Chain.Common |
| Raw | |
| 1 (Type/Class) | Cardano.Crypto.Raw |
| 2 (Data Constructor) | Cardano.Crypto.Raw |
| RawSeed | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Ledger.Shelley.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Utils, Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Ledger.Shelley.Arbitrary |
| RawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| rcDCert | Test.Cardano.Chain.Elaboration.Block |
| rdmrsAlonzoTxWitsL | Cardano.Ledger.Alonzo.TxWits |
| rdmrsTxWitsG | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| rdmrsTxWitsL | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.TxWits, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| reAccounts | Cardano.Ledger.Conway.Governance |
| readAllegraCddlFileNames | Test.Cardano.Ledger.Allegra.Binary.Cddl |
| readAllegraCddlFiles | Test.Cardano.Ledger.Allegra.Binary.Cddl |
| readAlonzoCddlFileNames | Test.Cardano.Ledger.Alonzo.Binary.Cddl |
| readAlonzoCddlFiles | Test.Cardano.Ledger.Alonzo.Binary.Cddl |
| readBabbageCddlFileNames | Test.Cardano.Ledger.Babbage.Binary.Cddl |
| readBabbageCddlFiles | Test.Cardano.Ledger.Babbage.Binary.Cddl |
| readBinUTxO | Cardano.Ledger.State.UTxO |
| readByronCddlFileNames | Test.Cardano.Chain.Binary.Cddl |
| readByronCddlFiles | Test.Cardano.Chain.Binary.Cddl |
| readCBOR | Test.Cardano.Ledger.Api.DebugTools |
| readCBORAnnotated | Test.Cardano.Ledger.Api.DebugTools |
| readCBORNoShare | Test.Cardano.Ledger.Api.DebugTools |
| readCBORWith | Test.Cardano.Ledger.Api.DebugTools |
| readConwayCddlFileNames | Test.Cardano.Ledger.Conway.Binary.Cddl |
| readConwayCddlFiles | Test.Cardano.Ledger.Conway.Binary.Cddl |
| readDecCBOR | Cardano.Ledger.State.UTxO |
| readDecCBORHex | Cardano.Ledger.State.UTxO |
| readDijkstraCddlFileNames | Test.Cardano.Ledger.Dijkstra.Binary.Cddl |
| readDijkstraCddlFiles | Test.Cardano.Ledger.Dijkstra.Binary.Cddl |
| readEpochState | Cardano.Ledger.State.UTxO |
| readEraCBOR | Test.Cardano.Ledger.Api.DebugTools |
| readGenesisData | Cardano.Chain.Genesis |
| readHexUTxO | Cardano.Ledger.State.UTxO |
| readMainetCfg | Test.Cardano.Chain.Config |
| readMaryCddlFileNames | Test.Cardano.Ledger.Mary.Binary.Cddl |
| readMaryCddlFiles | Test.Cardano.Ledger.Mary.Binary.Cddl |
| readNewEpochState | Cardano.Ledger.State.UTxO |
| readProcessNoFailure | Test.Cardano.Ledger.Binary.Cddl |
| readShelleyCddlFileNames | Test.Cardano.Ledger.Shelley.Binary.Cddl |
| readShelleyCddlFiles | Test.Cardano.Ledger.Shelley.Binary.Cddl |
| RealChainPredicateFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| realName | Test.Cardano.Ledger.Mary.Golden |
| reAnnotate | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| reAnnotateBlock | Cardano.Chain.Byron.API |
| reAnnotateBoundary | Cardano.Chain.Byron.API |
| reAnnotateUsing | Cardano.Chain.Byron.API |
| reapplySTS | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| reapplyTx | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| reapPool | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| reason | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Rec | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Dijkstra.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Coders |
| RecD | Cardano.Ledger.Binary.Coders |
| recentRewardAns | Cardano.Ledger.Shelley.RewardUpdate |
| recheck | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| recipNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| reCommitteeState | Cardano.Ledger.Conway.Governance |
| reCommitteeStateL | Cardano.Ledger.Conway.Governance |
| recoverBytes | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| recoverCertificateId | Cardano.Chain.Delegation |
| recoverHashedBytes | Cardano.Chain.UTxO |
| recoverProof | |
| 1 (Function) | Cardano.Chain.Update |
| 2 (Function) | Cardano.Chain.Block |
| recoverProposalSignedBytes | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| recoverSigData | Cardano.Chain.UTxO |
| recoverSignedBytes | |
| 1 (Function) | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| 2 (Function) | Cardano.Chain.Block |
| recoverTxProof | Cardano.Chain.UTxO |
| recoverUpId | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| recoverVoteId | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| rectangularBandSemigroupLaws | Test.Common |
| reCurrentEpoch | Cardano.Ledger.Conway.Governance |
| reCurrentEpochL | Cardano.Ledger.Conway.Governance |
| recursivelyShrink | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| RedeemASD | Cardano.Chain.Common |
| redeemDeterministicKeyGen | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemerPointer | 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 |
| redeemerPointerInverse | 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 |
| RedeemerPointerPointsToNothing | Cardano.Ledger.Babbage.TxInfo |
| RedeemerPointsToUnknownScriptHash | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| RedeemerReport | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| RedeemerReportWithLogs | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| Redeemers | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| redeemers | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| redeemerSameAsDatum | Test.Cardano.Ledger.Plutus.Examples |
| RedeemersRaw | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.TxWits |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.TxWits |
| redeemKeyGen | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemSign | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| RedeemSignature | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| RedeemSigningKey | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemSignRaw | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemToVerification | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| RedeemVerificationKey | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemVKB64F | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemVKB64ShortF | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemVKB64UrlF | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemVKBuild | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| RedeemWitness | Cardano.Chain.UTxO |
| reDRepDistr | Cardano.Ledger.Conway.Governance |
| reDRepDistrL | Cardano.Ledger.Conway.Governance |
| reDRepState | Cardano.Ledger.Conway.Governance |
| reDRepStateL | Cardano.Ledger.Conway.Governance |
| referenceInputsDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| ReferenceInputsNotDisjointFromInputs | Cardano.Ledger.Conway.TxInfo |
| ReferenceInputsNotSupported | Cardano.Ledger.Babbage.TxInfo |
| referenceInputsTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| referenceInputsTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| referenceScriptBabbageTxOutL | Cardano.Ledger.Babbage.TxOut |
| ReferenceScriptsNotSupported | Cardano.Ledger.Babbage.TxInfo |
| referenceScriptTxOutG | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| referenceScriptTxOutL | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| refInputsMax | Test.Cardano.Ledger.Generic.GenState |
| Refl | Data.Universe |
| Reflect | Test.Cardano.Ledger.Generic.Proof |
| RefundIncorrectDELEG | Cardano.Ledger.Conway.Rules |
| refundPools | Cardano.Ledger.Shelley.Rules |
| regCertFreq | Test.Cardano.Ledger.Generic.GenState |
| RegDepositDelegTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| RegDepositTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| RegDRepTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| register | Cardano.Chain.Update.Validation.Endorsement |
| registerAndRetirePoolToMakeReward | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerCommitteeHotKey | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| registerCommitteeHotKeys | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| registerConwayAccount | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| registerDRep | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| registerDRepsThenDelegs | Cardano.Ledger.Conway.Transition |
| registeredEndorsements | |
| 1 (Function) | Cardano.Chain.Update.Validation.Endorsement |
| 2 (Function) | Cardano.Chain.Update.Validation.Interface |
| registeredProtocolUpdateProposals | |
| 1 (Function) | Byron.Spec.Ledger.Update |
| 2 (Function) | Cardano.Chain.Update.Validation.Endorsement |
| 3 (Function) | Cardano.Chain.Update.Validation.Interface |
| registeredSoftwareUpdateProposals | Cardano.Chain.Update.Validation.Interface |
| registerEndorsement | Cardano.Chain.Update.Validation.Interface |
| registerEpoch | Cardano.Chain.Update.Validation.Interface |
| registerGenesisStaking | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| registerInitialCommittee | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| registerInitialFunds | Cardano.Ledger.Shelley.Transition |
| registerInitialStakePools | Cardano.Ledger.Shelley.Transition |
| RegisterPool | Cardano.Ledger.Shelley.Rules |
| registerPool | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerPoolWithRewardAccount | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerProposal | |
| 1 (Function) | Cardano.Chain.Update.Validation.Registration |
| 2 (Function) | Cardano.Chain.Update.Validation.Interface |
| registerRewardAccount | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerShelleyAccount | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| registerStakeCredential | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerTestAccount | Test.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era |
| registerUpdate | Cardano.Chain.Update.Validation.Interface |
| registerVote | Cardano.Chain.Update.Validation.Interface |
| registerVoteWithConfirmation | Cardano.Chain.Update.Validation.Voting |
| Registration | Cardano.Chain.Update.Validation.Interface |
| RegistrationEnvironment | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Voting |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Voting |
| RegPool | 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.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| regPool | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| RegPoolTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, 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.TxCert, Cardano.Ledger.Shelley.Core |
| RegTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| reify | Test.Cardano.Ledger.Generic.Proof |
| reInstantStake | Cardano.Ledger.Conway.Governance |
| rejectDupSchedDelegs | Test.Byron.Spec.Ledger.Delegation.Properties |
| Relation | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Cardano.Ledger.BaseTypes |
| relayRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| RelEQ | Cardano.Ledger.BaseTypes |
| relevantCasesAreCovered | |
| 1 (Function) | Test.Byron.Spec.Chain.STS.Properties |
| 2 (Function) | Test.Byron.Spec.Ledger.Delegation.Properties |
| 3 (Function) | Test.Byron.Spec.Ledger.UTxO.Properties |
| 4 (Function) | Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces |
| relevantKValuesAreGenerated | Test.Byron.Spec.Ledger.Core.Generators.Properties |
| RelGT | Cardano.Ledger.BaseTypes |
| RelGTEQ | Cardano.Ledger.BaseTypes |
| RelLT | Cardano.Ledger.BaseTypes |
| RelLTEQ | Cardano.Ledger.BaseTypes |
| RelSubset | Cardano.Ledger.BaseTypes |
| removeStakePoolDelegations | 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 |
| renderAssertionViolation | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| renderBlock | Cardano.Chain.Block |
| renderDepositEqualsObligationViolation | Cardano.Ledger.Shelley.Rules |
| renderHeader | Cardano.Chain.Block |
| reorderActions | Cardano.Ledger.Conway.Governance |
| repeatedDelegationsRatio | Byron.Spec.Ledger.Delegation |
| RepeatVoteByGenesisDelegate | Byron.Spec.Ledger.Update |
| replay | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| replicate | Test.Hedgehog.Extra.Manual |
| replicateM | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| replicateM_ | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| repOf | Data.Universe |
| reportStats | Cardano.Ledger.State.UTxO |
| representationSize | Cardano.Ledger.Mary.Value |
| reqSignerHashesTxBodyG | Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| reqSignerHashesTxBodyL | 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 |
| RequireAllOf | Cardano.Ledger.Shelley.Scripts |
| RequireAnyOf | Cardano.Ledger.Shelley.Scripts |
| requiredTopLevelGuardsDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| requiredTopLevelGuardsL | Cardano.Ledger.Dijkstra.TxBody |
| required_signers | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| RequireGuard | Cardano.Ledger.Dijkstra.Scripts |
| RequireMOf | Cardano.Ledger.Shelley.Scripts |
| RequireSignature | Cardano.Ledger.Shelley.Scripts |
| RequiresMagic | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| RequiresNetworkMagic | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| RequiresNoMagic | Cardano.Crypto.ProtocolMagic, Cardano.Crypto |
| RequireTimeExpire | Cardano.Ledger.Allegra.Scripts |
| RequireTimeStart | Cardano.Ledger.Allegra.Scripts |
| ReregisterPool | Cardano.Ledger.Shelley.Rules |
| reserves | |
| 1 (Function) | Byron.Spec.Ledger.STS.UTXO |
| 2 (Function) | Test.Cardano.Ledger.Generic.GenState |
| reservesAdaPot | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.Shelley.Rules.Chain |
| reservesL | 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 |
| ReservesMIR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| resetStakeDistribution | Cardano.Ledger.Shelley.Transition |
| reSign | Byron.Spec.Ledger.Update |
| resignCommitteeColdKey | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| ResignCommitteeColdTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| resize | |
| 1 (Function) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| resolveActiveInstantStakeCredentials | 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 |
| resolveConwayInstantStake | Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State |
| resolveInstantStake | 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 |
| resolveShelleyInstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| reStakePoolDistr | Cardano.Ledger.Conway.Governance |
| reStakePools | Cardano.Ledger.Conway.Governance |
| RestrainedRewards | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| restrictPoolMetadataHash | Cardano.Ledger.Shelley.SoftForks |
| Result | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| RetiredPools | Cardano.Ledger.Shelley.Rules |
| RetirePool | 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.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| RetirePoolTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, 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.TxCert, Cardano.Ledger.Shelley.Core |
| returnRedeemAddrsToReserves | Cardano.Ledger.Shelley.LedgerState |
| reupdateChainDepState | Cardano.Protocol.TPraos.API |
| Reveal | Test.Control.State.Transition.Examples.CommitReveal |
| Reward | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| RewardAccount | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| rewardAccountCredentialL | Cardano.Ledger.Address |
| rewardAccountNetworkL | Cardano.Ledger.Address |
| rewardAmount | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| RewardAns | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.RewardUpdate |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.RewardUpdate |
| RewardEvent | Cardano.Ledger.Shelley.RewardUpdate |
| RewardInfoPool | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| Rewarding | Test.Cardano.Ledger.Examples.STSTestUtils, Test.Cardano.Ledger.Generic.GenState |
| RewardingPurpose | Cardano.Ledger.Alonzo.Scripts, 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 |
| rewardOnePoolMember | Cardano.Ledger.Shelley.Rewards |
| RewardParams | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| rewardPool | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| rewardPotNM | Cardano.Ledger.Shelley.PoolRank |
| RewardProvenance | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.RewardProvenance |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.RewardProvenance |
| RewardProvenancePool | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.RewardProvenance |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.RewardProvenance |
| RewardPulser | Cardano.Ledger.Shelley.RewardUpdate |
| rewardsAdaPot | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.Shelley.Rules.Chain |
| RewardSnapShot | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewardStakePoolMember | Cardano.Ledger.Shelley.RewardUpdate |
| RewardType | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| rewardType | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Rewards, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| RewardUpdate | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| rewardUpdate | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| RewardUpdateOld | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Rewards |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Rewards |
| RewardUpdateStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| reward_account | 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 |
| rewDeltaR1 | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewDeltaT1 | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewFees | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewLeaders | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewLikelihoods | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewNonMyopic | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewProtocolVersion | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rewR | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState |
| rho | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| rho_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| roundTrip | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAllPredicateFailures | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripAlonzoCommonSpec | Test.Cardano.Ledger.Alonzo.Binary.RoundTrip |
| roundTripAlonzoEraTypesSpec | Test.Cardano.Ledger.Alonzo.Binary.RoundTrip |
| roundTripAnn | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnCborSpec | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnEraExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripAnnEraSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripAnnEraTypeExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripAnnEraTypeSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripAnnExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnFailureExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnRangeExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnRangeFailureExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnTwiddled | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripAnnTwiddledProperty | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripBlockSpec | Test.Cardano.Protocol.Binary.RoundTrip |
| roundTripCborExpectation | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripCborFailureExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripCborRangeExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripCborRangeFailureExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripCborSpec | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripConwayCommonSpec | Test.Cardano.Ledger.Conway.Binary.RoundTrip |
| roundTripConwayEraTypesSpec | Test.Cardano.Ledger.Conway.Binary.RoundTrip |
| roundTripCoreEraTypesSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripEraExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripEraSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripEraTypeExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripEraTypeSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripExpectation | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| RoundTripFailure | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 3 (Type/Class) | Test.Cardano.Ledger.Binary.RoundTrip |
| 4 (Data Constructor) | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripFailure | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| roundTripFailureExpectation | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripJsonEraSpec | Test.Cardano.Ledger.Core.JSON |
| roundTripJsonProperty | Test.Cardano.Ledger.Core.JSON |
| roundTripJsonShelleyEraSpec | Test.Cardano.Ledger.Shelley.JSON |
| roundTripJsonSpec | Test.Cardano.Ledger.Core.JSON |
| roundTripPlutusDataSpec | Test.Cardano.Ledger.Plutus.ToPlutusData |
| roundTripRangeExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripRangeFailureExpectation | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripRangeSpec | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripsCBORBuildable | Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTrip |
| roundTripsCBORShow | Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTrip |
| roundTripShareEraExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripShareEraSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripShareEraTypeExpectation | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripShareEraTypeSpec | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| roundTripShelleyCommonSpec | Test.Cardano.Ledger.Shelley.Binary.RoundTrip |
| roundTripSpec | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripStateEraTypesSpec | Test.Cardano.Ledger.Shelley.Binary.RoundTrip |
| roundTripTwiddled | Test.Cardano.Ledger.Binary.RoundTrip |
| roundTripTwiddledProperty | Test.Cardano.Ledger.Binary.RoundTrip |
| rPot | |
| 1 (Function) | Cardano.Ledger.Shelley.RewardProvenance |
| 2 (Function) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| rs | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| rsDelayed | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| rsDelayedL | Cardano.Ledger.Conway.Governance |
| rsEnacted | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| rsEnactedL | Cardano.Ledger.Conway.Governance |
| rsEnactState | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| rsEnactStateL | Cardano.Ledger.Conway.Governance |
| rsExpired | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Rules |
| rsExpiredL | Cardano.Ledger.Conway.Governance |
| RSLP | Cardano.Ledger.Shelley.RewardUpdate |
| rsOld | Test.Cardano.Ledger.Shelley.Rewards |
| rsProtocolUpdateProposals | Cardano.Chain.Update.Validation.Registration |
| rsSoftwareUpdateProposals | Cardano.Chain.Update.Validation.Registration |
| rtfConformanceError | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfDecoderError | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfDecoderVersion | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfDropperError | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfEncodedBytes | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfEncoderVersion | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfEncoding | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| rtfFlatTermError | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| rtfReEncodedBytes | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| Rule | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| ruleApplyTxValidation | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| RuleContext | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| RuleInterpreter | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| RuleListEra | Test.Cardano.Ledger.Core.Binary.RoundTrip |
| RuleType | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| RuleTypeRep | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| runAgdaRule | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runAgdaRuleWithDebug | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runAnnotator | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| runByteBuilder | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| runConduitFold | Cardano.Ledger.State.UTxO |
| runConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| RunConwayRatify | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| runConwayRatify | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| runE | Cardano.Ledger.Binary.Coders |
| runFromAgdaFunction | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runGen | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| runGenRS | Test.Cardano.Ledger.Generic.GenState |
| runGenT | Test.Cardano.Ledger.Imp.Common |
| runIdentity | Cardano.Ledger.Shelley.Rules |
| runImpRule | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| runIO | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| runLEDGER | Test.Cardano.Ledger.Examples.STSTestUtils |
| runOtherProv | Control.Provenance |
| runPlutusScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runPlutusScriptWithLogs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runProv | Control.Provenance |
| runProvM | Control.Provenance |
| runRule | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| runSecureRandom | Cardano.Crypto.Random, Cardano.Crypto |
| runShelleyBase | Test.Cardano.Ledger.Shelley.Utils |
| runSpecTransM | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| runSTS | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Utils |
| 2 (Function) | Test.Cardano.Ledger.Generic.Proof |
| runSTS' | Test.Cardano.Ledger.Generic.Proof |
| runSTSWithContext | Test.Cardano.Ledger.Generic.TxGen |
| runTest | |
| 1 (Function) | Cardano.Ledger.Rules.ValidationMode |
| 2 (Function) | Test.Cardano.Ledger.Generic.Trace |
| runTestOnSignal | Cardano.Ledger.Rules.ValidationMode |
| runWithProv | Control.Provenance |
| runWithProvM | Control.Provenance |
| RupdEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| RupdEvent | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |