Index - H
| hardForkChildren | Test.Cardano.Ledger.Constrained.Vars |
| HardForkEvent | Cardano.Ledger.Conway.Rules |
| HardForkInitiation | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| hardForkInitiationT | Test.Cardano.Ledger.Constrained.Vars |
| HardForkPurpose | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| hasAdds | Test.Cardano.Ledger.Constrained.Solver |
| HasAlgorithm | Cardano.Ledger.SafeHash |
| 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.Instances, Test.Cardano.Ledger.Constrained.Conway |
| HasGenEnv | Test.Cardano.Ledger.Imp.Common |
| HasGenHint | Constrained.Base, Constrained.Spec, Constrained.Internals |
| HASH | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| 2 (Type/Class) | Cardano.Ledger.Crypto |
| Hash | |
| 1 (Data Constructor) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Crypto.Hashing, Cardano.Crypto |
| 4 (Type/Class) | Cardano.Ledger.Keys |
| 5 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| hash | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Crypto.Hashing, Cardano.Crypto |
| hash28 | Test.Cardano.Ledger.Core.Binary.CDDL |
| hash32 | Test.Cardano.Ledger.Core.Binary.CDDL |
| HashAlgorithm | Cardano.Crypto.Hashing, Cardano.Crypto |
| hashAlonzoTxAuxData | Cardano.Ledger.Alonzo.TxAuxData, Cardano.Ledger.Alonzo.Data |
| hashAlonzoTxSeq | Cardano.Ledger.Alonzo.TxSeq.Internal, Cardano.Ledger.Alonzo.TxSeq |
| hashAnchorData | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.BaseTypes |
| HashAnnotated | Cardano.Ledger.SafeHash |
| hashAnnotated | Cardano.Ledger.SafeHash |
| HasHash | Byron.Spec.Ledger.Core |
| hashAuxiliaryData | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| hashBinaryData | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts.Data, Cardano.Ledger.Alonzo.Data |
| 2 (Function) | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| hashBody | Test.Cardano.Ledger.Constrained.Preds.Tx |
| HashD | Test.Cardano.Ledger.Constrained.Ast |
| hashData | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts.Data, Cardano.Ledger.Alonzo.Data, Cardano.Ledger.Alonzo.Tx |
| 2 (Function) | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Tx |
| 4 (Function) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 5 (Function) | Test.Cardano.Ledger.Shelley.Generator.Core |
| hashDataTxWitsL | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxWits |
| 2 (Function) | 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 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| 2 (Type/Class) | 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.Chain.Common |
| 2 (Function) | Cardano.Ledger.Keys |
| 3 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| hashMultiSigScript | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| hashPlutusScript | |
| 1 (Function) | Cardano.Ledger.Alonzo.Language |
| 2 (Function) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Language, Cardano.Ledger.Plutus |
| hashRaw | Cardano.Crypto.Hashing, Cardano.Crypto |
| HashS | Test.Cardano.Ledger.Constrained.Ast |
| hashSafeList | Cardano.Ledger.SafeHash |
| hashScript | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Scripts, 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 |
| 9 (Function) | Test.Cardano.Ledger.EraClass |
| hashScriptIntegrity | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx |
| 2 (Function) | Cardano.Ledger.Babbage.Tx |
| hashScriptTxWitsL | |
| 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 |
| hashSetDisjoint | Test.Cardano.Ledger.Constrained.Ast |
| hashSetToSet | Test.Cardano.Ledger.Constrained.Ast |
| hashShelleyTxAuxData | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.Metadata |
| hashSignature | Cardano.Ledger.Keys |
| hashToBytes | Cardano.Crypto.Hashing, Cardano.Crypto |
| hashToData | Test.Control.State.Transition.Examples.CommitReveal |
| hashToInteger | Test.Cardano.Ledger.Conformance |
| hashTx | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| hashTxAuxData | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Api.Tx.AuxData, 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 |
| hashTxAuxDataF | Test.Cardano.Ledger.Constrained.Classes |
| hashTxSeq | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Alonzo.TxSeq.Internal, Cardano.Ledger.Alonzo.TxSeq |
| 4 (Function) | Cardano.Ledger.Babbage.Core |
| 5 (Function) | Cardano.Ledger.Conway.Core |
| 6 (Function) | Cardano.Ledger.Core, Cardano.Ledger.Era |
| 7 (Function) | Cardano.Ledger.Mary.Core |
| 8 (Function) | Cardano.Ledger.Shelley.Core |
| hashVerKeyVRF | |
| 1 (Function) | Cardano.Ledger.Keys |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| HashWithCrypto | Cardano.Ledger.SafeHash |
| hashWithCrypto | Cardano.Ledger.SafeHash |
| 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, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| 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.Base, Constrained.Spec, Constrained.Internals, Constrained |
| hasSize | Constrained.Base, Constrained.Spec, Constrained.Internals |
| HasSizeInfo | Test.Control.State.Transition.Generator |
| hasSizeList | Constrained.Test |
| hasSizeMap | Constrained.Test |
| hasSizeSet | Constrained.Test |
| HasSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| HasSpecImpliesEq | Constrained.Base, Constrained.Spec, Constrained.Internals |
| HasStatefulGen | Test.Cardano.Ledger.Imp.Common |
| HasSubState | Test.Cardano.Ledger.Imp.Common |
| HasTokens | Test.Cardano.Ledger.Generic.Scriptic |
| HasTrace | |
| 1 (Type/Class) | Test.Control.State.Transition.Generator |
| 2 (Type/Class) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| HasTypeReps | Data.AbstractSize |
| hasValid | Test.Cardano.Ledger.Generic.ApplyTx |
| HasVariables | Constrained.Base, Constrained.Spec, Constrained.Internals |
| hBbsize | Cardano.Protocol.TPraos.BHeader |
| HDAddressPayload | |
| 1 (Data Constructor) | Cardano.Chain.Common |
| 2 (Type/Class) | Cardano.Chain.Common |
| Header | Cardano.Chain.Block |
| header | Test.Cardano.Ledger.Shelley.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 | Test.Cardano.Ledger.Shelley.CDDL |
| headGE | Constrained.GenT, Constrained.Internals, Constrained |
| HeapSize | |
| 1 (Data Constructor) | Cardano.Chain.Block |
| 2 (Type/Class) | Cardano.Chain.Block |
| help19 | Test.Cardano.Ledger.Constrained.Examples |
| HexBytes | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Type/Class) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 3 (Data Constructor) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 4 (Type/Class) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 5 (Data Constructor) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 6 (Type/Class) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 7 (Data Constructor) | Test.Cardano.Ledger.Binary.TreeDiff |
| 8 (Type/Class) | Test.Cardano.Ledger.Binary.TreeDiff |
| 9 (Data Constructor) | Test.Cardano.Ledger.Conway.TreeDiff |
| 10 (Type/Class) | Test.Cardano.Ledger.Conway.TreeDiff |
| 11 (Data Constructor) | Test.Cardano.Ledger.TreeDiff |
| 12 (Type/Class) | Test.Cardano.Ledger.TreeDiff |
| 13 (Data Constructor) | Test.Cardano.Ledger.Mary.TreeDiff |
| 14 (Type/Class) | Test.Cardano.Ledger.Mary.TreeDiff |
| 15 (Data Constructor) | Test.Cardano.Ledger.Shelley.TreeDiff |
| 16 (Type/Class) | Test.Cardano.Ledger.Shelley.TreeDiff |
| hexByteStringExpr | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.TreeDiff |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.TreeDiff |
| 3 (Function) | Test.Cardano.Ledger.Babbage.TreeDiff |
| 4 (Function) | Test.Cardano.Ledger.Binary.TreeDiff |
| 5 (Function) | Test.Cardano.Ledger.Conway.TreeDiff |
| 6 (Function) | Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| hi | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| highBound | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Hint | Constrained.Base, Constrained.Spec, Constrained.Spec, Constrained.Internals, Constrained.Internals |
| Hints | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Histogram | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PoolRank |
| hitRateEstimate | Cardano.Ledger.Shelley.RewardProvenance |
| HKD | |
| 1 (Type/Class) | Cardano.Ledger.HKD |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PParams |
| hkdA0L | Cardano.Ledger.Core |
| HKDApplicative | Cardano.Ledger.HKD |
| hkdCoinsPerUTxOByteL | |
| 1 (Function) | Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Babbage.Core |
| 2 (Function) | Cardano.Ledger.Conway.Core |
| 3 (Function) | 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 |
| hoistAp | Cardano.Ledger.Ap |
| hoistGovRelation | |
| 1 (Function) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Function) | Cardano.Ledger.Conway.Governance |
| hoistPlutusPurpose | |
| 1 (Function) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Babbage.Core |
| 3 (Function) | Cardano.Ledger.Conway.Core |
| HOLE | |
| 1 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| 2 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| hotCommitteeCredsUniv | Test.Cardano.Ledger.Constrained.Vars |
| HotCommitteeRole | |
| 1 (Data Constructor) | Cardano.Ledger.Keys |
| 2 (Data Constructor) | 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 |
| huddleRoundTripAnnCborSpec | Test.Cardano.Ledger.Binary.Cuddle |
| huddleRoundTripCborSpec | Test.Cardano.Ledger.Binary.Cuddle |