Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Babbage.Rules.Utxow
Synopsis
-
data
BabbageUtxowPred
era
- = FromAlonzoUtxowFail !( UtxowPredicateFail era)
- | UtxoFailure !( PredicateFailure ( EraRule "UTXO" era))
- | MalformedScriptWitnesses !( Set ( ScriptHash ( Crypto era)))
- | MalformedReferenceScripts !( Set ( ScriptHash ( Crypto era)))
- babbageMissingScripts :: forall era. PParams era -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era)
- validateFailedBabbageScripts :: forall era. ( ValidateScript era, ExtendedUTxO era, Script era ~ Script era) => Tx era -> UTxO era -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era)
- validateScriptsWellFormed :: forall era. ( ValidateScript era, HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)), HasField "_protocolVersion" ( PParams era) ProtVer , Script era ~ Script era, TxOut era ~ TxOut era) => PParams era -> Tx era -> Test ( BabbageUtxowPred era)
- data BabbageUTXOW era
- babbageUtxowTransition :: forall era. ( ValidateScript era, ValidateAuxiliaryData era ( Crypto era), ExtendedUTxO era, STS ( BabbageUTXOW era), ConcreteBabbage era, Signable ( DSIGN ( Crypto era)) ( Hash ( HASH ( Crypto era)) EraIndependentTxBody ), Embed ( EraRule "UTXO" era) ( BabbageUTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ ValidatedTx era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "referenceInputs" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOW era)
Documentation
data BabbageUtxowPred era Source #
Constructors
FromAlonzoUtxowFail !( UtxowPredicateFail era) | |
UtxoFailure !( PredicateFailure ( EraRule "UTXO" era)) |
Embed UTXO rule failures |
MalformedScriptWitnesses !( Set ( ScriptHash ( Crypto era))) |
the set of malformed script witnesses |
MalformedReferenceScripts !( Set ( ScriptHash ( Crypto era))) |
the set of malformed script witnesses |
Instances
babbageMissingScripts :: forall era. PParams era -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era) Source #
validateFailedBabbageScripts :: forall era. ( ValidateScript era, ExtendedUTxO era, Script era ~ Script era) => Tx era -> UTxO era -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era) Source #
validateScriptsWellFormed :: forall era. ( ValidateScript era, HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)), HasField "_protocolVersion" ( PParams era) ProtVer , Script era ~ Script era, TxOut era ~ TxOut era) => PParams era -> Tx era -> Test ( BabbageUtxowPred era) Source #
data BabbageUTXOW era Source #
Instances
babbageUtxowTransition :: forall era. ( ValidateScript era, ValidateAuxiliaryData era ( Crypto era), ExtendedUTxO era, STS ( BabbageUTXOW era), ConcreteBabbage era, Signable ( DSIGN ( Crypto era)) ( Hash ( HASH ( Crypto era)) EraIndependentTxBody ), Embed ( EraRule "UTXO" era) ( BabbageUTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ ValidatedTx era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "referenceInputs" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOW era) Source #
A very specialized transitionRule function for the Babbage Era.