Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Ledger

Contents

Orphan instances

Documentation

data ConwayLEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era) ⇒ STS (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type State (ConwayLEDGER era) Source # type Signal (ConwayLEDGER era) Source # type Environment (ConwayLEDGER era) Source # type BaseM (ConwayLEDGER era) ∷ Type → Type Source # type Event (ConwayLEDGER era) Source # type PredicateFailure (ConwayLEDGER era) Source # Methods initialRules ∷ [InitialRule (ConwayLEDGER era)] Source # transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source # assertions ∷ [Assertion (ConwayLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
(ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ConwayLEDGER era) → Event (ShelleyLEDGERS era) Source #
(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 Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #
type BaseM (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type BaseM (ConwayLEDGER era) = ShelleyBase
type Environment (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Environment (ConwayLEDGER era) = LedgerEnv era
type Event (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Event (ConwayLEDGER era) = ConwayLedgerEvent era
type PredicateFailure (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type Signal (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Signal (ConwayLEDGER era) = Tx era
type State (ConwayLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (ConwayLEDGER era) = LedgerState era

data ConwayLedgerPredFailure era Source #

Constructors

ConwayUtxowFailure (PredicateFailure (EraRule "UTXOW" era))
ConwayCertsFailure (PredicateFailure (EraRule "CERTS" era))
ConwayGovFailure (PredicateFailure (EraRule "GOV" era))
ConwayWdrlNotDelegatedToDRep (Set (Credential 'Staking (EraCrypto era)))
ConwayTreasuryValueMismatch
Fields Coin Actual Coin Submitted in transaction

Instances

Instances details

InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayLedgerPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayLedgerPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type Rep (ConwayLedgerPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayLedgerPredFailure era → Rep (ConwayLedgerPredFailure era) x Source # to ∷ Rep (ConwayLedgerPredFailure era) x → ConwayLedgerPredFailure era Source #
(Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) ⇒ Show (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods showsPrec ∷ Int → ConwayLedgerPredFailure era → ShowS Source # show ∷ ConwayLedgerPredFailure era → String Source # showList ∷ [ConwayLedgerPredFailure era] → ShowS Source #
(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ DecCBOR (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods decCBOR ∷ Decoder s (ConwayLedgerPredFailure era) Source # dropCBOR ∷ Proxy (ConwayLedgerPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayLedgerPredFailure era) → Text Source #
(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ EncCBOR (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods encCBOR ∷ ConwayLedgerPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayLedgerPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayLedgerPredFailure era] → Size Source #
(Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerPredFailure era → () Source #
(Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool Source # (/=) ∷ ConwayLedgerPredFailure era → ConwayLedgerPredFailure era → Bool Source #
(Era era, NoThunks (PredicateFailure (EraRule "UTXOW" era)), NoThunks (PredicateFailure (EraRule "CERTS" era)), NoThunks (PredicateFailure (EraRule "GOV" era))) ⇒ NoThunks (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods noThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayLedgerPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayLedgerPredFailure era) → String Source #
type Rep (ConwayLedgerPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerPredFailure era) = D1 ('MetaData "ConwayLedgerPredFailure" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "UTXOW" era)))) :+: C1 ('MetaCons "ConwayCertsFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "CERTS" era))))) :+: (C1 ('MetaCons "ConwayGovFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOV" era)))) :+: (C1 ('MetaCons "ConwayWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'Staking (EraCrypto era))))) :+: C1 ('MetaCons "ConwayTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))))

data ConwayLedgerEvent era Source #

Constructors

UtxowEvent (Event (EraRule "UTXOW" era))
CertsEvent (Event (EraRule "CERTS" era))
GovEvent (Event (EraRule "GOV" era))

Instances

Instances details

Generic (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Associated Types type Rep (ConwayLedgerEvent era) ∷ Type → Type Source # Methods from ∷ ConwayLedgerEvent era → Rep (ConwayLedgerEvent era) x Source # to ∷ Rep (ConwayLedgerEvent era) x → ConwayLedgerEvent era Source #
(NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era))) ⇒ NFData (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods rnf ∷ ConwayLedgerEvent era → () Source #
(Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era))) ⇒ Eq (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods (==) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool Source # (/=) ∷ ConwayLedgerEvent era → ConwayLedgerEvent era → Bool Source #
type Rep (ConwayLedgerEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Rep (ConwayLedgerEvent era) = D1 ('MetaData "ConwayLedgerEvent" "Cardano.Ledger.Conway.Rules.Ledger" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "UtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "UTXOW" era)))) :+: (C1 ('MetaCons "CertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERTS" era)))) :+: C1 ('MetaCons "GovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOV" era))))))

Orphan instances

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ BabbageUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayCertsPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayGovPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxosPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxosPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxowPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era) ⇒ STS (ConwayLEDGER era) Source #
Instance details Associated Types type State (ConwayLEDGER era) Source # type Signal (ConwayLEDGER era) Source # type Environment (ConwayLEDGER era) Source # type BaseM (ConwayLEDGER era) ∷ Type → Type Source # type Event (ConwayLEDGER era) Source # type PredicateFailure (ConwayLEDGER era) Source # Methods initialRules ∷ [InitialRule (ConwayLEDGER era)] Source # transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source # assertions ∷ [Assertion (ConwayLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #
(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayCERTS era) → Event (ConwayLEDGER era) Source #
(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era) ⇒ Embed (ConwayDELEG era) (ConwayLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayLEDGER era) Source #
(ConwayEraPParams era, BaseM (ConwayLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ ConwayGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ ConwayGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era) ⇒ Embed (ConwayGOV era) (ConwayLEDGER era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayGOV era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayGOV era) → Event (ConwayLEDGER era) Source #
(Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), ConwayEraGov era, AlonzoEraTx era, ConwayEraTxBody era, ConwayEraPParams era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovProcedures era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ ConwayGOV era, PredicateFailure (EraRule "LEDGER" era) ~ ConwayLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era) ⇒ Embed (ConwayLEDGER era) (ShelleyLEDGERS era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ConwayLEDGER era) → Event (ShelleyLEDGERS era) Source #
(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 Methods wrapFailed ∷ PredicateFailure (ConwayUTXOW era) → PredicateFailure (ConwayLEDGER era) Source # wrapEvent ∷ Event (ConwayUTXOW era) → Event (ConwayLEDGER era) Source #