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
BACardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
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
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, 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
babbageFixupTx 
1 (Function)Test.Cardano.Ledger.Babbage.ImpTest
2 (Function)Test.Cardano.Ledger.Conway.ImpTest
BabbageLEDGERCardano.Ledger.Babbage.Rules
babbageMinUTxOValueCardano.Ledger.Babbage.TxOut, 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
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, Cardano.Ledger.Babbage.Tx
2 (Type/Class)Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage
BabbageTxBodyRaw 
1 (Data Constructor)Cardano.Ledger.Babbage.TxBody
2 (Type/Class)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
BabbageTxOut 
1 (Data Constructor)Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody
2 (Type/Class)Cardano.Ledger.Babbage.TxOut, 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.TheKnot
backwardsSubstitutionConstrained.Syntax
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.Ledger.Allegra.State
3 (Function)Cardano.Ledger.Alonzo.State
4 (Function)Cardano.Ledger.Babbage.State
5 (Function)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
6 (Function)Cardano.Ledger.Conway.State
7 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
8 (Function)Cardano.Ledger.Mary.State
9 (Function)Cardano.Ledger.Shelley.State, 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
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
BaseType 
1 (Type/Class)Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Type/Class)Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator
3 (Type/Class)Test.Cardano.Ledger.Babbage.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator
4 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.Binary
5 (Type/Class)Test.Cardano.Ledger.Binary.Annotator
6 (Type/Class)Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator
7 (Type/Class)Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator
8 (Type/Class)Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator
9 (Type/Class)Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator
10 (Type/Class)Test.Cardano.Protocol.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator
BaseWConstrained.Base
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
betweenConstrained.TheKnot, Constrained.API
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
BHeaderConstrCardano.Protocol.TPraos.BHeader
bheaderEtaCardano.Protocol.TPraos.BHeader
bheaderLCardano.Protocol.TPraos.BHeader
bheaderOCertCardano.Protocol.TPraos.BHeader
bheaderPrevCardano.Protocol.TPraos.BHeader
BHeaderRaw 
1 (Data Constructor)Cardano.Protocol.TPraos.BHeader
2 (Type/Class)Cardano.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
bhrBodyCardano.Protocol.TPraos.BHeader
bhrSignatureCardano.Protocol.TPraos.BHeader
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
2 (Type/Class)Constrained.Base
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
bindArgTest.Cardano.Ledger.Constrained.Ast
bindEControl.Iterate.Exp
BinderConstrained.Base
bindNonZeroCardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes
bindPatTest.Cardano.Ledger.Constrained.Ast
BinNodeConstrained.Spec.Tree
binOpEpochNoCardano.Ledger.BaseTypes
BinTipConstrained.Spec.Tree
BinTreeConstrained.Spec.Tree
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
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
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
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
BoolRTest.Cardano.Ledger.Constrained.TypeRep
boolSemConstrained.TheKnot
BoolWConstrained.TheKnot
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.SumProd, Constrained.API
branchWConstrained.Spec.SumProd, Constrained.API
bruteForceDRepDistrTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
bSizeByron.Spec.Chain.STS.Block
bsizeCardano.Protocol.TPraos.BHeader
bSlotByron.Spec.Chain.STS.Block
btbAuxDataHashCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCertsCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCollateralCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbCollateralReturnCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbInputsCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbMintCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbOutputsCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbrAuxDataHashCardano.Ledger.Babbage.TxBody
btbrCertsCardano.Ledger.Babbage.TxBody
btbrCollateralInputsCardano.Ledger.Babbage.TxBody
btbrCollateralReturnCardano.Ledger.Babbage.TxBody
btbReferenceInputsCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbReqSignerHashesCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbrFeeCardano.Ledger.Babbage.TxBody
btbrInputsCardano.Ledger.Babbage.TxBody
btbrMintCardano.Ledger.Babbage.TxBody
btbrNetworkIdCardano.Ledger.Babbage.TxBody
btbrOutputsCardano.Ledger.Babbage.TxBody
btbrReferenceInputsCardano.Ledger.Babbage.TxBody
btbrReqSignerHashesCardano.Ledger.Babbage.TxBody
btbrScriptIntegrityHashCardano.Ledger.Babbage.TxBody
btbrTotalCollateralCardano.Ledger.Babbage.TxBody
btbrUpdateCardano.Ledger.Babbage.TxBody
btbrValidityIntervalCardano.Ledger.Babbage.TxBody
btbrWithdrawalsCardano.Ledger.Babbage.TxBody
btbScriptIntegrityHashCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTotalCollateralCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTxFeeCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbTxNetworkIdCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
BTBUEUpdatesDCardano.Ledger.Babbage.TxBody
BTBUEUpdatesExtraEntropyCardano.Ledger.Babbage.TxBody
btbUpdateCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbValidityIntervalCardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx
btbWithdrawalsCardano.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
bwSignature 
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
ByteArrayCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
byteCountMemoBytesCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
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)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Type/Class)Test.Cardano.Ledger.Allegra.Binary.Annotator
3 (Data Constructor)Test.Cardano.Ledger.Alonzo.Binary.Annotator
4 (Type/Class)Test.Cardano.Ledger.Alonzo.Binary.Annotator
5 (Data Constructor)Test.Cardano.Ledger.Babbage.Binary.Annotator
6 (Type/Class)Test.Cardano.Ledger.Babbage.Binary.Annotator
7 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
8 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
9 (Type/Class)Test.Cardano.Ledger.Binary.Annotator
10 (Data Constructor)Test.Cardano.Ledger.Binary.Annotator
11 (Data Constructor)Test.Cardano.Ledger.Conway.Binary.Annotator
12 (Type/Class)Test.Cardano.Ledger.Conway.Binary.Annotator
13 (Data Constructor)Test.Cardano.Ledger.Core.Binary.Annotator
14 (Type/Class)Test.Cardano.Ledger.Core.Binary.Annotator
15 (Data Constructor)Test.Cardano.Ledger.Mary.Binary.Annotator
16 (Type/Class)Test.Cardano.Ledger.Mary.Binary.Annotator
17 (Data Constructor)Test.Cardano.Ledger.Shelley.Binary.Annotator
18 (Type/Class)Test.Cardano.Ledger.Shelley.Binary.Annotator
19 (Data Constructor)Test.Cardano.Protocol.Binary.Annotator
20 (Type/Class)Test.Cardano.Protocol.Binary.Annotator
byteStringToNumCardano.Ledger.Tools