validateCollateralEqBalance | Cardano.Ledger.Babbage.Rules.Utxo |
ValidatedTx | |
1 (Data Constructor) | Cardano.Ledger.Babbage.Tx |
2 (Type/Class) | Cardano.Ledger.Babbage.Tx |
validateFailedBabbageScripts | Cardano.Ledger.Babbage.Rules.Utxow |
validateOutputBootAddrAttrsTooBig | Cardano.Ledger.Babbage.Rules.Utxo |
validateOutputTooBigUTxO | Cardano.Ledger.Babbage.Rules.Utxo |
validateOutputTooSmallUTxO | Cardano.Ledger.Babbage.Rules.Utxo |
validateScriptsWellFormed | Cardano.Ledger.Babbage.Rules.Utxow |
validateTotalCollateral | Cardano.Ledger.Babbage.Rules.Utxo |
vldt' | Cardano.Ledger.Babbage.TxBody |