| 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 |
| Random | Test.Cardano.Ledger.Constrained.Ast |
| 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 |
| 3 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 4 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 5 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 6 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| range | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Ledger.UMap |
| 3 (Function) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| rangeHint | Constrained.Examples.Map, Constrained.Examples |
| rangeSize | Constrained.TheKnot, Constrained.API |
| rangeSumSize | Constrained.Examples.Map, Constrained.Examples |
| RATIFY | Test.Cardano.Ledger.Generic.Proof |
| RatifyEnv | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| ratifyGovActionStatesL | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| ratifyState | Test.Cardano.Ledger.Constrained.Vars |
| ratifyStateL | Test.Cardano.Ledger.Constrained.Vars |
| RatifyStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| ratio | Test.Control.State.Transition.Generator |
| RationalR | Test.Cardano.Ledger.Constrained.TypeRep |
| 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 |
| rdDeposit | Cardano.Ledger.UMap |
| rdDepositCoin | Cardano.Ledger.UMap |
| RdmrPtrR | Test.Cardano.Ledger.Constrained.TypeRep |
| rdmrPtrsT | Test.Cardano.Ledger.Constrained.Preds.Tx |
| rdmrsAlonzoTxWitsL | Cardano.Ledger.Alonzo.TxWits |
| 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, Test.Cardano.Ledger.EraClass |
| RdmrWits | Test.Cardano.Ledger.Generic.Fields |
| RDPair | |
| 1 (Type/Class) | Cardano.Ledger.UMap |
| 2 (Data Constructor) | Cardano.Ledger.UMap |
| rdPairMap | Cardano.Ledger.UMap |
| rdReward | Cardano.Ledger.UMap |
| rdRewardCoin | Cardano.Ledger.UMap |
| 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 |
| 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 | Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator |
| 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 |
| rear | Control.Iterate.Collect |
| reason | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| reasonable | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| 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.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.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 | Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator |
| 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.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| RedeemASD | Cardano.Chain.Common |
| redeemDeterministicKeyGen | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| redeemer | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL |
| redeemerExample | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.Examples.Consensus |
| 2 (Function) | Test.Cardano.Ledger.Babbage.Examples.Consensus |
| 3 (Function) | Test.Cardano.Ledger.Conway.Examples.Consensus |
| 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, Test.Cardano.Ledger.EraClass |
| 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, Test.Cardano.Ledger.EraClass |
| 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 | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| redeemerSameAsDatum | |
| 1 (Function) | Test.Cardano.Ledger.Plutus.Examples |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 4 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| redeemerSameAsDatumBytes | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Binary.V3 |
| redeemerSameAsDatumQ | |
| 1 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V1 |
| 2 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V2 |
| 3 (Function) | Cardano.Ledger.Plutus.Preprocessor.Source.V3 |
| RedeemersRaw | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.TxWits |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.TxWits |
| redeemer_tag | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 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 |
| reDelegatees | Cardano.Ledger.Conway.Governance |
| reDRepDistr | Cardano.Ledger.Conway.Governance |
| reDRepDistrL | Cardano.Ledger.Conway.Governance |
| reDRepState | Cardano.Ledger.Conway.Governance |
| reDRepStateL | Cardano.Ledger.Conway.Governance |
| referenceInputs' | Cardano.Ledger.Babbage.TxBody |
| ReferenceInputsNotSupported | Cardano.Ledger.Babbage.TxInfo |
| 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 |
| referenceScriptBabbageTxOutL | Cardano.Ledger.Babbage.TxOut |
| ReferenceScriptsNotSupported | Cardano.Ledger.Babbage.TxInfo |
| 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, Test.Cardano.Ledger.EraClass |
| RefInputs | Test.Cardano.Ledger.Generic.Fields |
| refInputs | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 3 (Function) | Test.Cardano.Ledger.Examples.BabbageFeatures |
| RefInputs' | Test.Cardano.Ledger.Generic.Fields |
| refInputsMax | Test.Cardano.Ledger.Generic.GenState |
| Refl | Data.Universe, Test.Cardano.Ledger.Constrained.TypeRep |
| Reflect | Test.Cardano.Ledger.Generic.Proof |
| RefScript | Test.Cardano.Ledger.Generic.Fields |
| RefScript' | Test.Cardano.Ledger.Generic.Fields |
| refScriptCostMultiplier | Cardano.Ledger.Conway.Tx |
| refScriptCostStride | Cardano.Ledger.Conway.Tx |
| refScriptOutput | Test.Cardano.Ledger.Babbage.TxInfo |
| refundPoolDeposit | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| 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 |
| RegDepositTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core |
| RegDRepTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.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.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerCommitteeHotKey | Test.Cardano.Ledger.Conway.ImpTest |
| registerCommitteeHotKeys | Test.Cardano.Ledger.Conway.ImpTest |
| registerDRep | Test.Cardano.Ledger.Conway.ImpTest |
| 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 |
| registerInitialFundsThenStaking | 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.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.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.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| registerStakeCredential | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| 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.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| regPools | Test.Cardano.Ledger.Constrained.Vars |
| regPoolsL | Test.Cardano.Ledger.Constrained.Vars |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| regularize | Constrained.Syntax |
| regularizeBinder | Constrained.Syntax |
| regularizeNames | Constrained.Syntax |
| regularizeNamesPred | Constrained.Syntax |
| reg_cert | Test.Cardano.Ledger.Conway.CDDL |
| reg_drep_cert | Test.Cardano.Ledger.Conway.CDDL |
| Reifies | Constrained.AbstractSyntax, Constrained.API |
| reifies | Constrained.Syntax, Constrained.API |
| reifiesMultiple | Constrained.Examples.Basic, Constrained.Examples |
| reify | |
| 1 (Function) | Test.Cardano.Ledger.UMapSpec |
| 2 (Function) | Test.Cardano.Ledger.Generic.Proof |
| 3 (Function) | Constrained.Syntax, Constrained.API |
| reify' | Constrained.Spec.SumProd, Constrained.API |
| reifyDRep | Test.Cardano.Ledger.UMapSpec |
| reifyExample | Constrained.Examples.CheatSheet |
| reifyExample' | Constrained.Examples.CheatSheet |
| reifyPtr | Test.Cardano.Ledger.UMapSpec |
| reifyRDPair | Test.Cardano.Ledger.UMapSpec |
| reifySPool | Test.Cardano.Ledger.UMapSpec |
| reifyX | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| reifyYucky | Constrained.Examples.Basic, Constrained.Examples |
| reInstantStake | Cardano.Ledger.Conway.Governance |
| rejectDupSchedDelegs | Test.Byron.Spec.Ledger.Delegation.Properties |
| RelAny | Test.Cardano.Ledger.Constrained.Spec |
| Relation | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Cardano.Ledger.BaseTypes |
| relationTests | Test.Control.Iterate.RelationReference |
| relay | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| relDisjoint | Test.Cardano.Ledger.Constrained.Spec |
| RelEQ | Cardano.Ledger.BaseTypes |
| relEqual | Test.Cardano.Ledger.Constrained.Spec |
| 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 |
| RelLens | Test.Cardano.Ledger.Constrained.Spec |
| RelLT | Cardano.Ledger.BaseTypes |
| RelLTEQ | Cardano.Ledger.BaseTypes |
| RelNever | Test.Cardano.Ledger.Constrained.Spec |
| RelOper | Test.Cardano.Ledger.Constrained.Spec |
| relOper | Test.Cardano.Ledger.Constrained.Spec |
| RelSpec | Test.Cardano.Ledger.Constrained.Spec |
| RelSubset | Cardano.Ledger.BaseTypes |
| relSubset | Test.Cardano.Ledger.Constrained.Spec |
| relSuperset | Test.Cardano.Ledger.Constrained.Spec |
| remove | Test.Cardano.Ledger.Constrained.Spec |
| removeEqual | Test.Cardano.Ledger.Constrained.Rewrite |
| removekey | Control.Iterate.BaseTypes, Control.SetAlgebra |
| removeSameVar | Test.Cardano.Ledger.Constrained.Rewrite |
| removeVar | Constrained.Env |
| Rename | Constrained.Core |
| rename | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Rewrite |
| 2 (Function) | Constrained.Core |
| 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 |
| Rep | Test.Cardano.Ledger.Constrained.TypeRep |
| repeatedDelegationsRatio | Byron.Spec.Ledger.Delegation |
| RepeatVoteByGenesisDelegate | Byron.Spec.Ledger.Update |
| repl | Test.Cardano.Ledger.Constrained.Preds.Repl |
| replay | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.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 |
| ReplMode | Test.Cardano.Ledger.Constrained.Preds.Repl |
| repOf | Data.Universe |
| rePoolParams | Cardano.Ledger.Conway.Governance |
| reportManyAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeListSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergePairSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeRelSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeRngSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyMergeSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportManyNonNegAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| reportStats | Cardano.Ledger.State.UTxO |
| representationSize | Cardano.Ledger.Mary.Value |
| Reps | Test.Cardano.Ledger.Constrained.SpecClass |
| reqSig | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| ReqSignerHashes | Test.Cardano.Ledger.Generic.Fields |
| reqSignerHashes | Test.Cardano.Ledger.Constrained.Vars |
| ReqSignerHashes' | Test.Cardano.Ledger.Generic.Fields |
| reqSignerHashes' | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody |
| 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, Test.Cardano.Ledger.EraClass |
| require | Test.Cardano.Ledger.Generic.Scriptic |
| requireAll | Test.Cardano.Ledger.Constrained.Monad |
| RequireAllOf | Cardano.Ledger.Shelley.Scripts |
| RequireAnyOf | Cardano.Ledger.Shelley.Scripts |
| required_signers | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 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 |
| reregPool | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| reserves | |
| 1 (Function) | Byron.Spec.Ledger.STS.UTXO |
| 2 (Function) | Test.Cardano.Ledger.Generic.GenState |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| reSign | Byron.Spec.Ledger.Update |
| resignCommitteeColdKey | Test.Cardano.Ledger.Conway.ImpTest |
| ResignCommitteeColdTxCert | Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxCert, Cardano.Ledger.Conway.Core |
| resign_committee_cold_cert | Test.Cardano.Ledger.Conway.CDDL |
| resize | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| resizeT | Constrained.GenT |
| resolveActiveInstantStakeCredentials | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| resolveConwayInstantStake | Cardano.Ledger.Conway.State |
| resolveInstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.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.Mary.State, Cardano.Ledger.Shelley.State |
| respecting | Constrained.TheKnot |
| reStakePoolDistr | Cardano.Ledger.Conway.Governance |
| RestrainedRewards | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| Restrict | Test.Cardano.Ledger.Constrained.Ast |
| restrictedTo | Constrained.Syntax |
| restrictEnv | Test.Cardano.Ledger.Constrained.Env |
| restrictPoolMetadataHash | Cardano.Ledger.Shelley.SoftForks |
| Result | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Constrained.GenT |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| retiring | Test.Cardano.Ledger.Constrained.Vars |
| retiringL | Test.Cardano.Ledger.Constrained.Vars |
| returnAddrV | Test.Cardano.Ledger.Constrained.Vars |
| returnRedeemAddrsToReserves | Cardano.Ledger.Shelley.LedgerState |
| reupdateChainDepState | Cardano.Protocol.TPraos.API |
| Reveal | Test.Control.State.Transition.Examples.CommitReveal |
| reverseFoldSpec | Constrained.TheKnot |
| reverseOrdCond | Test.Cardano.Ledger.Constrained.Classes |
| 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.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.Mary.Core, Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| 3 (Type/Class) | Cardano.Ledger.State.Schema |
| 4 (Data Constructor) | Cardano.Ledger.State.Schema |
| 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 |
| RewardAccountR | Test.Cardano.Ledger.Constrained.TypeRep |
| RewardAccounts | Cardano.Ledger.Shelley.LedgerState |
| 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.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 |
| RewardCoin | Cardano.Ledger.State.Schema |
| rewardCoin | Cardano.Ledger.State.Schema |
| RewardCredentialId | Cardano.Ledger.State.Schema |
| rewardCredentialId | Cardano.Ledger.State.Schema |
| RewardDelegation | Cardano.Ledger.UMap |
| RewardDelegationBoth | Cardano.Ledger.UMap |
| RewardDelegationDRep | Cardano.Ledger.UMap |
| RewardDelegationSPO | Cardano.Ledger.UMap |
| rewardDepositDomainInvariant | Test.Cardano.Ledger.Generic.AggPropTests |
| RewardDstateId | Cardano.Ledger.State.Schema |
| rewardDstateId | Cardano.Ledger.State.Schema |
| RewardEvent | Cardano.Ledger.Shelley.RewardUpdate |
| RewardId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| 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.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 |
| RewardKey | Cardano.Ledger.State.Schema |
| rewardMap | Cardano.Ledger.UMap |
| 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.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 |
| RewardR | Test.Cardano.Ledger.Constrained.TypeRep |
| rewards | |
| 1 (Function) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| rewardsAdaPot | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.Shelley.Rules.Chain |
| rewardSet | Test.Cardano.Ledger.Constrained.Vars |
| rewardSetL | Test.Cardano.Ledger.Constrained.Vars |
| rewardsL | Test.Cardano.Ledger.Constrained.Vars |
| 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 |
| rewardsUMapL | Test.Cardano.Ledger.Constrained.Lenses |
| 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.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.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.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 |
| rewDepMapSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| rewDepMapSpec2 | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| RewDepUView | Cardano.Ledger.UMap |
| rewDepUView | Cardano.Ledger.UMap |
| 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 |
| rewrite | Test.Cardano.Ledger.Constrained.Rewrite |
| rewriteGen | Test.Cardano.Ledger.Constrained.Rewrite |
| rewritePred | Test.Cardano.Ledger.Constrained.Rewrite |
| rewriteRules | Constrained.Base, Constrained.API |
| RExclude | Control.Iterate.Exp |
| rExclude | Control.Iterate.Exp |
| rexclude | Control.Iterate.Exp, Control.SetAlgebra |
| Rho | Test.Cardano.Ledger.Generic.Fields |
| 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 |
| right_ | Constrained.Spec.SumProd, Constrained.API |
| Rng | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Control.Iterate.Exp |
| rng | Control.Iterate.Exp, Control.SetAlgebra |
| RngAny | Test.Cardano.Ledger.Constrained.Spec |
| rngDelete | Cardano.Ledger.UMap |
| RngElem | Test.Cardano.Ledger.Constrained.Spec |
| rngElem | Control.Iterate.Exp |
| rngFst | Control.Iterate.Exp |
| RngNever | Test.Cardano.Ledger.Constrained.Spec |
| RngProj | Test.Cardano.Ledger.Constrained.Spec |
| RngRel | Test.Cardano.Ledger.Constrained.Spec |
| rngSnd | Control.Iterate.Exp |
| RngSpec | Test.Cardano.Ledger.Constrained.Spec |
| RngSum | Test.Cardano.Ledger.Constrained.Spec |
| RngW | Constrained.Spec.Map |
| rng_ | Constrained.Spec.Map, Constrained.API |
| RootLabelW | Constrained.Spec.Tree |
| rootLabel_ | Constrained.Spec.Tree |
| RootTarget | Test.Cardano.Ledger.Constrained.Ast |
| roseTreeAvgLength | Constrained.Spec.Tree |
| roseTreeCtxSpec | Constrained.Spec.Tree |
| roseTreeList | Constrained.Examples.Tree, Constrained.Examples |
| roseTreeMaxSize | Constrained.Spec.Tree |
| roseTreeMaybe | Constrained.Examples.Tree, Constrained.Examples |
| roseTreePairs | Constrained.Examples.Tree, Constrained.Examples |
| roseTreeRootSpec | Constrained.Spec.Tree |
| 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 |
| 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 |
| RRestrict | Control.Iterate.Exp |
| rRestrict | Control.Iterate.Exp |
| rrestrict | Control.Iterate.Exp, Control.SetAlgebra |
| 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 | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 2 (Type/Class) | 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 |
| ruleProof | Test.Cardano.Ledger.Generic.Proof |
| RuleType | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| RuleTypeRep | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| run | Control.Iterate.SetAlgebra |
| runActions | Test.Cardano.Ledger.UMapSpec |
| runAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| runAgdaRule | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runAnnotator | Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator |
| runBool | Control.Iterate.SetAlgebra |
| runBoolExp | Control.Iterate.SetAlgebra |
| runByteBuilder | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| runCaseOn | Constrained.Syntax |
| runCollect | Control.Iterate.Collect |
| runColPlus | Control.Iterate.Collect |
| runComp | Test.Cardano.Ledger.Constrained.Ast |
| runCompile | Test.Cardano.Ledger.Constrained.Examples |
| runConduitFold | Cardano.Ledger.State.UTxO |
| runConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| runCont | Control.Iterate.Collect |
| RunConwayRatify | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| runConwayRatify | Cardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance |
| runDReps | Test.Cardano.Ledger.UMapSpec |
| runE | Cardano.Ledger.Binary.Coders |
| runElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| runGE | Constrained.GenT |
| runGen | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| runGenRS | Test.Cardano.Ledger.Generic.GenState |
| runGenT | |
| 1 (Function) | Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Constrained.GenT |
| 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.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| runIO | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| runLEDGER | Test.Cardano.Ledger.Examples.STSTestUtils |
| runListSpec | Test.Cardano.Ledger.Constrained.Spec |
| runMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| runOne | Test.Cardano.Ledger.Constrained.Trace.Tests |
| runOrdCond | Test.Cardano.Ledger.Constrained.Classes |
| runOrdCondition | Test.Cardano.Ledger.Constrained.Classes |
| runOtherProv | Control.Provenance |
| runPairSpec | Test.Cardano.Ledger.Constrained.Spec |
| runPlus | Control.Iterate.Collect |
| runPlutusScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runPlutusScriptWithLogs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runPred | Test.Cardano.Ledger.Constrained.Ast |
| runPreds | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Tests |
| runProv | Control.Provenance |
| runProvM | Control.Provenance |
| runPtrs | Test.Cardano.Ledger.UMapSpec |
| runRDPairs | Test.Cardano.Ledger.UMapSpec |
| runRelSpec | Test.Cardano.Ledger.Constrained.Spec |
| runRngSpec | Test.Cardano.Ledger.Constrained.Spec |
| runRule | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| runS | Test.Cardano.Ledger.Constrained.SpecClass |
| runSecureRandom | Cardano.Crypto.Random, Cardano.Crypto |
| runSet | Control.Iterate.SetAlgebra |
| runSetExp | Control.Iterate.SetAlgebra |
| runSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| runShelleyBase | Test.Cardano.Ledger.Shelley.Utils |
| runSize | Test.Cardano.Ledger.Constrained.Size |
| runSpecTransM | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance |
| runSPools | Test.Cardano.Ledger.UMapSpec |
| runSTS | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Utils |
| 2 (Function) | Test.Cardano.Ledger.Generic.Proof |
| runSTS' | Test.Cardano.Ledger.Generic.Proof |
| runSum | Test.Cardano.Ledger.Constrained.Ast |
| runTarget | Test.Cardano.Ledger.Constrained.Ast |
| runTerm | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.AbstractSyntax |
| runTermE | Constrained.AbstractSyntax |
| runTest | |
| 1 (Function) | Cardano.Ledger.Rules.ValidationMode |
| 2 (Function) | Test.Cardano.Ledger.Generic.Trace |
| 3 (Function) | Test.Cardano.Ledger.Generic.Properties |
| runTestOnSignal | Cardano.Ledger.Rules.ValidationMode |
| runTraceM | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| runTyped | Test.Cardano.Ledger.Constrained.Monad |
| runWithProv | Control.Provenance |
| runWithProvM | Control.Provenance |
| RUPD | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 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 |
| RupdFailure | Cardano.Ledger.Shelley.Rules |