cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.Rules.Utxow

Synopsis

Documentation

data BabbageUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ BabbageUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (BabbageUTXOW 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 (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(Era era, STS (BabbageUTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (BabbageUTXOW era) ~ ShelleyBase, PredicateFailure (BabbageUTXOW era) ~ BabbageUtxowPredFailure era, Event (BabbageUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (BabbageUTXO era) (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type BaseM (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Environment (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Event (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Signal (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

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

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type State (BabbageUTXOW era) = UTxOState era

data BabbageUtxowPredFailure era Source #

Constructors

AlonzoInBabbageUtxowPredFailure !(AlonzoUtxowPredFailure era) 
UtxoFailure !(PredicateFailure (EraRule "UTXO" era))

Embed UTXO rule failures

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

the set of malformed script witnesses

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

the set of malformed script witnesses

Instances

Instances details
InjectRuleFailure "BBODY" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

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

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Generic (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Associated Types

type Rep (BabbageUtxowPredFailure era) ∷ TypeType Source #

(AlonzoEraScript era, Show (ShelleyUtxowPredFailure era), Show (PredicateFailure (EraRule "UTXO" era)), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (TxCert era), Show (Value era)) ⇒ Show (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(AlonzoEraScript era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era)), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ DecCBOR (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(AlonzoEraScript era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era)), EncCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era)) ⇒ EncCBOR (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

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

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Methods

rnfBabbageUtxowPredFailure era → () Source #

(AlonzoEraScript era, Eq (ShelleyUtxowPredFailure era), Eq (PredicateFailure (EraRule "UTXO" era)), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (TxCert era)) ⇒ Eq (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

NoThunks (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Rep (BabbageUtxowPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Rep (BabbageUtxowPredFailure era) = D1 ('MetaData "BabbageUtxowPredFailure" "Cardano.Ledger.Babbage.Rules.Utxow" "cardano-ledger-babbage-1.8.2.1-inplace" 'False) ((C1 ('MetaCons "AlonzoInBabbageUtxowPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AlonzoUtxowPredFailure era))) :+: C1 ('MetaCons "UtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "UTXO" 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)))))))

babbageUtxowTransition ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, State (EraRule "UTXOW" era) ~ UTxOState era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, Signal (EraRule "UTXO" era) ~ Tx era, State (EraRule "UTXO" era) ~ UTxOState era) ⇒ TransitionRule (EraRule "UTXOW" era) Source #

UTXOW transition rule that is used in Babbage and Conway era.

Orphan instances

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

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

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

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

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

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

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

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

(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ BabbageUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (BabbageUTXOW 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 (BabbageUTXOW era) Source # 
Instance details

(Era era, STS (BabbageUTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (BabbageUTXOW era) ~ ShelleyBase, PredicateFailure (BabbageUTXOW era) ~ BabbageUtxowPredFailure era, Event (BabbageUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (BabbageUTXO era) (BabbageUTXOW era) Source # 
Instance details