Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Utxos

Contents

Orphan instances

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) ∷ Type → Type Source # type Event (ConwayUTXOS era) Source # type PredicateFailure (ConwayUTXOS era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOS era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source # assertions ∷ [Assertion (ConwayUTXOS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String 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 Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (BabbageUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (BabbageUTXO era) Source #
(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 Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (ConwayUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (ConwayUTXO era) Source #
type BaseM (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type BaseM (ConwayUTXOS era) = ShelleyBase
type Environment (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Environment (ConwayUTXOS era) = UtxoEnv era
type Event (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Event (ConwayUTXOS era) = ConwayUtxosEvent era
type PredicateFailure (ConwayUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
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 Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
InjectRuleFailure "UTXO" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXO" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOW" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOW" (ConwayEra c) Source #
Generic (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type Rep (ConwayUtxosPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayUtxosPredFailure era → Rep (ConwayUtxosPredFailure era) x Source # to ∷ Rep (ConwayUtxosPredFailure era) x → ConwayUtxosPredFailure era 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 Methods showsPrec ∷ Int → ConwayUtxosPredFailure era → ShowS Source # show ∷ ConwayUtxosPredFailure era → String Source # showList ∷ [ConwayUtxosPredFailure era] → ShowS Source #
(EraTxCert era, ConwayEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods decCBOR ∷ Decoder s (ConwayUtxosPredFailure era) Source # dropCBOR ∷ Proxy (ConwayUtxosPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayUtxosPredFailure era) → Text Source #
(EraTxCert era, ConwayEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods encCBOR ∷ ConwayUtxosPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayUtxosPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayUtxosPredFailure era] → Size Source #
(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 rnf ∷ ConwayUtxosPredFailure 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 Methods (==) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool Source # (/=) ∷ ConwayUtxosPredFailure era → ConwayUtxosPredFailure era → Bool Source #
(ConwayEraScript era, NoThunks (TxCert era), NoThunks (ContextError era), NoThunks (UTxOState era)) ⇒ NoThunks (ConwayUtxosPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods noThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayUtxosPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayUtxosPredFailure era) → String Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "ValidationTagMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsValid) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagMismatchDescription)) :+: C1 ('MetaCons "CollectErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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 Methods injectEvent ∷ ConwayUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
Generic (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Associated Types type Rep (ConwayUtxosEvent era) ∷ Type → Type Source # Methods from ∷ ConwayUtxosEvent era → Rep (ConwayUtxosEvent era) x Source # to ∷ Rep (ConwayUtxosEvent era) x → ConwayUtxosEvent era Source #
(Era era, NFData (TxOut era)) ⇒ NFData (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods rnf ∷ ConwayUtxosEvent era → () Source #
(Era era, Eq (TxOut era)) ⇒ Eq (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos Methods (==) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool Source # (/=) ∷ ConwayUtxosEvent era → ConwayUtxosEvent era → Bool Source #
type Rep (ConwayUtxosEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Rep (ConwayUtxosEvent era) = D1 ('MetaData "ConwayUtxosEvent" "Cardano.Ledger.Conway.Rules.Utxos" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash (EraCrypto era) EraIndependentTxBody)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "SuccessfulPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era)))))) :+: (C1 ('MetaCons "FailedPlutusScriptsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PlutusWithContext (EraCrypto era))))) :+: C1 ('MetaCons "TxUTxODiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)))))

Orphan instances

InjectRuleEvent "UTXOS" AlonzoUtxosEvent (ConwayEra c) Source #
Instance details Methods injectEvent ∷ AlonzoUtxosEvent (ConwayEra c) → EraRuleEvent "UTXOS" (ConwayEra c) Source #
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "UTXOS" (ConwayEra c) Source #
(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) ∷ Type → Type Source # type Event (ConwayUTXOS era) Source # type PredicateFailure (ConwayUTXOS era) Source # Methods initialRules ∷ [InitialRule (ConwayUTXOS era)] Source # transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source # assertions ∷ [Assertion (ConwayUTXOS era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String 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 Methods wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (BabbageUTXO era) Source # wrapEvent ∷ Event (ConwayUTXOS era) → Event (BabbageUTXO era) Source #