cardano-ledger

Index - B

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.API.Types, Cardano.Ledger.Shelley.API
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
babbageAllInputsTxBodyFCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
babbageCDDL 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL
babbageCommonPParamsHKDPairsCardano.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
babbageEvalScriptsTxInvalidCardano.Ledger.Babbage.Rules
babbageFeaturesTest.Cardano.Ledger.Examples.BabbageFeatures
BabbageLEDGERCardano.Ledger.Babbage.Rules
babbageMinUTxOValueCardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
babbageMissingScriptsCardano.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
babbagePParamsHKDPairsCardano.Ledger.Babbage.PParams
babbageSpendableInputsTxBodyFCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
babbageToConwayUtxoPredFailureCardano.Ledger.Conway.Rules
babbageToConwayUtxowPredFailureCardano.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
BabbageTxBodyTypesTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
BabbageTxBodyUpgradeErrorCardano.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
BabbageUTXOCardano.Ledger.Babbage.Rules
BabbageUtxoPredFailureCardano.Ledger.Babbage.Rules
BabbageUTXOSCardano.Ledger.Babbage.Rules
BabbageUTXOWCardano.Ledger.Babbage.Rules
BabbageUtxowPredFailureCardano.Ledger.Babbage.Rules
babbageUtxowTransitionCardano.Ledger.Babbage.Rules
babbageWitUnivTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
babbage_transaction_output 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL
backPropagationConstrained.Base, Constrained.Spec, Constrained.Internals
backwardsSubstitutionConstrained.Base, Constrained.Spec, Constrained.Internals
badTest.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
badScriptsTest.Cardano.Ledger.Generic.Trace
BadTranslationCardano.Ledger.Alonzo.Plutus.Evaluate
badTreeInteractionConstrained.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
balanceMapTest.Cardano.Ledger.Constrained.Preds.Tx
Bar 
1 (Data Constructor)Constrained.Examples.Basic, Constrained.Examples
2 (Data Constructor)Constrained.Examples.CheatSheet
BaseControl.Iterate.Exp, Control.SetAlgebra
BaseDControl.Iterate.Exp
BaseEnv 
1 (Type/Class)Test.Control.State.Transition.Generator
2 (Type/Class)Test.Control.State.Transition.Trace.Generator.QuickCheck
BaseFnConstrained.Base, Constrained.Spec, Constrained.Internals, Constrained
BaseFnsConstrained.Base, Constrained.Spec, Constrained.Internals, Constrained
BaseImpM 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
5 (Type/Class)Test.Cardano.Ledger.Mary.ImpTest
6 (Type/Class)Test.Cardano.Ledger.Shelley.ImpTest
BaseMControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
BaseRepControl.Iterate.BaseTypes, Control.SetAlgebra
basescriptTest.Cardano.Ledger.Shelley.Generator.ScriptClass
baseScriptsTest.Cardano.Ledger.Shelley.Generator.ScriptClass
BaseTypeCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.Binary
BaseUniverseConstrained.Base, Constrained.Spec, Constrained.Internals, Constrained
BasicControl.Iterate.BaseTypes, Control.SetAlgebra
basicSpecConstrained.Examples.Basic, Constrained.Examples
BazConstrained.Examples.CheatSheet
bbHashCardano.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
bBodyByron.Spec.Chain.STS.Block
bbody 
1 (Function)Cardano.Ledger.Block
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bbodyAccountCardano.Ledger.Shelley.Rules
BbodyEnv 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules
2 (Type/Class)Cardano.Ledger.Shelley.Rules
BbodyEventTest.Cardano.Ledger.Shelley.Rules.Chain
BBodyFailureByron.Spec.Chain.STS.Rule.Chain
BbodyFailureTest.Cardano.Ledger.Shelley.Rules.Chain
bbodyPpCardano.Ledger.Shelley.Rules
BbodyPredicateFailureByron.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
BbodyStateCardano.Ledger.Shelley.Rules
bDCertsByron.Spec.Chain.STS.Block
BeforeTest.Cardano.Ledger.Constrained.Ast
before 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Generic.Scriptic
beforeAfterTraceTest.Cardano.Ledger.Constrained.Trace.TraceMonad
beforeAllTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
beforeAllCddlFileTest.Cardano.Ledger.Binary.Cddl
beforeAllWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
beforeAll_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
beforeWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
before_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
beginSlotDeltaTest.Cardano.Ledger.Constrained.Vars
BELOWCardano.Ledger.NonIntegral
bEndorsmentByron.Spec.Chain.STS.Block
bhashCardano.Protocol.TPraos.BHeader
BHBody 
1 (Data Constructor)Cardano.Protocol.TPraos.BHeader
2 (Type/Class)Cardano.Protocol.TPraos.BHeader
bhbodyCardano.Protocol.TPraos.BHeader
bhDlgHashByron.Spec.Chain.STS.Block
BHeader 
1 (Data Constructor)Cardano.Protocol.TPraos.BHeader
2 (Type/Class)Cardano.Protocol.TPraos.BHeader
bHeaderByron.Spec.Chain.STS.Block
bheader 
1 (Function)Cardano.Ledger.Block
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bheaderBlockNoCardano.Protocol.TPraos.BHeader
bheaderEtaCardano.Protocol.TPraos.BHeader
bheaderLCardano.Protocol.TPraos.BHeader
bheaderOCertCardano.Protocol.TPraos.BHeader
bheaderPrevCardano.Protocol.TPraos.BHeader
bHeaderSize 
1 (Function)Byron.Spec.Chain.STS.Block
2 (Function)Cardano.Protocol.TPraos.BHeader
bheaderSlotNoCardano.Protocol.TPraos.BHeader
BHeaderView 
1 (Data Constructor)Cardano.Ledger.BHeaderView
2 (Type/Class)Cardano.Ledger.BHeaderView
bheaderVkCardano.Protocol.TPraos.BHeader
bheaderVrfVkCardano.Protocol.TPraos.BHeader
bhHash 
1 (Function)Byron.Spec.Chain.STS.Block
2 (Function)Cardano.Protocol.TPraos.BHeader
bhIssuerByron.Spec.Chain.STS.Block
bhPrevHashByron.Spec.Chain.STS.Block
bhSigByron.Spec.Chain.STS.Block
bhSlotByron.Spec.Chain.STS.Block
bhToSignByron.Spec.Chain.STS.Block
bhUpdHashByron.Spec.Chain.STS.Block
bhUtxoHashByron.Spec.Chain.STS.Block
bhviewBHashCardano.Ledger.BHeaderView
bhviewBSizeCardano.Ledger.BHeaderView
bhviewHSizeCardano.Ledger.BHeaderView
bhviewIDCardano.Ledger.BHeaderView
bhviewSlotCardano.Ledger.BHeaderView
bifoldableLawsTest.Common
bifunctorLawsTest.Common
bigCoinTest.Cardano.Ledger.Constrained.Vars
bigMemTest.Cardano.Ledger.Alonzo.AlonzoEraGen
bigStepTest.Cardano.Ledger.Alonzo.AlonzoEraGen
big_int 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
big_nint 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
big_uint 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
BinaryData 
1 (Type/Class)Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Type/Class)Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus
binaryDataToData 
1 (Function)Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus
binaryGetDecoderCardano.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
bindArgTest.Cardano.Ledger.Constrained.Ast
bindEControl.Iterate.Exp
BinderConstrained.Base, Constrained.Spec, Constrained.Internals
bindPatTest.Cardano.Ledger.Constrained.Ast
BinNodeConstrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained
binOpEpochNoCardano.Ledger.BaseTypes
BinTipConstrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained
BinTreeConstrained.Spec.Tree, Constrained.Spec, Constrained.Internals, Constrained
bIsEBBByron.Spec.Chain.STS.Block
bitraversableLawsTest.Common
bitsLawsTest.Common
bkpSigningKeyTest.Cardano.Ledger.Core.KeyPair
bkpVerificationKeyTest.Cardano.Ledger.Core.KeyPair
BkSgnCntT 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
bkSgnCntTByron.Spec.Ledger.Update
bkSlotsPerEpochByron.Spec.Ledger.Update
BlackBoxControl.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 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
Block' 
1 (Data Constructor)Cardano.Ledger.Block
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
blockAnnotationCardano.Chain.Block
blockAProtocolMagicIdCardano.Chain.Block
BlockBody 
1 (Data Constructor)Byron.Spec.Chain.STS.Block
2 (Type/Class)Byron.Spec.Chain.STS.Block
blockBodyCardano.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
blockCountGenByron.Spec.Ledger.Core.Generators
blockDecoderTest.Cardano.Ledger.Shelley.LaxBlock
blockDifficultyCardano.Chain.Block
blockDlgPayloadCardano.Chain.Block
blockFromProofListTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
blockGenesisKeyCardano.Chain.Block
BlockHashCardano.Protocol.TPraos.BHeader
blockHashCardano.Chain.Block
blockHashAnnotatedCardano.Chain.Block
BlockHeader 
1 (Data Constructor)Byron.Spec.Chain.STS.Block
2 (Type/Class)Byron.Spec.Chain.STS.Block
blockHeaderCardano.Chain.Block
BlockIssuer 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
blockIssuerCardano.Chain.Block
blockIssuersAreDelegatesTest.Byron.Spec.Chain.STS.Properties
BlockIssuerVRF 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Core
8 (Data Constructor)Cardano.Protocol.Crypto
blockLengthCardano.Chain.Block
BlockNo 
1 (Type/Class)Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot
2 (Data Constructor)Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot
blockPrevHashCardano.Chain.Block
blockProofCardano.Chain.Block
blockProtocolMagicIdCardano.Chain.Block
blockProtocolVersionCardano.Chain.Block
blocksCardano.Ledger.Shelley.RewardProvenance
blocksCountCardano.Ledger.Shelley.RewardProvenance
BlockSignatureCardano.Chain.Block
blockSignatureCardano.Chain.Block
blocksizeMaxTest.Cardano.Ledger.Generic.GenState
BlockSizeTooLargeByron.Spec.Ledger.Update
BlockSizeTooLargeCHAINCardano.Ledger.Chain
blockSlotCardano.Chain.Block
BlocksMade 
1 (Data Constructor)Cardano.Ledger.BaseTypes
2 (Type/Class)Cardano.Ledger.BaseTypes
blocksMadeZeroTest.Cardano.Ledger.Generic.ModelState
blockSoftwareVersionCardano.Chain.Block
BlocksOutOfOrderTest.Cardano.Ledger.Generic.MockChain
blockSscPayloadCardano.Chain.Block
BlockStats 
1 (Data Constructor)Byron.Spec.Chain.STS.Block
2 (Type/Class)Byron.Spec.Chain.STS.Block
blockStatsByron.Spec.Chain.STS.Block
blockStatsDCertsByron.Spec.Chain.STS.Block
blockStatsUpdPropByron.Spec.Chain.STS.Block
blockStatsUpdVotesByron.Spec.Chain.STS.Block
blockStatsUtxoByron.Spec.Chain.STS.Block
blockToSignCardano.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
blockTxPayloadCardano.Chain.Block
blockUpdatePayloadCardano.Chain.Block
BlockValidationCardano.Chain.Block
BlockValidationModeCardano.Chain.Block
blockValidationModeCardano.Chain.ValidationMode
block_noTest.Cardano.Ledger.Conway.CDDL
bnonceCardano.Protocol.TPraos.BHeader
bobAddr 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
bobOnlyTest.Cardano.Ledger.Shelley.MultiSigExamples
bobPay 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
bobPoolKeysTest.Cardano.Ledger.Shelley.Examples.Cast
bobPoolParamsTest.Cardano.Ledger.Shelley.Examples.Cast
bobSHKTest.Cardano.Ledger.Shelley.Examples.Cast
bobStake 
1 (Function)Test.Cardano.Ledger.Mary.Examples.Cast
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Cast
bobVRFKeyHashTest.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
bodyDlgPayloadCardano.Chain.Block
BodyEnvironment 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
BodyHashTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
BodyITest.Cardano.Ledger.Generic.Fields
BodyRefScriptsSizeTooBigCardano.Ledger.Conway.Rules
bodyShelleyTxLCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
bodyspecTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
bodySscPayloadCardano.Chain.Block
BodyState 
1 (Data Constructor)Cardano.Chain.Block
2 (Type/Class)Cardano.Chain.Block
bodySummaryTest.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
bodyTxPayloadCardano.Chain.Block
bodyTxsCardano.Chain.Block
bodyUpdatePayloadCardano.Chain.Block
bodyWitnessesCardano.Chain.Block
booleanExampleConstrained.Examples.CheatSheet
BoolFnConstrained.Univ, Constrained.Internals
BoolRTest.Cardano.Ledger.Constrained.TypeRep
boomCardano.Ledger.Tools
bootAddrAlonzoTxWitsLCardano.Ledger.Alonzo.TxWits
bootAddrShelleyTxWitsLCardano.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
bootstrapAddressAttrsSizeCardano.Ledger.Address
bootstrapDStateSpecTest.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
bootstrapFailuresTest.Cardano.Ledger.Conway.ImpTest
bootstrapKeyHashCardano.Ledger.Address
bootstrapPhaseCardano.Ledger.Shelley.HardForks
bootstrapWitKeyHashCardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
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.API.Types, Cardano.Ledger.Shelley.API
5 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
BootstrapWitnessRTest.Cardano.Ledger.Constrained.TypeRep
bootstrap_witness 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
bootWitnessTest.Cardano.Ledger.Constrained.Preds.Universes
BootWitsTest.Cardano.Ledger.Generic.Fields
bootWits 
1 (Function)Cardano.Ledger.Shelley.TxWits
2 (Function)Test.Cardano.Ledger.Constrained.Vars
BootWits'Test.Cardano.Ledger.Generic.Fields
bootWitsTTest.Cardano.Ledger.Constrained.Preds.Tx
BothControl.Iterate.Exp
both 
1 (Function)Tests.Cardano.Ledger.NonIntegral
2 (Function)Control.Iterate.Exp
boundaryAnnotationCardano.Chain.Block
boundaryBlockLengthCardano.Chain.Block
boundaryBlockSlotCardano.Chain.Block
boundaryBodyCardano.Chain.Block
boundaryBodyAnnotationCardano.Chain.Block
boundaryDifficultyCardano.Chain.Block
boundaryEpochCardano.Chain.Block
boundaryHashAnnotatedCardano.Chain.Block
boundaryHeaderCardano.Chain.Block
boundaryHeaderAnnotationCardano.Chain.Block
boundaryHeaderHashAnnotatedCardano.Chain.Block
boundaryPrevHashCardano.Chain.Block
boundedEnumLawsTest.Common
BoundedNaturalCardano.Protocol.TPraos.BHeader
BoundedRationalCardano.Ledger.BaseTypes
bounded_bytes 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
boundRationalCardano.Ledger.BaseTypes
Box 
1 (Data Constructor)Test.Cardano.Ledger.Generic.TxGen
2 (Type/Class)Test.Cardano.Ledger.Generic.TxGen
bppA0Cardano.Ledger.Babbage.PParams
bppCoinsPerUTxOByteCardano.Ledger.Babbage.PParams
bppCollateralPercentageCardano.Ledger.Babbage.PParams
bppCostModelsCardano.Ledger.Babbage.PParams
bppEMaxCardano.Ledger.Babbage.PParams
bppKeyDepositCardano.Ledger.Babbage.PParams
bppMaxBBSizeCardano.Ledger.Babbage.PParams
bppMaxBHSizeCardano.Ledger.Babbage.PParams
bppMaxBlockExUnitsCardano.Ledger.Babbage.PParams
bppMaxCollateralInputsCardano.Ledger.Babbage.PParams
bppMaxTxExUnitsCardano.Ledger.Babbage.PParams
bppMaxTxSizeCardano.Ledger.Babbage.PParams
bppMaxValSizeCardano.Ledger.Babbage.PParams
bppMinFeeACardano.Ledger.Babbage.PParams
bppMinFeeBCardano.Ledger.Babbage.PParams
bppMinPoolCostCardano.Ledger.Babbage.PParams
bppNOptCardano.Ledger.Babbage.PParams
bppPoolDepositCardano.Ledger.Babbage.PParams
bppPricesCardano.Ledger.Babbage.PParams
bppProtocolVersionCardano.Ledger.Babbage.PParams
bppRhoCardano.Ledger.Babbage.PParams
bppTauCardano.Ledger.Babbage.PParams
bProtVerByron.Spec.Chain.STS.Block
bprotverCardano.Protocol.TPraos.BHeader
branchConstrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained
branchWConstrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained
bruteForceDRepDistrTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
bSizeByron.Spec.Chain.STS.Block
bsizeCardano.Protocol.TPraos.BHeader
bSlotByron.Spec.Chain.STS.Block
btbAuxDataHashCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCertsCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCollateralCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCollateralReturnCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbInputsCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbMintCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbOutputsCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbrAuxDataHashCardano.Ledger.Babbage.TxBody.Internal
btbrCertsCardano.Ledger.Babbage.TxBody.Internal
btbrCollateralInputsCardano.Ledger.Babbage.TxBody.Internal
btbrCollateralReturnCardano.Ledger.Babbage.TxBody.Internal
btbReferenceInputsCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbReqSignerHashesCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbrMintCardano.Ledger.Babbage.TxBody.Internal
btbrOutputsCardano.Ledger.Babbage.TxBody.Internal
btbrReferenceInputsCardano.Ledger.Babbage.TxBody.Internal
btbrReqSignerHashesCardano.Ledger.Babbage.TxBody.Internal
btbrScriptIntegrityHashCardano.Ledger.Babbage.TxBody.Internal
btbrSpendInputsCardano.Ledger.Babbage.TxBody.Internal
btbrTotalCollateralCardano.Ledger.Babbage.TxBody.Internal
btbrTxFeeCardano.Ledger.Babbage.TxBody.Internal
btbrTxNetworkIdCardano.Ledger.Babbage.TxBody.Internal
btbrUpdateCardano.Ledger.Babbage.TxBody.Internal
btbrValidityIntervalCardano.Ledger.Babbage.TxBody.Internal
btbrWithdrawalsCardano.Ledger.Babbage.TxBody.Internal
btbScriptIntegrityHashCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTotalCollateralCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTxFeeCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTxNetworkIdCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
BTBUEUpdatesDCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
BTBUEUpdatesExtraEntropyCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody
btbUpdateCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbValidityIntervalCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbWithdrawalsCardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btcAlonzoTransitionConfigCardano.Ledger.Babbage.Transition
bulkStoreTest.Cardano.Ledger.Constrained.Env
bUpdPayloadByron.Spec.Chain.STS.Block
bUpdPropByron.Spec.Chain.STS.Block
bUpdVotesByron.Spec.Chain.STS.Block
BUPIByron.Spec.Chain.STS.Rule.Bupi
BUPIFailureByron.Spec.Chain.STS.Rule.BBody
BupiPredicateFailureByron.Spec.Chain.STS.Rule.Bupi
bUtxoByron.Spec.Chain.STS.Block
bvMaxValueCardano.Protocol.TPraos.BHeader
bvValueCardano.Protocol.TPraos.BHeader
bwAttributes 
1 (Function)Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwChainCode 
1 (Function)Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwKey 
1 (Function)Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
bwSig 
1 (Function)Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
byronAddrTest.Cardano.Ledger.Babbage.TxInfo
byronAddrUnivTest.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
byronInputTest.Cardano.Ledger.Babbage.TxInfo
ByronKeyPair 
1 (Data Constructor)Test.Cardano.Ledger.Core.KeyPair
2 (Type/Class)Test.Cardano.Ledger.Core.KeyPair
byronOutputTest.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
ByronTxOutInContextCardano.Ledger.Babbage.TxInfo
ByteOffsetCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
byteSizeTest.Cardano.Ledger.Constrained.Preds.Tx
byteSizeTTest.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
byteStringToNumCardano.Ledger.Tools