cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.Rules.Utxow

Synopsis

Documentation

data AlonzoUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ AlonzoUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (AlonzoUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era) ⇒ STS (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type State (AlonzoUTXOW era) Source #

type Signal (AlonzoUTXOW era) Source #

type Environment (AlonzoUTXOW era) Source #

type BaseM (AlonzoUTXOW era) ∷ TypeType Source #

type Event (AlonzoUTXOW era) Source #

type PredicateFailure (AlonzoUTXOW era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(Era era, STS (AlonzoUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ AlonzoUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXOW era) (AlonzoLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type BaseM (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Environment (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Event (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Signal (AlonzoUTXOW era) = Tx era
type State (AlonzoUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type State (AlonzoUTXOW era) = UTxOState era

newtype AlonzoUtxowEvent era Source #

Instances

Instances details
Generic (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowEvent era) ∷ TypeType Source #

NFData (Event (EraRule "UTXO" era)) ⇒ NFData (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnfAlonzoUtxowEvent era → () Source #

Eq (Event (EraRule "UTXO" era)) ⇒ Eq (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowEvent era) = D1 ('MetaData "AlonzoUtxowEvent" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.10.0.1-inplace" 'True) (C1 ('MetaCons "WrappedShelleyEraEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyUtxowEvent era))))

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 

Fields

NotAllowedSupplementalDatums 

Fields

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

Instances details
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Generic (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type Rep (AlonzoUtxowPredFailure era) ∷ TypeType Source #

(AlonzoEraScript era, Show (TxCert era), Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, DecCBOR (TxCert era), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ DecCBOR (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, EncCBOR (TxCert era), EncCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ EncCBOR (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era)), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

rnfAlonzoUtxowPredFailure era → () Source #

(AlonzoEraScript era, Eq (TxCert era), Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

(AlonzoEraScript era, NoThunks (TxCert era), NoThunks (PredicateFailure (EraRule "UTXO" era))) ⇒ NoThunks (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type Rep (AlonzoUtxowPredFailure era) = D1 ('MetaData "AlonzoUtxowPredFailure" "Cardano.Ledger.Alonzo.Rules.Utxow" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) (((C1 ('MetaCons "ShelleyInAlonzoUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyUtxowPredFailure era))) :+: C1 ('MetaCons "MissingRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))]))) :+: (C1 ('MetaCons "MissingRequiredDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "NotAllowedSupplementalDatums" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (DataHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "PPViewHashesDontMatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingRequiredSigners" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (EraCrypto era)))))) :+: (C1 ('MetaCons "UnspendableUTxONoDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (TxIn (EraCrypto era))))) :+: C1 ('MetaCons "ExtraRedeemers" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PlutusPurpose AsIx era])))))

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 #

requiredSignersAreWitnessedAlonzoEraTxBody era ⇒ TxBody era → Set (KeyHash 'Witness (EraCrypto era)) → Test (AlonzoUtxowPredFailure era) Source #

Deprecated: As no longer used. validateNeededWitnesses now handles this check

Orphan instances

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (AlonzoEra c) Source # 
Instance details

(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ AlonzoUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (AlonzoUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era) ⇒ STS (AlonzoUTXOW era) Source # 
Instance details

Associated Types

type State (AlonzoUTXOW era) Source #

type Signal (AlonzoUTXOW era) Source #

type Environment (AlonzoUTXOW era) Source #

type BaseM (AlonzoUTXOW era) ∷ TypeType Source #

type Event (AlonzoUTXOW era) Source #

type PredicateFailure (AlonzoUTXOW era) Source #

(Era era, STS (AlonzoUTXO era), PredicateFailure (EraRule "UTXO" era) ~ AlonzoUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (AlonzoUTXOW era) ~ ShelleyBase, PredicateFailure (AlonzoUTXOW era) ~ AlonzoUtxowPredFailure era, Event (AlonzoUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (AlonzoUTXO era) (AlonzoUTXOW era) Source # 
Instance details