| 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 |
| whenMajorVersion | 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 |
| whenMajorVersionAtLeast | 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 |
| whenMajorVersionAtMost | 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 |
| whenPostBootstrap | Test.Cardano.Ledger.Conway.ImpTest |
| whenTrue | Constrained.Generation, 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 |
| wid | Constrained.Examples.ManualExamples |
| width | Constrained.Examples.ManualExamples |
| width_ | Constrained.Examples.ManualExamples |
| wireSizeTxF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.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 |
| 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.Dijkstra.Core, 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.Dijkstra.Core, 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 |
| 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.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| WithEpochSlots | |
| 1 (Type/Class) | Cardano.Chain.Slotting |
| 2 (Data Constructor) | Cardano.Chain.Slotting |
| 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 | |
| 1 (Function) | Constrained.Syntax |
| 2 (Function) | Test.Minimal.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, Cardano.Ledger.Dijkstra.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 |
| 3 (Type/Class) | Test.Minimal.Base |
| 4 (Data Constructor) | Test.Minimal.Base |
| 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 | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 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.Dijkstra.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 |
| WitnessesI | Test.Cardano.Ledger.Generic.Fields |
| witnessKeyHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witnessScriptHash | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| 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' | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| witsAlonzoTxL | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| witScriptHashSpec | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witShelleyTxCert | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| witsShelleyTxL | Cardano.Ledger.Shelley.Tx |
| 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.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 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 |
| 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.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 |