cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Utxow

Synopsis

Documentation

data ConwayUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

type State (ConwayUTXOW era) Source #

type Signal (ConwayUTXOW era) Source #

type Environment (ConwayUTXOW era) Source #

type BaseM (ConwayUTXOW era) ∷ TypeType Source #

type Event (ConwayUTXOW era) Source #

type PredicateFailure (ConwayUTXOW era) Source #

(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), BaseM (ConwayUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ Tx era, PredicateFailure (EraRule "UTXOW" era) ~ ConwayUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (ConwayUTXOW era), PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXOW era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Environment (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Event (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type PredicateFailure (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Signal (ConwayUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

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

Defined in Cardano.Ledger.Conway.Rules.Utxow

type State (ConwayUTXOW era) = UTxOState era

data ConwayUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era)) 
InvalidWitnessesUTXOW ![VKey 'Witness (EraCrypto era)] 
MissingVKeyWitnessesUTXOW

witnesses which failed in verifiedWits function

Fields

MissingScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))

missing scripts

ScriptWitnessNotValidatingUTXOW !(Set (ScriptHash (EraCrypto era)))

failed scripts

MissingTxBodyMetadataHash !(AuxiliaryDataHash (EraCrypto era))

hash of the full metadata

MissingTxMetadata !(AuxiliaryDataHash (EraCrypto era))

hash of the metadata included in the transaction body

ConflictingMetadataHash 

Fields

InvalidMetadata

Contains out of range values (string`s too long)

ExtraneousScriptWitnessesUTXOW !(Set (ScriptHash (EraCrypto era)))

extraneous scripts

MissingRedeemers ![(PlutusPurpose AsItem era, ScriptHash (EraCrypto era))] 
MissingRequiredDatums 

Fields

NotAllowedSupplementalDatums 

Fields

PPViewHashesDontMatch 

Fields

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

MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))

Embed UTXO rule failures

MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))

the set of malformed script witnesses

Instances

Instances details
InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

InjectRuleFailure "UTXOW" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

type Rep (ConwayUtxowPredFailure era) ∷ TypeType Source #

(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

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

Defined in Cardano.Ledger.Conway.Rules.Utxow

Methods

rnfConwayUtxowPredFailure era → () Source #

(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

NoThunks (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Rep (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type Rep (ConwayUtxowPredFailure era) = D1 ('MetaData "ConwayUtxowPredFailure" "Cardano.Ledger.Conway.Rules.Utxow" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((((C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXO" era)))) :+: C1 ('MetaCons "InvalidWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [VKey 'Witness (EraCrypto era)]))) :+: (C1 ('MetaCons "MissingVKeyWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness (EraCrypto era))))) :+: C1 ('MetaCons "MissingScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "ScriptWitnessNotValidatingUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MissingTxBodyMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era))))) :+: (C1 ('MetaCons "MissingTxMetadata" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: (C1 ('MetaCons "ConflictingMetadataHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AuxiliaryDataHash (EraCrypto era)))) :+: C1 ('MetaCons "InvalidMetadata" 'PrefixI 'False) (U1TypeType))))) :+: (((C1 ('MetaCons "ExtraneousScriptWitnessesUTXOW" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto 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 "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])) :+: (C1 ('MetaCons "MalformedScriptWitnesses" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))) :+: C1 ('MetaCons "MalformedReferenceScripts" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (ScriptHash (EraCrypto era))))))))))

conwayWitsVKeyNeeded ∷ (EraTx era, ConwayEraTxBody era) ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness (EraCrypto era)) Source #

Deprecated: In favor of getConwayWitsVKeyNeeded or getWitsVKeyNeeded

Orphan instances

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

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

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

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

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

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

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

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ ConwayUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (ConwayUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (ConwayUTXOW era) Source # 
Instance details

Associated Types

type State (ConwayUTXOW era) Source #

type Signal (ConwayUTXOW era) Source #

type Environment (ConwayUTXOW era) Source #

type BaseM (ConwayUTXOW era) ∷ TypeType Source #

type Event (ConwayUTXOW era) Source #

type PredicateFailure (ConwayUTXOW era) Source #

(Era era, STS (ConwayUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (ConwayUTXOW era) ~ ShelleyBase, PredicateFailure (ConwayUTXOW era) ~ ConwayUtxowPredFailure era, Event (ConwayUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (ConwayUTXO era) (ConwayUTXOW era) Source # 
Instance details