| B | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Metadata, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BA | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| Babbage | Test.Cardano.Ledger.Generic.Proof |
| babbageAllInputsTxBodyF | Cardano.Ledger.Babbage.TxBody |
| babbageCDDL | |
| 1 (Function) | Cardano.Ledger.Babbage.HuddleSpec |
| 2 (Function) | Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| BabbageContextError | |
| 1 (Type/Class) | Cardano.Ledger.Babbage.TxInfo |
| 2 (Data Constructor) | Cardano.Ledger.Conway.TxInfo |
| BabbageEra | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Babbage, Cardano.Ledger.Internal.Definition.Era, Cardano.Ledger.Internal.Era, Test.Cardano.Ledger.Generic.Proof |
| BabbageEraImp | Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| BabbageEraPParams | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| BabbageEraTest | Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era |
| BabbageEraTxBody | 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 |
| BabbageEraTxOut | 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 |
| babbageEvalScriptsTxInvalid | Cardano.Ledger.Babbage.Rules |
| babbageFixupTx | Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| BabbageLEDGER | Cardano.Ledger.Babbage.Rules |
| babbageMinUTxOValue | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| babbageMissingScripts | Cardano.Ledger.Babbage.Rules |
| BabbageNonDisjointRefInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| babbageOperationalCertRule | Cardano.Ledger.Babbage.HuddleSpec |
| BabbageOutputTooSmallUTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| BabbagePlutusV1 | Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Dijkstra.Scripts |
| BabbagePlutusV2 | Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Dijkstra.Scripts |
| BabbagePParams | |
| 1 (Type/Class) | Cardano.Ledger.Babbage.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.PParams |
| babbageProtocolVersionRule | Cardano.Ledger.Babbage.HuddleSpec |
| babbageScript | Cardano.Ledger.Babbage.HuddleSpec |
| babbageSpendableInputsTxBodyF | Cardano.Ledger.Babbage.TxBody |
| babbageToConwayUtxoPredFailure | Cardano.Ledger.Conway.Rules |
| babbageToConwayUtxowPredFailure | Cardano.Ledger.Conway.Rules |
| babbageTransactionOutput | Cardano.Ledger.Babbage.HuddleSpec |
| BabbageTransitionConfig | Cardano.Ledger.Babbage.Transition, Cardano.Ledger.Conway.Transition |
| BabbageTxBody | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage |
| BabbageTxBodyRaw | |
| 1 (Type/Class) | Cardano.Ledger.Babbage.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxBody |
| BabbageTxBodyTypes | Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| BabbageTxOut | |
| 1 (Type/Class) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| BabbageUTXO | Cardano.Ledger.Babbage.Rules |
| BabbageUtxoPredFailure | Cardano.Ledger.Babbage.Rules |
| BabbageUTXOS | Cardano.Ledger.Babbage.Rules |
| babbageUtxoValidation | Cardano.Ledger.Babbage.Rules |
| BabbageUTXOW | Cardano.Ledger.Babbage.Rules |
| BabbageUtxowPredFailure | Cardano.Ledger.Babbage.Rules |
| babbageUtxowTransition | Cardano.Ledger.Babbage.Rules |
| babbageWitUniv | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| babbage_transaction_output | Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| BadInputsUTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 4 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| 5 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| badScripts | Test.Cardano.Ledger.Generic.Trace |
| BadTranslation | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| balance | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| balanceAccountStateL | 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 |
| BaseEnv | |
| 1 (Type/Class) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Type/Class) | Test.Control.State.Transition.Generator |
| BaseM | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| basescript | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| baseScripts | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| BaseType | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.Binary |
| basicAllegraTxBody | Cardano.Ledger.Allegra.TxBody |
| basicDijkstraTxBodyRaw | Cardano.Ledger.Dijkstra.TxBody |
| BBODY | Byron.Spec.Chain.STS.Rule.BBody |
| bBody | Byron.Spec.Chain.STS.Block |
| bbodyAccount | Cardano.Ledger.Shelley.Rules |
| BbodyEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| BbodyEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| BBodyFailure | Byron.Spec.Chain.STS.Rule.Chain |
| BbodyFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| bbodyPp | Cardano.Ledger.Shelley.Rules |
| BbodyPredicateFailure | Byron.Spec.Chain.STS.Rule.BBody |
| bBodySize | |
| 1 (Function) | Byron.Spec.Chain.STS.Block |
| 2 (Function) | 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.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BbodyState | Cardano.Ledger.Shelley.Rules |
| bDCerts | Byron.Spec.Chain.STS.Block |
| before | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| beforeAll | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| beforeAllCddlFile | Test.Cardano.Ledger.Binary.Cddl |
| beforeAllWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| beforeAll_ | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| beforeWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| before_ | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| BELOW | Cardano.Ledger.NonIntegral |
| bEndorsment | Byron.Spec.Chain.STS.Block |
| bhash | Cardano.Protocol.TPraos.BHeader |
| BHBody | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| bhbody | Cardano.Protocol.TPraos.BHeader |
| bhDlgHash | Byron.Spec.Chain.STS.Block |
| BHeader | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| bHeader | Byron.Spec.Chain.STS.Block |
| bheaderBlockNo | Cardano.Protocol.TPraos.BHeader |
| BHeaderConstr | Cardano.Protocol.TPraos.BHeader |
| bheaderEta | Cardano.Protocol.TPraos.BHeader |
| bheaderL | Cardano.Protocol.TPraos.BHeader |
| bheaderOCert | Cardano.Protocol.TPraos.BHeader |
| bheaderPrev | Cardano.Protocol.TPraos.BHeader |
| BHeaderRaw | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| bHeaderSize | Byron.Spec.Chain.STS.Block |
| bheaderSlotNo | Cardano.Protocol.TPraos.BHeader |
| BHeaderView | |
| 1 (Type/Class) | Cardano.Ledger.BHeaderView |
| 2 (Data Constructor) | Cardano.Ledger.BHeaderView |
| bheaderVk | Cardano.Protocol.TPraos.BHeader |
| bheaderVrfVk | Cardano.Protocol.TPraos.BHeader |
| bhHash | |
| 1 (Function) | Byron.Spec.Chain.STS.Block |
| 2 (Function) | Cardano.Protocol.TPraos.BHeader |
| bhIssuer | Byron.Spec.Chain.STS.Block |
| bhPrevHash | Byron.Spec.Chain.STS.Block |
| bhrBody | Cardano.Protocol.TPraos.BHeader |
| bhrSignature | Cardano.Protocol.TPraos.BHeader |
| bhSig | Byron.Spec.Chain.STS.Block |
| bhSlot | Byron.Spec.Chain.STS.Block |
| bhToSign | Byron.Spec.Chain.STS.Block |
| bhUpdHash | Byron.Spec.Chain.STS.Block |
| bhUtxoHash | Byron.Spec.Chain.STS.Block |
| bhviewBHash | Cardano.Ledger.BHeaderView |
| bhviewBSize | Cardano.Ledger.BHeaderView |
| bhviewHSize | Cardano.Ledger.BHeaderView |
| bhviewID | Cardano.Ledger.BHeaderView |
| bhviewSlot | Cardano.Ledger.BHeaderView |
| bifoldableLaws | Test.Common |
| bifunctorLaws | Test.Common |
| bigIntRule | Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec |
| bigMem | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| bigNintRule | Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec |
| bigStep | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| bigUintRule | Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec |
| big_int | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| bimapMHSMap | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| BinaryData | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryDataToData | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryGetDecoder | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| BinaryUpgradeOpts | |
| 1 (Type/Class) | Test.Cardano.Ledger.Api.Upgrade |
| 2 (Data Constructor) | Test.Cardano.Ledger.Api.Upgrade |
| binaryUpgradeTx | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| binaryUpgradeTxAuxData | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| binaryUpgradeTxBody | Cardano.Ledger.Allegra.Core, 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.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| binaryUpgradeTxWits | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| bindNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| binOpEpochNo | Cardano.Ledger.BaseTypes |
| bIsEBB | Byron.Spec.Chain.STS.Block |
| bitraversableLaws | Test.Common |
| bitsLaws | Test.Common |
| bkpSigningKey | Test.Cardano.Ledger.Core.KeyPair |
| bkpVerificationKey | Test.Cardano.Ledger.Core.KeyPair |
| BkSgnCntT | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| bkSgnCntT | Byron.Spec.Ledger.Update |
| bkSlotsPerEpoch | Byron.Spec.Ledger.Update |
| BlackBox | Control.Provenance |
| Blind | |
| 1 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Block | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Block |
| 2 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 3 (Type/Class) | Cardano.Chain.Block |
| 4 (Type/Class) | Cardano.Ledger.Block, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Data Constructor) | Cardano.Ledger.Block, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| blockAnnotation | Cardano.Chain.Block |
| blockAProtocolMagicId | Cardano.Chain.Block |
| BlockBody | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Block |
| 2 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 3 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| blockBody | |
| 1 (Function) | Cardano.Chain.Block |
| 2 (Function) | Cardano.Ledger.Block, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BlockCount | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Chain.Common |
| 4 (Data Constructor) | Cardano.Chain.Common |
| blockCountGen | Byron.Spec.Ledger.Core.Generators |
| blockDifficulty | Cardano.Chain.Block |
| blockDlgPayload | Cardano.Chain.Block |
| blockFromProofList | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| blockGenesisKey | Cardano.Chain.Block |
| BlockHash | Cardano.Protocol.TPraos.BHeader |
| blockHash | Cardano.Chain.Block |
| blockHashAnnotated | Cardano.Chain.Block |
| BlockHeader | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Block |
| 2 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| blockHeader | |
| 1 (Function) | Cardano.Chain.Block |
| 2 (Function) | Cardano.Ledger.Block, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BlockIssuer | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API, Cardano.Ledger.Shelley.API |
| blockIssuer | Cardano.Chain.Block |
| blockIssuersAreDelegates | Test.Byron.Spec.Chain.STS.Properties |
| BlockIssuerVRF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.Crypto |
| blockLength | Cardano.Chain.Block |
| BlockNo | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| blockPrevHash | Cardano.Chain.Block |
| blockProof | Cardano.Chain.Block |
| blockProtocolMagicId | Cardano.Chain.Block |
| blockProtocolVersion | Cardano.Chain.Block |
| blockRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec |
| blocks | Cardano.Ledger.Shelley.RewardProvenance |
| blocksCount | Cardano.Ledger.Shelley.RewardProvenance |
| BlockSignature | Cardano.Chain.Block |
| blockSignature | Cardano.Chain.Block |
| blocksizeMax | Test.Cardano.Ledger.Generic.GenState |
| BlockSizeTooLarge | Byron.Spec.Ledger.Update |
| BlockSizeTooLargeCHAIN | Cardano.Ledger.Chain |
| blockSlot | Cardano.Chain.Block |
| BlocksMade | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| blocksMadeZero | Test.Cardano.Ledger.Generic.ModelState |
| blockSoftwareVersion | Cardano.Chain.Block |
| BlocksOutOfOrder | Test.Cardano.Ledger.Generic.MockChain |
| blockSscPayload | Cardano.Chain.Block |
| BlockStats | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Block |
| 2 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| blockStats | Byron.Spec.Chain.STS.Block |
| blockStatsDCerts | Byron.Spec.Chain.STS.Block |
| blockStatsUpdProp | Byron.Spec.Chain.STS.Block |
| blockStatsUpdVotes | Byron.Spec.Chain.STS.Block |
| blockStatsUtxo | Byron.Spec.Chain.STS.Block |
| blockToSign | Cardano.Chain.Block |
| BlockTransitionError | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API |
| blockTxPayload | Cardano.Chain.Block |
| blockUpdatePayload | Cardano.Chain.Block |
| BlockValidation | Cardano.Chain.Block |
| BlockValidationMode | Cardano.Chain.Block |
| blockValidationMode | Cardano.Chain.ValidationMode |
| block_number | 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 |
| bnonce | Cardano.Protocol.TPraos.BHeader |
| bobAddr | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobOnly | Test.Cardano.Ledger.Shelley.MultiSigExamples |
| bobPay | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobPoolKeys | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobSHK | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobStake | |
| 1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobStakePoolParams | Test.Cardano.Ledger.Shelley.Examples.Cast |
| bobVRFKeyHash | Test.Cardano.Ledger.Shelley.Examples.Cast |
| Body | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| body | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| Body' | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| bodyAlonzoTxL | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| bodyDlgPayload | Cardano.Chain.Block |
| BodyEnvironment | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| BodyHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| BodyRefScriptsSizeTooBig | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| bodyShelleyTxL | Cardano.Ledger.Shelley.Tx |
| bodySscPayload | Cardano.Chain.Block |
| BodyState | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| bodyTxL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| bodyTxPayload | Cardano.Chain.Block |
| bodyTxs | Cardano.Chain.Block |
| bodyUpdatePayload | Cardano.Chain.Block |
| bodyWitnesses | Cardano.Chain.Block |
| boom | Cardano.Ledger.Tools |
| bootAddrAlonzoTxWitsL | Cardano.Ledger.Alonzo.TxWits |
| bootAddrShelleyTxWitsL | Cardano.Ledger.Shelley.TxWits |
| bootAddrTxOutF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| bootAddrTxWitsL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| BootstrapAddress | |
| 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 |
| 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 |
| bootstrapAddressAttrsSize | Cardano.Ledger.Address |
| bootstrapFailures | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| bootstrapKeyHash | Cardano.Ledger.Address |
| bootstrapWitKeyHash | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| BootstrapWitness | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bootstrapWitnessRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| bootstrap_witness | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| bootWits | Cardano.Ledger.Shelley.TxWits |
| both | Tests.Cardano.Ledger.NonIntegral |
| boundaryAnnotation | Cardano.Chain.Block |
| boundaryBlockLength | Cardano.Chain.Block |
| boundaryBlockSlot | Cardano.Chain.Block |
| boundaryBody | Cardano.Chain.Block |
| boundaryBodyAnnotation | Cardano.Chain.Block |
| boundaryDifficulty | Cardano.Chain.Block |
| boundaryEpoch | Cardano.Chain.Block |
| boundaryHashAnnotated | Cardano.Chain.Block |
| boundaryHeader | Cardano.Chain.Block |
| boundaryHeaderAnnotation | Cardano.Chain.Block |
| boundaryHeaderHashAnnotated | Cardano.Chain.Block |
| boundaryPrevHash | Cardano.Chain.Block |
| boundedBytesRule | Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec |
| boundedEnumLaws | Test.Common |
| BoundedNatural | Cardano.Protocol.TPraos.BHeader |
| BoundedRational | Cardano.Ledger.BaseTypes |
| bounded_bytes | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| boundRational | Cardano.Ledger.BaseTypes |
| bppA0 | Cardano.Ledger.Babbage.PParams |
| bppCoinsPerUTxOByte | Cardano.Ledger.Babbage.PParams |
| bppCollateralPercentage | Cardano.Ledger.Babbage.PParams |
| bppCostModels | Cardano.Ledger.Babbage.PParams |
| bppEMax | Cardano.Ledger.Babbage.PParams |
| bppKeyDeposit | Cardano.Ledger.Babbage.PParams |
| bppMaxBBSize | Cardano.Ledger.Babbage.PParams |
| bppMaxBHSize | Cardano.Ledger.Babbage.PParams |
| bppMaxBlockExUnits | Cardano.Ledger.Babbage.PParams |
| bppMaxCollateralInputs | Cardano.Ledger.Babbage.PParams |
| bppMaxTxExUnits | Cardano.Ledger.Babbage.PParams |
| bppMaxTxSize | Cardano.Ledger.Babbage.PParams |
| bppMaxValSize | Cardano.Ledger.Babbage.PParams |
| bppMinFeeA | Cardano.Ledger.Babbage.PParams |
| bppMinFeeB | Cardano.Ledger.Babbage.PParams |
| bppMinPoolCost | Cardano.Ledger.Babbage.PParams |
| bppNOpt | Cardano.Ledger.Babbage.PParams |
| bppPoolDeposit | Cardano.Ledger.Babbage.PParams |
| bppPrices | Cardano.Ledger.Babbage.PParams |
| bppProtocolVersion | Cardano.Ledger.Babbage.PParams |
| bppRho | Cardano.Ledger.Babbage.PParams |
| bppTau | Cardano.Ledger.Babbage.PParams |
| bProtVer | Byron.Spec.Chain.STS.Block |
| bprotver | Cardano.Protocol.TPraos.BHeader |
| bSize | Byron.Spec.Chain.STS.Block |
| bsize | Cardano.Protocol.TPraos.BHeader |
| bSlot | Byron.Spec.Chain.STS.Block |
| btbAuxDataHash | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCerts | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCollateral | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCollateralReturn | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbInputs | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbMint | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbOutputs | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbrAuxDataHash | Cardano.Ledger.Babbage.TxBody |
| btbrCerts | Cardano.Ledger.Babbage.TxBody |
| btbrCollateralInputs | Cardano.Ledger.Babbage.TxBody |
| btbrCollateralReturn | Cardano.Ledger.Babbage.TxBody |
| btbReferenceInputs | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbReqSignerHashes | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbrFee | Cardano.Ledger.Babbage.TxBody |
| btbrInputs | Cardano.Ledger.Babbage.TxBody |
| btbrMint | Cardano.Ledger.Babbage.TxBody |
| btbrNetworkId | Cardano.Ledger.Babbage.TxBody |
| btbrOutputs | Cardano.Ledger.Babbage.TxBody |
| btbrReferenceInputs | Cardano.Ledger.Babbage.TxBody |
| btbrReqSignerHashes | Cardano.Ledger.Babbage.TxBody |
| btbrScriptIntegrityHash | Cardano.Ledger.Babbage.TxBody |
| btbrTotalCollateral | Cardano.Ledger.Babbage.TxBody |
| btbrUpdate | Cardano.Ledger.Babbage.TxBody |
| btbrValidityInterval | Cardano.Ledger.Babbage.TxBody |
| btbrWithdrawals | Cardano.Ledger.Babbage.TxBody |
| btbScriptIntegrityHash | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTotalCollateral | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTxFee | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTxNetworkId | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbUpdate | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbValidityInterval | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbWithdrawals | Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btcAlonzoTransitionConfig | Cardano.Ledger.Babbage.Transition |
| bUpdPayload | Byron.Spec.Chain.STS.Block |
| bUpdProp | Byron.Spec.Chain.STS.Block |
| bUpdVotes | Byron.Spec.Chain.STS.Block |
| BUPI | Byron.Spec.Chain.STS.Rule.Bupi |
| BUPIFailure | Byron.Spec.Chain.STS.Rule.BBody |
| BupiPredicateFailure | Byron.Spec.Chain.STS.Rule.Bupi |
| burnedMultiAssets | Cardano.Ledger.Mary.UTxO |
| bUtxo | Byron.Spec.Chain.STS.Block |
| bvMaxValue | Cardano.Protocol.TPraos.BHeader |
| bvValue | Cardano.Protocol.TPraos.BHeader |
| bwAttributes | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwChainCode | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwKey | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwSignature | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ByronEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Internal.Definition.Era, Cardano.Ledger.Internal.Era, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ByronKeyPair | |
| 1 (Type/Class) | Test.Cardano.Ledger.Core.KeyPair |
| 2 (Data Constructor) | Test.Cardano.Ledger.Core.KeyPair |
| byronProtVer | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Vintage.Helpers, Cardano.Ledger.BaseTypes |
| ByronTxOutInContext | Cardano.Ledger.Babbage.TxInfo |
| ByteArray | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| byteCountMemoBytes | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| ByteOffset | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ByteSpan | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| byteStringToNum | Cardano.Ledger.Tools |