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

Cardano.Ledger.Conway.Rules.Utxos

Documentation

data ConwayUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type State (ConwayUTXOS era) Source #

type Signal (ConwayUTXOS era) Source #

type Environment (ConwayUTXOS era) Source #

type BaseM (ConwayUTXOS era) ∷ TypeType Source #

type Event (ConwayUTXOS era) Source #

type PredicateFailure (ConwayUTXOS era) Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (ConwayUTXOS era) (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(Era era, STS (ConwayUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (ConwayUTXOS era)) ⇒ Embed (ConwayUTXOS era) (ConwayUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type BaseM (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Environment (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Event (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type PredicateFailure (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Signal (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Signal (ConwayUTXOS era) = AlonzoTx era
type State (ConwayUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type State (ConwayUTXOS era) = UTxOState era

data ConwayUtxosPredFailure era Source #

Constructors

ValidationTagMismatch IsValid TagMismatchDescription

The isValid tag on the transaction is incorrect. The tag given here is that provided on the transaction (whereas evaluation of the scripts gives the opposite.). The Text tries to explain why it failed.

CollectErrors [CollectError 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.

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

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

Defined in Cardano.Ledger.Conway.Rules.Utxo

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

Defined in Cardano.Ledger.Conway.Rules.Utxos

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

Defined in Cardano.Ledger.Conway.Rules.Utxow

Generic (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type Rep (ConwayUtxosPredFailure era) ∷ TypeType Source #

(ConwayEraScript era, Show (TxCert era), Show (ContextError era), Show (UTxOState era)) ⇒ Show (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(ConwayEraScript era, NFData (TxCert era), NFData (ContextError era), NFData (UTxOState era)) ⇒ NFData (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

rnfConwayUtxosPredFailure era → () Source #

(ConwayEraScript era, Eq (TxCert era), Eq (ContextError era), Eq (UTxOState era)) ⇒ Eq (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

(ConwayEraScript era, NoThunks (TxCert era), NoThunks (ContextError era), NoThunks (UTxOState era)) ⇒ NoThunks (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosPredFailure era) = D1 ('MetaData "ConwayUtxosPredFailure" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CollectError era])))

data ConwayUtxosEvent era Source #

Constructors

TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin 
SuccessfulPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era))) 
FailedPlutusScriptsEvent (NonEmpty (PlutusWithContext (EraCrypto era))) 
TxUTxODiff

The UTxOs consumed and created by a signal tx

Fields

  • (UTxO era)

    UTxO consumed

  • (UTxO era)

    UTxO created

Instances

Instances details
InjectRuleEvent "UTXOS" ConwayUtxosEvent (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Generic (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type Rep (ConwayUtxosEvent era) ∷ TypeType Source #

(Era era, NFData (TxOut era)) ⇒ NFData (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Methods

rnfConwayUtxosEvent era → () Source #

(Era era, Eq (TxOut era)) ⇒ Eq (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type Rep (ConwayUtxosEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Orphan instances

InjectRuleEvent "UTXOS" AlonzoUtxosEvent (ConwayEra c) Source # 
Instance details

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

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (ConwayUTXOS era) Source # 
Instance details

Associated Types

type State (ConwayUTXOS era) Source #

type Signal (ConwayUTXOS era) Source #

type Environment (ConwayUTXOS era) Source #

type BaseM (ConwayUTXOS era) ∷ TypeType Source #

type Event (ConwayUTXOS era) Source #

type PredicateFailure (ConwayUTXOS era) Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraTxBody era, ConwayEraPParams era, EraGov era, EraPlutusContext era, GovState era ~ ConwayGovState era, PredicateFailure (EraRule "UTXOS" era) ~ ConwayUtxosPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (ConwayUTXOS era) ~ Tx era, EraRule "UTXOS" era ~ ConwayUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ Embed (ConwayUTXOS era) (BabbageUTXO era) Source # 
Instance details