| hardForkChildren | Test.Cardano.Ledger.Constrained.Vars |
| HardForkEvent | Cardano.Ledger.Conway.Rules |
| HardForkInitiation | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| hardForkInitiationT | Test.Cardano.Ledger.Constrained.Vars |
| HardForkPurpose | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| hard_fork_initiation_action | Test.Cardano.Ledger.Conway.CDDL |
| hasAdds | Test.Cardano.Ledger.Constrained.Solver |
| HasAlreadyDelegated | Byron.Spec.Ledger.Delegation |
| HasCallStack | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| HasConstraint | Test.Cardano.Ledger.Constrained.Monad |
| hasCount | Test.Cardano.Ledger.Constrained.Solver |
| hasElem | Control.Iterate.Collect |
| hasEq | Test.Cardano.Ledger.Constrained.TypeRep |
| hasExactSetOfRedeemers | Cardano.Ledger.Alonzo.Rules |
| HasExp | Control.Iterate.Exp, Control.SetAlgebra |
| hasFailedScripts | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| hasGenDelegs | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| HasGenHint | Constrained.Base |
| HasGenHintD | Constrained.DependencyInjection |
| HASH | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| Hash | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Crypto.Hashing, Cardano.Crypto |
| 4 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 5 (Type/Class) | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| hash | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Crypto.Hashing, Cardano.Crypto |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| hash28 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| hash32 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| HashAlgorithm | |
| 1 (Type/Class) | Cardano.Crypto.Hashing, Cardano.Crypto |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashAlonzoTxAuxData | Cardano.Ledger.Alonzo.TxAuxData |
| hashAlonzoTxSeq | Cardano.Ledger.Alonzo.TxSeq.Internal, Cardano.Ledger.Alonzo.TxSeq |
| hashAnchorData | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.BaseTypes |
| HashAnnotated | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashAnnotated | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| HasHash | Byron.Spec.Ledger.Core |
| hashBinaryData | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| hashBody | Test.Cardano.Ledger.Constrained.Preds.Tx |
| HashD | Test.Cardano.Ledger.Constrained.Ast |
| hashData | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Generator.Core |
| hashDataTxWitsL | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| hashDecoded | Cardano.Crypto.Hashing, Cardano.Crypto |
| hashEncCBOR | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| hashFromBytes | Cardano.Crypto.Hashing, Cardano.Crypto |
| HashHeader | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| hashHeader | |
| 1 (Function) | Byron.Spec.Chain.STS.Block |
| 2 (Function) | Cardano.Chain.Block |
| hashHeaderToNonce | Cardano.Protocol.TPraos.BHeader |
| hashHexF | Cardano.Crypto.Hashing, Cardano.Crypto |
| hashKey | |
| 1 (Function) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Function) | Cardano.Chain.Common |
| hashPlutusScript | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| hashRaw | Cardano.Crypto.Hashing, Cardano.Crypto |
| HashS | Test.Cardano.Ledger.Constrained.Ast |
| hashScript | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| hashScriptIntegrity | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| hashScriptTxWitsL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashSetDisjoint | Test.Cardano.Ledger.Constrained.Ast |
| hashSetToSet | Test.Cardano.Ledger.Constrained.Ast |
| hashShelleyTxAuxData | Cardano.Ledger.Shelley.TxAuxData |
| hashSignature | Cardano.Ledger.Keys |
| hashToBytes | Cardano.Crypto.Hashing, Cardano.Crypto |
| hashToData | Test.Control.State.Transition.Examples.CommitReveal |
| hashToInteger | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| hashTx | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| hashTxAuxData | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashTxAuxDataF | Test.Cardano.Ledger.Constrained.Classes |
| hashTxBodySignature | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashTxSeq | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| hashVerKeyVRF | |
| 1 (Function) | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Function) | Cardano.Protocol.Crypto |
| hashWithEncoder | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| hashWithSerialiser | Cardano.Ledger.Keys |
| HasKey | Control.Iterate.Exp |
| haskey | Control.Iterate.BaseTypes, Control.SetAlgebra |
| HasKeyRole | Cardano.Ledger.Keys |
| hasLegalProtVerUpdate | Cardano.Ledger.Shelley.PParams |
| hasLub | Control.Iterate.BaseTypes, Control.SetAlgebra |
| hasNxt | Control.Iterate.BaseTypes, Control.SetAlgebra |
| HasOKey | Data.OMap.Strict |
| hasOrd | Test.Cardano.Ledger.Constrained.TypeRep |
| HasOwner | Byron.Spec.Ledger.Core |
| hasPtrs | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| HasQuery | Control.Iterate.Exp |
| hasReferenceInput | Test.Cardano.Ledger.Babbage.TxInfo |
| HasRep | Test.Cardano.Ledger.Constrained.SpecClass |
| hasRep | Test.Cardano.Ledger.Constrained.SpecClass |
| HasScheduledDelegations | Byron.Spec.Ledger.Delegation |
| HasSimpleRep | Constrained.Generic, Constrained.API |
| hasSize | Constrained.TheKnot, Constrained.API |
| HasSizeInfo | Test.Control.State.Transition.Generator |
| hasSizeList | Constrained.Test |
| hasSizeMap | Constrained.Test |
| hasSizeSet | Constrained.Test |
| HasSpec | Constrained.Base, Constrained.API |
| HasSpecD | Constrained.DependencyInjection |
| HasStatefulGen | Test.Cardano.Ledger.Imp.Common |
| HasTokens | Test.Cardano.Ledger.Generic.Scriptic |
| HasTrace | |
| 1 (Type/Class) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Type/Class) | Test.Control.State.Transition.Generator |
| HasTypeReps | Data.AbstractSize |
| hasValid | Test.Cardano.Ledger.Generic.ApplyTx |
| HasVariables | Constrained.Syntax |
| HasWitness | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| HasZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| hBbsize | Cardano.Protocol.TPraos.BHeader |
| HDAddressPayload | |
| 1 (Type/Class) | Cardano.Chain.Common |
| 2 (Data Constructor) | Cardano.Chain.Common |
| Header | Cardano.Chain.Block |
| header | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| headerAnnotation | Cardano.Chain.Block |
| headerDifficulty | Cardano.Chain.Block |
| headerExtraAnnotation | Cardano.Chain.Block |
| headerGenesisKey | Cardano.Chain.Block |
| HeaderHash | Cardano.Chain.Block |
| headerHashAnnotated | Cardano.Chain.Block |
| headerHashF | Cardano.Chain.Block |
| headerIssuer | Cardano.Chain.Block |
| headerIsValid | |
| 1 (Function) | Byron.Spec.Chain.STS.Rule.Chain |
| 2 (Function) | Cardano.Chain.Block |
| headerLength | Cardano.Chain.Block |
| headerPrevHash | Cardano.Chain.Block |
| headerProof | Cardano.Chain.Block |
| headerProtocolMagicId | Cardano.Chain.Block |
| headerProtocolVersion | Cardano.Chain.Block |
| headerSignature | Cardano.Chain.Block |
| HeaderSizeTooBig | Byron.Spec.Chain.STS.Rule.Chain |
| HeaderSizeTooLargeCHAIN | Cardano.Ledger.Chain |
| headerSlot | Cardano.Chain.Block |
| headerSoftwareVersion | Cardano.Chain.Block |
| headerToSign | Cardano.Chain.Block |
| header_body | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| headGE | Constrained.GenT |
| HeapSize | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| help19 | Test.Cardano.Ledger.Constrained.Examples |
| HexBytes | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| hexByteStringExpr | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| hi | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| highBound | Constrained.NumSpec |
| Hint | Constrained.Base |
| HintD | Constrained.DependencyInjection |
| HintF | |
| 1 (Type/Class) | Constrained.Base |
| 2 (Data Constructor) | Constrained.Base |
| Hints | Constrained.TheKnot |
| Histogram | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| hitRateEstimate | Cardano.Ledger.Shelley.RewardProvenance |
| HKD | Cardano.Ledger.HKD, Cardano.Ledger.Shelley.PParams |
| hkdA0L | Cardano.Ledger.Core |
| HKDApplicative | Cardano.Ledger.HKD |
| hkdCoinsPerUTxOByteL | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| hkdCoinsPerUTxOWordL | Cardano.Ledger.Alonzo.PParams |
| hkdCollateralPercentageL | Cardano.Ledger.Alonzo.PParams |
| hkdCommitteeMaxTermLengthL | Cardano.Ledger.Conway.PParams |
| hkdCommitteeMinSizeL | Cardano.Ledger.Conway.PParams |
| hkdCostModelsL | Cardano.Ledger.Alonzo.PParams |
| hkdDL | Cardano.Ledger.Core |
| hkdDRepActivityL | Cardano.Ledger.Conway.PParams |
| hkdDRepDepositL | Cardano.Ledger.Conway.PParams |
| hkdDRepVotingThresholdsL | Cardano.Ledger.Conway.PParams |
| hkdEMaxL | Cardano.Ledger.Core |
| hkdExtraEntropyL | Cardano.Ledger.Core |
| HKDFunctor | Cardano.Ledger.HKD |
| hkdGovActionDepositL | Cardano.Ledger.Conway.PParams |
| hkdGovActionLifetimeL | Cardano.Ledger.Conway.PParams |
| hkdKeyDepositL | Cardano.Ledger.Core |
| hkdLiftA2 | Cardano.Ledger.HKD |
| hkdMap | Cardano.Ledger.HKD |
| hkdMaxBBSizeL | Cardano.Ledger.Core |
| hkdMaxBHSizeL | Cardano.Ledger.Core |
| hkdMaxBlockExUnitsL | Cardano.Ledger.Alonzo.PParams |
| hkdMaxCollateralInputsL | Cardano.Ledger.Alonzo.PParams |
| hkdMaxTxExUnitsL | Cardano.Ledger.Alonzo.PParams |
| hkdMaxTxSizeL | Cardano.Ledger.Core |
| hkdMaxValSizeL | Cardano.Ledger.Alonzo.PParams |
| hkdMinFeeAL | Cardano.Ledger.Core |
| hkdMinFeeBL | Cardano.Ledger.Core |
| hkdMinFeeRefScriptCostPerByteL | Cardano.Ledger.Conway.PParams |
| hkdMinPoolCostL | Cardano.Ledger.Core |
| hkdMinUTxOValueL | Cardano.Ledger.Core |
| hkdNOptL | Cardano.Ledger.Core |
| HKDNoUpdate | Cardano.Ledger.HKD |
| hkdPoolDepositL | Cardano.Ledger.Core |
| hkdPoolVotingThresholdsL | Cardano.Ledger.Conway.PParams |
| hkdPricesL | Cardano.Ledger.Alonzo.PParams |
| hkdProtocolVersionL | Cardano.Ledger.Core |
| hkdPure | Cardano.Ledger.HKD |
| hkdRhoL | Cardano.Ledger.Core |
| hkdTauL | Cardano.Ledger.Core |
| hoistGovRelation | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| hoistPlutusPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| HOLE | |
| 1 (Type/Class) | Constrained.Base |
| 2 (Data Constructor) | Constrained.Base |
| hotCommitteeCredsUniv | Test.Cardano.Ledger.Constrained.Vars |
| HotCommitteeRole | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| HotCredAuthStatus | Cardano.Ledger.Api.State.Query |
| hspec | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| huddleBlockSpec | Test.Cardano.Protocol.Binary.Cddl |
| huddleDecoderEquivalenceSpec | Test.Cardano.Ledger.Binary.Cuddle |
| huddleRoundTripAnnCborSpec | Test.Cardano.Ledger.Binary.Cuddle |
| huddleRoundTripCborSpec | Test.Cardano.Ledger.Binary.Cuddle |