| B | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Metadata |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Type/Class) | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| Babbage | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Babbage |
| 3 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep |
| babbageAllInputsTxBodyF | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| babbageCommonPParamsHKDPairs | Cardano.Ledger.Babbage.PParams |
| BabbageContextError | |
| 1 (Type/Class) | Cardano.Ledger.Babbage.TxInfo |
| 2 (Data Constructor) | Cardano.Ledger.Conway.TxInfo |
| BabbageEra | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Babbage |
| 3 (Type/Class) | Test.Cardano.Ledger.Generic.Proof |
| BabbageEraPParams | |
| 1 (Type/Class) | Cardano.Ledger.Api.PParams, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 3 (Type/Class) | Cardano.Ledger.Conway.Core |
| 4 (Type/Class) | Test.Cardano.Ledger.EraClass |
| BabbageEraTxBody | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core |
| 3 (Type/Class) | Cardano.Ledger.Conway.Core |
| BabbageEraTxOut | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.Core |
| 3 (Type/Class) | Cardano.Ledger.Conway.Core |
| 4 (Type/Class) | Test.Cardano.Ledger.EraClass |
| babbageEvalScriptsTxInvalid | Cardano.Ledger.Babbage.Rules |
| babbageFeatures | Test.Cardano.Ledger.Examples.BabbageFeatures |
| BabbageLEDGER | Cardano.Ledger.Babbage.Rules |
| babbageMinUTxOValue | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| babbageMissingScripts | Cardano.Ledger.Babbage.Rules |
| BabbageNonDisjointRefInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| BabbageOutputTooSmallUTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| BabbagePlutusV1 | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Scripts |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| BabbagePlutusV2 | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Scripts |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Scripts |
| BabbagePParams | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.PParams |
| 2 (Type/Class) | Cardano.Ledger.Babbage.PParams |
| babbagePParamsHKDPairs | Cardano.Ledger.Babbage.PParams |
| babbageSpendableInputsTxBodyF | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| babbageToConwayUtxoPredFailure | Cardano.Ledger.Conway.Rules |
| babbageToConwayUtxowPredFailure | Cardano.Ledger.Conway.Rules |
| BabbageTransitionConfig | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.Transition |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Transition |
| BabbageTxBody | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| 2 (Type/Class) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage |
| BabbageTxBodyRaw | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.TxBody.Internal |
| 2 (Type/Class) | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| BabbageTxBodyTypes | Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| BabbageTxBodyUpgradeError | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| BabbageTxOut | |
| 1 (Data Constructor) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| 2 (Type/Class) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage |
| BabbageUTXO | Cardano.Ledger.Babbage.Rules |
| BabbageUtxoPredFailure | Cardano.Ledger.Babbage.Rules |
| BabbageUTXOS | Cardano.Ledger.Babbage.Rules |
| BabbageUTXOW | Cardano.Ledger.Babbage.Rules |
| BabbageUtxowPredFailure | Cardano.Ledger.Babbage.Rules |
| babbageUtxowTransition | Cardano.Ledger.Babbage.Rules |
| backPropagation | Constrained.Base, Constrained.Spec, Constrained.Internals |
| backwardsSubstitution | Constrained.Base, Constrained.Spec, Constrained.Internals |
| bad | Test.Cardano.Ledger.Constrained.Preds.Tx |
| 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.Shelley.Rules |
| badScripts | Test.Cardano.Ledger.Generic.Trace |
| BadTranslation | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| badTreeInteraction | Constrained.Examples.Tree, Constrained.Examples |
| balance | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| 3 (Function) | Cardano.Ledger.UTxO |
| 4 (Function) | Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| balanceMap | Test.Cardano.Ledger.Constrained.Preds.Tx |
| Bar | |
| 1 (Data Constructor) | Constrained.Examples.Basic, Constrained.Examples |
| 2 (Data Constructor) | Constrained.Examples.CheatSheet |
| Base | Control.Iterate.Exp, Control.SetAlgebra |
| BaseD | Control.Iterate.Exp |
| BaseEnv | |
| 1 (Type/Class) | Test.Control.State.Transition.Generator |
| 2 (Type/Class) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| BaseFn | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| BaseFns | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| BaseM | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| BaseRep | Control.Iterate.BaseTypes, Control.SetAlgebra |
| 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 |
| BaseUniverse | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| Basic | Control.Iterate.BaseTypes, Control.SetAlgebra |
| basicSpec | Constrained.Examples.Basic, Constrained.Examples |
| Baz | Constrained.Examples.CheatSheet |
| baz | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| bbHash | Cardano.Ledger.Shelley.BlockChain, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BBODY | |
| 1 (Type/Class) | Byron.Spec.Chain.STS.Rule.BBody |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| bBody | Byron.Spec.Chain.STS.Block |
| bbody | |
| 1 (Function) | Cardano.Ledger.Block |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bbodyAccount | Cardano.Ledger.Shelley.Rules |
| BbodyEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| 2 (Type/Class) | 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 |
| 3 (Function) | Cardano.Ledger.Alonzo.Core |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.BlockChain |
| BbodyState | Cardano.Ledger.Shelley.Rules |
| bDCerts | Byron.Spec.Chain.STS.Block |
| Before | Test.Cardano.Ledger.Constrained.Ast |
| before | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Cardano.Ledger.Generic.Scriptic |
| beforeAfterTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| beforeAll | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| beforeAllCddlFile | Test.Cardano.Ledger.Binary.Cddl |
| beforeAllWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| beforeAll_ | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| beforeWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| before_ | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| beginSlotDelta | Test.Cardano.Ledger.Constrained.Vars |
| BELOW | Cardano.Ledger.NonIntegral |
| bEndorsment | Byron.Spec.Chain.STS.Block |
| bhash | Cardano.Protocol.TPraos.BHeader |
| BHBody | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| 2 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| bhbody | Cardano.Protocol.TPraos.BHeader |
| bhDlgHash | Byron.Spec.Chain.STS.Block |
| BHeader | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| 2 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| bHeader | Byron.Spec.Chain.STS.Block |
| bheader | |
| 1 (Function) | Cardano.Ledger.Block |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bheaderBlockNo | Cardano.Protocol.TPraos.BHeader |
| bheaderEta | Cardano.Protocol.TPraos.BHeader |
| bheaderL | Cardano.Protocol.TPraos.BHeader |
| bheaderOCert | Cardano.Protocol.TPraos.BHeader |
| bheaderPrev | Cardano.Protocol.TPraos.BHeader |
| bHeaderSize | |
| 1 (Function) | Byron.Spec.Chain.STS.Block |
| 2 (Function) | Cardano.Protocol.TPraos.BHeader |
| bheaderSlotNo | Cardano.Protocol.TPraos.BHeader |
| BHeaderView | |
| 1 (Data Constructor) | Cardano.Ledger.BHeaderView |
| 2 (Type/Class) | 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 |
| 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 |
| bigCoin | Test.Cardano.Ledger.Constrained.Vars |
| bigMem | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| bigStep | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| big_int | Test.Cardano.Ledger.Core.Binary.CDDL |
| big_nint | Test.Cardano.Ledger.Core.Binary.CDDL |
| big_uint | Test.Cardano.Ledger.Core.Binary.CDDL |
| BinaryData | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Scripts.Data, Cardano.Ledger.Alonzo.Data |
| 2 (Type/Class) | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryDataToData | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts.Data, Cardano.Ledger.Alonzo.Data |
| 2 (Function) | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryGetDecoder | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| BinaryShow | |
| 1 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 2 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| BinaryUpgradeOpts | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Core.Binary |
| 2 (Type/Class) | Test.Cardano.Ledger.Core.Binary |
| bind | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| bindArg | Test.Cardano.Ledger.Constrained.Ast |
| bindE | Control.Iterate.Exp |
| Binder | Constrained.Base, Constrained.Spec, Constrained.Internals |
| bindPat | Test.Cardano.Ledger.Constrained.Ast |
| BinNode | Constrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained |
| binOpEpochNo | Cardano.Ledger.BaseTypes |
| BinTip | Constrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained |
| BinTree | Constrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained |
| 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 (Data Constructor) | Byron.Spec.Ledger.Update |
| 2 (Type/Class) | Byron.Spec.Ledger.Update |
| bkSgnCntT | Byron.Spec.Ledger.Update |
| bkSlotsPerEpoch | Byron.Spec.Ledger.Update |
| BlackBox | Control.Provenance |
| Blind | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 3 (Data Constructor) | Test.Common |
| 4 (Type/Class) | Test.Common |
| Block | |
| 1 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 2 (Type/Class) | Byron.Spec.Chain.STS.Block |
| 3 (Type/Class) | Cardano.Chain.Block |
| 4 (Data Constructor) | Cardano.Ledger.Block |
| 5 (Type/Class) | Cardano.Ledger.Block |
| 6 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 7 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 8 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| block | Test.Cardano.Ledger.Shelley.CDDL |
| Block' | |
| 1 (Data Constructor) | Cardano.Ledger.Block |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| blockAnnotation | Cardano.Chain.Block |
| blockAProtocolMagicId | Cardano.Chain.Block |
| BlockBody | |
| 1 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 2 (Type/Class) | Byron.Spec.Chain.STS.Block |
| blockBody | Cardano.Chain.Block |
| BlockCount | |
| 1 (Data Constructor) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Byron.Spec.Ledger.Core |
| 3 (Data Constructor) | Cardano.Chain.Common |
| 4 (Type/Class) | Cardano.Chain.Common |
| blockCountGen | Byron.Spec.Ledger.Core.Generators |
| blockDecoder | Test.Cardano.Ledger.Shelley.LaxBlock |
| blockDifficulty | Cardano.Chain.Block |
| blockDlgPayload | Cardano.Chain.Block |
| blockGenesisKey | Cardano.Chain.Block |
| BlockHash | Cardano.Protocol.TPraos.BHeader |
| blockHash | Cardano.Chain.Block |
| blockHashAnnotated | Cardano.Chain.Block |
| BlockHeader | |
| 1 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 2 (Type/Class) | Byron.Spec.Chain.STS.Block |
| blockHeader | Cardano.Chain.Block |
| BlockIssuer | |
| 1 (Data Constructor) | Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| blockIssuer | Cardano.Chain.Block |
| blockIssuersAreDelegates | Test.Byron.Spec.Chain.STS.Properties |
| 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 |
| 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 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | 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 (Data Constructor) | Byron.Spec.Chain.STS.Block |
| 2 (Type/Class) | 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 (Data Constructor) | Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API |
| 2 (Type/Class) | 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 |
| 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 |
| bobPoolParams | 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 |
| bobVRFKeyHash | Test.Cardano.Ledger.Shelley.Examples.Cast |
| Body | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| 3 (Data Constructor) | Test.Cardano.Ledger.Generic.Fields |
| body | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Ledger.Alonzo.Tx |
| 3 (Function) | Cardano.Ledger.Babbage.Tx |
| 4 (Function) | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| 5 (Function) | Cardano.Ledger.Conway.Tx |
| 6 (Function) | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Body' | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| bodyAlonzoTxL | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx |
| 2 (Function) | Cardano.Ledger.Babbage.Tx |
| bodyDlgPayload | Cardano.Chain.Block |
| BodyEnvironment | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| BodyI | Test.Cardano.Ledger.Generic.Fields |
| BodyRefScriptsSizeTooBig | Cardano.Ledger.Conway.Rules |
| bodyShelleyTxL | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| bodyspec | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| bodyspec2 | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| bodySscPayload | Cardano.Chain.Block |
| BodyState | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| bodySummary | Test.Cardano.Ledger.Generic.PrettyCore |
| bodyTxL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| bodyTxPayload | Cardano.Chain.Block |
| bodyTxs | Cardano.Chain.Block |
| bodyUpdatePayload | Cardano.Chain.Block |
| bodyWitnesses | Cardano.Chain.Block |
| booleanExample | Constrained.Examples.CheatSheet |
| BoolFn | Constrained.Univ, Constrained.Internals |
| BoolR | Test.Cardano.Ledger.Constrained.TypeRep |
| boom | Cardano.Ledger.Tools |
| bootAddrAlonzoTxWitsL | Cardano.Ledger.Alonzo.TxWits |
| bootAddrShelleyTxWitsL | Cardano.Ledger.Shelley.TxWits |
| bootAddrTxOutF | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| bootAddrTxWitsL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| 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 |
| 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 |
| 3 (Data Constructor) | Cardano.Ledger.Address |
| 4 (Type/Class) | Cardano.Ledger.Address |
| bootstrapAddressAttrsSize | Cardano.Ledger.Address |
| bootstrapDStateSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| bootstrapKeyHash | Cardano.Ledger.Address |
| bootstrapPhase | Cardano.Ledger.Shelley.HardForks |
| bootstrapWitKeyHash | |
| 1 (Function) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.Address.Bootstrap |
| BootstrapWitness | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 3 (Type/Class) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 4 (Type/Class) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Data Constructor) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| BootstrapWitnessR | Test.Cardano.Ledger.Constrained.TypeRep |
| bootstrap_witness | Test.Cardano.Ledger.Shelley.CDDL |
| bootWitness | Test.Cardano.Ledger.Constrained.Preds.Universes |
| BootWits | Test.Cardano.Ledger.Generic.Fields |
| bootWits | |
| 1 (Function) | Cardano.Ledger.Shelley.TxWits |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| BootWits' | Test.Cardano.Ledger.Generic.Fields |
| bootWitsT | Test.Cardano.Ledger.Constrained.Preds.Tx |
| Both | Control.Iterate.Exp |
| both | |
| 1 (Function) | Tests.Cardano.Ledger.NonIntegral |
| 2 (Function) | Control.Iterate.Exp |
| 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 |
| boundedEnumLaws | Test.Common |
| BoundedNatural | Cardano.Protocol.TPraos.BHeader |
| BoundedRational | Cardano.Ledger.BaseTypes |
| bounded_bytes | Test.Cardano.Ledger.Core.Binary.CDDL |
| boundRational | Cardano.Ledger.BaseTypes |
| Box | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Generic.TxGen |
| 2 (Type/Class) | Test.Cardano.Ledger.Generic.TxGen |
| 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 |
| branch | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| branchW | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| bruteForceDRepDistr | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| bSize | Byron.Spec.Chain.STS.Block |
| bsize | Cardano.Protocol.TPraos.BHeader |
| bSlot | Byron.Spec.Chain.STS.Block |
| btbAuxDataHash | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCerts | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCollateral | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbCollateralReturn | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbInputs | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbMint | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbOutputs | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbrAuxDataHash | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrCerts | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrCollateralInputs | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrCollateralReturn | Cardano.Ledger.Babbage.TxBody.Internal |
| btbReferenceInputs | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbReqSignerHashes | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbrMint | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrOutputs | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrReferenceInputs | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrReqSignerHashes | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrScriptIntegrityHash | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrSpendInputs | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrTotalCollateral | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrTxFee | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrTxNetworkId | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrUpdate | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrValidityInterval | Cardano.Ledger.Babbage.TxBody.Internal |
| btbrWithdrawals | Cardano.Ledger.Babbage.TxBody.Internal |
| btbScriptIntegrityHash | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTotalCollateral | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTxFee | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbTxNetworkId | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| BTBUEUpdatesD | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| BTBUEUpdatesExtraEntropy | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
| btbUpdate | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbValidityInterval | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btbWithdrawals | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx |
| btcAlonzoTransitionConfig | Cardano.Ledger.Babbage.Transition |
| bulkStore | Test.Cardano.Ledger.Constrained.Env |
| 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 |
| bUtxo | Byron.Spec.Chain.STS.Block |
| bvMaxValue | Cardano.Protocol.TPraos.BHeader |
| bvValue | Cardano.Protocol.TPraos.BHeader |
| bwAttributes | |
| 1 (Function) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwChainCode | |
| 1 (Function) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwKey | |
| 1 (Function) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| bwSig | |
| 1 (Function) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.Address.Bootstrap, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| byronAddr | Test.Cardano.Ledger.Babbage.TxInfo |
| byronAddrUniv | Test.Cardano.Ledger.Constrained.Vars |
| ByronEra | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core |
| byronInput | Test.Cardano.Ledger.Babbage.TxInfo |
| ByronKeyPair | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Core.KeyPair |
| 2 (Type/Class) | Test.Cardano.Ledger.Core.KeyPair |
| byronOutput | Test.Cardano.Ledger.Babbage.TxInfo |
| byronProtVer | |
| 1 (Function) | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| 3 (Function) | Cardano.Ledger.BaseTypes |
| ByronTxOutInContext | Cardano.Ledger.Babbage.TxInfo |
| ByteOffset | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| byteSize | Test.Cardano.Ledger.Constrained.Preds.Tx |
| byteSizeT | Test.Cardano.Ledger.Constrained.Preds.Tx |
| ByteSpan | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Type/Class) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| byteStringToNum | Cardano.Ledger.Tools |
| B_Crypto | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |