| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.Rules.Utxow
Contents
Synopsis
- data AlonzoUTXOW era
- newtype AlonzoUtxowEvent era = WrappedShelleyEraEvent (ShelleyUtxowEvent era)
- data AlonzoUtxowPredFailure era
- = ShelleyInAlonzoUtxowPredFailure !(ShelleyUtxowPredFailure era)
- | MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]
- | MissingRequiredDatums !(Set (DataHash (EraCrypto era))) !(Set (DataHash (EraCrypto era)))
- | NotAllowedSupplementalDatums !(Set (DataHash (EraCrypto era))) !(Set (DataHash (EraCrypto era)))
- | PPViewHashesDontMatch !(StrictMaybe (ScriptIntegrityHash (EraCrypto era))) !(StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- | MissingRequiredSigners (Set (KeyHash 'Witness (EraCrypto era)))
- | UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era)))
- | ExtraRedeemers ![PlutusPurpose AsIx era]
- hasExactSetOfRedeemers ∷ ∀ era. AlonzoEraTx era ⇒ Tx era → ScriptsProvided era → AlonzoScriptsNeeded era → Test (AlonzoUtxowPredFailure era)
- missingRequiredDatums ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era) ⇒ UTxO era → Tx era → Test (AlonzoUtxowPredFailure era)
- ppViewHashesMatch ∷ ∀ era. AlonzoEraTx era ⇒ Tx era → PParams era → ScriptsProvided era → Set (ScriptHash (EraCrypto era)) → Test (AlonzoUtxowPredFailure era)
- requiredSignersAreWitnessed ∷ AlonzoEraTxBody era ⇒ TxBody era → Set (KeyHash 'Witness (EraCrypto era)) → Test (AlonzoUtxowPredFailure era)
Documentation
data AlonzoUTXOW era Source #
Instances
newtype AlonzoUtxowEvent era Source #
Constructors
| WrappedShelleyEraEvent (ShelleyUtxowEvent era) |
Instances
data AlonzoUtxowPredFailure era Source #
The Predicate failure type in the Alonzo Era. It embeds the Predicate failure type of the Shelley Era, as they share some failure modes.
Constructors
| ShelleyInAlonzoUtxowPredFailure !(ShelleyUtxowPredFailure era) | |
| MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))] | List of scripts for which no redeemers were supplied |
| MissingRequiredDatums | |
| NotAllowedSupplementalDatums | |
| PPViewHashesDontMatch | |
Fields
| |
| MissingRequiredSigners (Set (KeyHash 'Witness (EraCrypto era))) | Set of witnesses which were needed and not supplied |
| UnspendableUTxONoDatumHash (Set (TxIn (EraCrypto era))) | Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't |
| ExtraRedeemers ![PlutusPurpose AsIx era] | List of redeemers not needed |
Instances
hasExactSetOfRedeemers ∷ ∀ era. AlonzoEraTx era ⇒ Tx era → ScriptsProvided era → AlonzoScriptsNeeded era → Test (AlonzoUtxowPredFailure era) Source #
missingRequiredDatums ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era) ⇒ UTxO era → Tx era → Test (AlonzoUtxowPredFailure era) Source #
ppViewHashesMatch ∷ ∀ era. AlonzoEraTx era ⇒ Tx era → PParams era → ScriptsProvided era → Set (ScriptHash (EraCrypto era)) → Test (AlonzoUtxowPredFailure era) Source #
requiredSignersAreWitnessed ∷ AlonzoEraTxBody era ⇒ TxBody era → Set (KeyHash 'Witness (EraCrypto era)) → Test (AlonzoUtxowPredFailure era) Source #
Deprecated: As no longer used. validateNeededWitnesses now handles this check