| Wdrl | |
| 1 (Type/Class) | Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.API |
| WitHashes | |
| 1 (Type/Class) | Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.LedgerState, Shelley.Spec.Ledger.API |
| WithdrawalsNotInRewardsDELEGS | Shelley.Spec.Ledger.STS.Delegs |
| witKeyHash | Shelley.Spec.Ledger.TxBody |
| Witness | Shelley.Spec.Ledger.Keys, Shelley.Spec.Ledger.API |
| WitnessSet | |
| 1 (Type/Class) | Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.Tx |
| WitnessSetHKD | Shelley.Spec.Ledger.Tx |
| witsFromWitnessSet | Shelley.Spec.Ledger.LedgerState |
| witsVKeyNeeded | Shelley.Spec.Ledger.LedgerState |
| WitVKey | |
| 1 (Type/Class) | Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API |
| 2 (Data Constructor) | Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API |
| word64ToCoin | Shelley.Spec.Ledger.Coin, Shelley.Spec.Ledger.API |
| Word7 | |
| 1 (Type/Class) | Shelley.Spec.Ledger.Address |
| 2 (Data Constructor) | Shelley.Spec.Ledger.Address |
| word7sToNat | Shelley.Spec.Ledger.Address |
| word8ToNetwork | Shelley.Spec.Ledger.BaseTypes |
| WrongBlockBodySizeBBODY | Shelley.Spec.Ledger.STS.Bbody |
| WrongBlockNoPrtclSeq | Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API |
| WrongBlockSequencePrtclSeq | Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API |
| WrongCertificateTypeDELEG | Shelley.Spec.Ledger.STS.Deleg |
| WrongCertificateTypePOOL | Shelley.Spec.Ledger.STS.Pool |
| WrongGenesisColdKeyOVERLAY | Shelley.Spec.Ledger.STS.Overlay |
| WrongGenesisVRFKeyOVERLAY | Shelley.Spec.Ledger.STS.Overlay |
| WrongNetwork | Shelley.Spec.Ledger.STS.Utxo |
| WrongNetworkWithdrawal | Shelley.Spec.Ledger.STS.Utxo |
| WrongSlotIntervalPrtclSeq | Shelley.Spec.Ledger.STS.Prtcl, Shelley.Spec.Ledger.API |
| wvkBytes | Shelley.Spec.Ledger.TxBody, Shelley.Spec.Ledger.Tx, Shelley.Spec.Ledger.API |