Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Alonzo.Rules.Utxos
Synopsis
- data UTXOS era
-
data
UtxosPredicateFailure
era
- = ValidationTagMismatch IsValid TagMismatchDescription
- | CollectErrors [ CollectError ( Crypto era)]
- | UpdateFailure ( PredicateFailure ( EraRule "PPUP" era))
- lbl2Phase :: Label
- data TagMismatchDescription
- validBegin :: String
- validEnd :: String
- invalidBegin :: String
- invalidEnd :: String
-
data
UtxosEvent
era
- = AlonzoPpupToUtxosEvent ( Event ( EraRule "PPUP" era))
- | SuccessfulPlutusScriptsEvent ( NonEmpty PlutusDebug )
- | FailedPlutusScriptsEvent ( NonEmpty PlutusDebug )
- when2Phase :: Rule sts ctx () -> Rule sts ctx ()
- type ConcreteAlonzo era = ( Script era ~ Script era, Value era ~ Value ( Crypto era), TxBody era ~ TxBody era, PParams era ~ PParams era, PParamsDelta era ~ PParamsUpdate era, TxOut era ~ TxOut era, Witnesses era ~ TxWitness era, Tx era ~ ValidatedTx era)
- data FailureDescription = PlutusFailure Text ByteString
- scriptFailuresToPredicateFailure :: NonEmpty ScriptFailure -> NonEmpty FailureDescription
- scriptFailuresToPlutusDebug :: NonEmpty ScriptFailure -> NonEmpty PlutusDebug
Documentation
Instances
data UtxosPredicateFailure era Source #
Constructors
ValidationTagMismatch IsValid TagMismatchDescription |
The
|
CollectErrors [ CollectError ( Crypto era)] |
We could not find all the necessary inputs for a Plutus Script. Previous PredicateFailure tests should make this impossible, but the consequences of not detecting this means scripts get dropped, so things might validate that shouldn't. So we double check in the function collectTwoPhaseScriptInputs, it should find data for every Script. |
UpdateFailure ( PredicateFailure ( EraRule "PPUP" era)) |
Instances
Indicates that this check depends only upon the signal to the transition, not the state or environment.
data TagMismatchDescription Source #
Constructors
PassedUnexpectedly | |
FailedUnexpectedly ( NonEmpty FailureDescription ) |
Instances
validBegin :: String Source #
invalidEnd :: String Source #
data UtxosEvent era Source #
Constructors
AlonzoPpupToUtxosEvent ( Event ( EraRule "PPUP" era)) | |
SuccessfulPlutusScriptsEvent ( NonEmpty PlutusDebug ) | |
FailedPlutusScriptsEvent ( NonEmpty PlutusDebug ) |
when2Phase :: Rule sts ctx () -> Rule sts ctx () Source #
Construct a 2-phase predicate check.
Note that 2-phase predicate checks are by definition static.
type ConcreteAlonzo era = ( Script era ~ Script era, Value era ~ Value ( Crypto era), TxBody era ~ TxBody era, PParams era ~ PParams era, PParamsDelta era ~ PParamsUpdate era, TxOut era ~ TxOut era, Witnesses era ~ TxWitness era, Tx era ~ ValidatedTx era) Source #
data FailureDescription Source #
Constructors
PlutusFailure Text ByteString |