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 |
babbageAllInputsTxBodyF | Cardano.Ledger.Babbage.TxBody.Internal, Cardano.Ledger.Babbage.TxBody |
babbageCDDL | |
1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
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 |
babbageWitUniv | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
babbage_transaction_output | |
1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
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 |
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 |
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 |
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 | |
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 |
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 | |
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 |
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 |
blockFromProofList | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
blockGenesisKey | Cardano.Chain.Block |
BlockHash | Cardano.Protocol.TPraos.BHeader |
blockHash | Cardano.Chain.Block |
blockHashAnnotated | Cardano.Chain.Block |
BlockHeader | |
1 (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.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 |
blockIssuer | Cardano.Chain.Block |
blockIssuersAreDelegates | Test.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 |
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 |
block_no | Test.Cardano.Ledger.Conway.CDDL |
bnonce | Cardano.Protocol.TPraos.BHeader |
bobAddr | |
1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
bobOnly | Test.Cardano.Ledger.Shelley.MultiSigExamples |
bobPay | |
1 (Function) | Test.Cardano.Ledger.Mary.Examples.Cast |
2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Cast |
bobPoolKeys | Test.Cardano.Ledger.Shelley.Examples.Cast |
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 |
BodyHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
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 |
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 |
bootstrapFailures | Test.Cardano.Ledger.Conway.ImpTest |
bootstrapKeyHash | Cardano.Ledger.Address |
bootstrapPhase | Cardano.Ledger.Shelley.HardForks |
bootstrapWitKeyHash | Cardano.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 |
BootstrapWitnessR | Test.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 |
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 | |
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 |
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.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 |
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 |