| wbHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wbMap | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wdrlCredentials | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| weight | Constrained.AbstractSyntax |
| Weighted | |
| 1 (Type/Class) | Constrained.AbstractSyntax |
| 2 (Data Constructor) | Constrained.AbstractSyntax |
| weirdSetPairSpec | Constrained.Examples.Set, Constrained.Examples |
| WellFormed | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| wellFormedChildren | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| wff | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| wffWithPP | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| wfGovAction | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| wfPParamsUpdateSpec | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| When | Constrained.AbstractSyntax, Constrained.API |
| when | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Control.Iterate.Collect |
| when2Phase | Cardano.Ledger.Alonzo.Rules |
| whenBlockValidation | Cardano.Chain.ValidationMode |
| whenBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
| whenDecoderVersionAtLeast | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| whenFail | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| whenFail' | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| whenFailureFree | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| whenFailureFreeDefault | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| whenPostBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
| whenTrue | Constrained.TheKnot, Constrained.API |
| whenTrueExists | Constrained.Examples.Basic, Constrained.Examples |
| whenTxValidation | Cardano.Chain.ValidationMode |
| whichCertState | Test.Cardano.Ledger.Generic.Proof |
| whichGovState | Test.Cardano.Ledger.Generic.Proof |
| whichPParams | Test.Cardano.Ledger.Generic.Proof |
| whichScript | Test.Cardano.Ledger.Generic.Proof |
| whichTxCert | Test.Cardano.Ledger.Generic.Proof |
| whichTxOut | Test.Cardano.Ledger.Generic.Proof |
| whichUTxO | Test.Cardano.Ledger.Generic.Proof |
| whichValue | Test.Cardano.Ledger.Generic.Proof |
| Width | Test.Cardano.Ledger.Generic.PrettyCore |
| wireSizeAlonzoTxF | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| wireSizeShelleyTxF | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| wireSizeTxF | 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 |
| Wit | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| WitBlock | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witBootstrapAddress | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witConwayTxCert | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witCredSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witDRepSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witGenDelegPairSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| With | Test.Cardano.Ledger.Constrained.Monad |
| WitHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| withCborRoundTripFailures | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| withCddlVarFile | Test.Cardano.Ledger.Binary.Cddl |
| withCtx | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance |
| withCurrentEncodingVersion | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| withCustomFixup | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| withDiscardRatio | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| withdrawalCanWithdraw | Cardano.Ledger.Conway.Rules |
| withdrawalMax | Test.Cardano.Ledger.Generic.GenState |
| Withdrawals | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Address, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Address, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| withdrawals | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| Withdrawals' | Test.Cardano.Ledger.Generic.Fields |
| withdrawals' | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody |
| WithdrawalsNotInRewardsCERTS | Cardano.Ledger.Conway.Rules |
| WithdrawalsNotInRewardsDELEGS | Cardano.Ledger.Shelley.Rules |
| withdrawalsTxBodyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, 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 |
| WithEpochSlots | |
| 1 (Type/Class) | Cardano.Chain.Slotting |
| 2 (Data Constructor) | Cardano.Chain.Slotting |
| withEq | Test.Cardano.Ledger.Constrained.Tests |
| withEraPParams | Test.Cardano.Ledger.Generic.PrettyCore |
| withFixup | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| withGovActionParent | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| withHexText | Cardano.Ledger.Binary.Plain |
| withImpInit | Test.Cardano.Ledger.Imp.Common |
| within | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| WithinBounds | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| withMaxShrinks | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| withMaxSize | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| withMaxSuccess | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| withMaxTimesSuccess | Test.Common |
| withMode | Constrained.GenT |
| withNoFixup | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| WithOrigin | Cardano.Ledger.BaseTypes |
| without | Constrained.Syntax |
| withPlainDecoder | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| withPlutusScript | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| withPlutusScriptLanguage | Cardano.Ledger.Alonzo.Scripts |
| withPostFixup | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| WithPrec | |
| 1 (Type/Class) | Constrained.PrettyUtils |
| 2 (Data Constructor) | Constrained.PrettyUtils |
| withPreFixup | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| withPrevActId | Test.Cardano.Ledger.Constrained.Conway.Gov, Test.Cardano.Ledger.Constrained.Conway |
| withResource | Test.Common |
| WithResult | |
| 1 (Type/Class) | Test.Cardano.Protocol.Crypto.VRF.Fake |
| 2 (Data Constructor) | Test.Cardano.Protocol.Crypto.VRF.Fake |
| withSamePlutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| withSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| withSlice | Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator |
| withTestsTS | Test.Options |
| withWordSize | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| witKeyHashSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| Witness | |
| 1 (Data Constructor) | 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.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 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| witness | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessBootAddr | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessDataHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessDepositPurpose | Test.Cardano.Ledger.Constrained.Conway.Utxo, Test.Cardano.Ledger.Constrained.Conway |
| Witnessed | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessed | Byron.Spec.Ledger.STS.UTXOW |
| witnesses | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| WitnessesField | Test.Cardano.Ledger.Generic.Fields |
| WitnessesFieldR | Test.Cardano.Ledger.Constrained.TypeRep |
| WitnessesI | Test.Cardano.Ledger.Generic.Fields |
| witnessFieldSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| witnessKeyHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessScriptHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| WitnessType | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witPoolParamsSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witRewardAccountSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| WitRule | Test.Cardano.Ledger.Generic.Proof |
| wits | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Conway.Tx |
| 2 (Function) | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Wits' | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| witsAlonzoTxL | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| witScriptHashSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witsFromTxWitnesses | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| witShelleyTxCert | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witsShelleyTxL | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| witsTarget | Test.Cardano.Ledger.Constrained.Vars |
| witsTxL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, 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 |
| witTxCert | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| WitUniv | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| WitVKey | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| witVKeyHash | Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| WitVKeyR | Test.Cardano.Ledger.Constrained.TypeRep |
| word16NaturalL | Test.Cardano.Ledger.Constrained.Vars |
| word32NaturalL | Test.Cardano.Ledger.Constrained.Vars |
| Word64 | Test.Cardano.Ledger.Constrained.Ast |
| word64CoinL | Test.Cardano.Ledger.Constrained.Spec |
| Word64R | Test.Cardano.Ledger.Constrained.TypeRep |
| word64ToCoin | Cardano.Ledger.Coin, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Word7 | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| word8ToNetwork | Cardano.Ledger.BaseTypes |
| WppHash | Test.Cardano.Ledger.Generic.Fields |
| wppHash | Test.Cardano.Ledger.Constrained.Vars |
| WppHash' | Test.Cardano.Ledger.Generic.Fields |
| wrapBoundaryBytes | Cardano.Chain.Block |
| wrapErrorWithValidationMode | Cardano.Chain.ValidationMode |
| wrapEvent | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| WrapExUnits | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| wrapFailed | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| wrapHeaderBytes | Cardano.Chain.Block |
| Wrapped | Cardano.Ledger.Binary.Coders |
| WrappedShelleyEraEvent | Cardano.Ledger.Alonzo.Rules |
| wrapTreeT | Test.Hedgehog.Extra.Manual |
| writeCBOR | Test.Cardano.Ledger.Api.DebugTools |
| writeEpochState | Cardano.Ledger.State.UTxO |
| writeEraCBOR | Test.Cardano.Ledger.Api.DebugTools |
| writeSpec | Test.Cardano.Ledger.Binary.Cuddle |
| WrongBlockBodySizeBBODY | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| WrongBlockNoPrtclSeq | Cardano.Protocol.TPraos.Rules.Prtcl |
| WrongBlockSequencePrtclSeq | Cardano.Protocol.TPraos.Rules.Prtcl |
| WrongCertificateTypeDELEG | Cardano.Ledger.Shelley.Rules |
| WrongEpoch | Cardano.Chain.Delegation.Validation.Scheduling |
| WrongGenesisColdKeyOVERLAY | Cardano.Protocol.TPraos.Rules.Overlay |
| WrongGenesisVRFKeyOVERLAY | Cardano.Protocol.TPraos.Rules.Overlay |
| WrongNetwork | |
| 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 |
| WrongNetworkInTxBody | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| WrongNetworkPOOL | Cardano.Ledger.Shelley.Rules |
| WrongNetworkWithdrawal | |
| 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 |
| WrongSlotIntervalPrtclSeq | Cardano.Protocol.TPraos.Rules.Prtcl |
| wtfSpec | Constrained.Examples.Basic, Constrained.Examples |
| wvBoot | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wvDats | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wvkSig | Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| wvScript | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wvSize | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| wvVKey | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |