Documentation

Methods

injectFailure ∷ DijkstraBbodyPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraBbodyPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraBbodyPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraBbodyPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraBbodyPredFailure era → Encoding Source #

Generic (DijkstraBbodyPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraBbodyPredFailure era)

Instance details

type Rep (DijkstraBbodyPredFailure era) = D1 ('MetaData "DijkstraBbodyPredFailure" "Cardano.Ledger.Dijkstra.Rules.Bbody" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))))) :+: (C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int))))))

Methods

from ∷ DijkstraBbodyPredFailure era → Rep (DijkstraBbodyPredFailure era) x #

to ∷ Rep (DijkstraBbodyPredFailure era) x → DijkstraBbodyPredFailure era #

(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraBbodyPredFailure era → ShowS #

show ∷ DijkstraBbodyPredFailure era → String #

showList ∷ [DijkstraBbodyPredFailure era] → ShowS #

(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraBbodyPredFailure era → DijkstraBbodyPredFailure era → Bool #

(/=) ∷ DijkstraBbodyPredFailure era → DijkstraBbodyPredFailure era → Bool #

(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraBbodyPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraBbodyPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraBbodyPredFailure era) → String Source #

type Rep (DijkstraBbodyPredFailure era) Source #

Instance details

type Rep (DijkstraBbodyPredFailure era) = D1 ('MetaData "DijkstraBbodyPredFailure" "Cardano.Ledger.Dijkstra.Rules.Bbody" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))))) :+: (C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int))))))

data DijkstraBBODY era Source #

Instances

Instances details

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers) ⇒ Embed ledgers (DijkstraBBODY era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (DijkstraBBODY era) Source #

wrapEvent ∷ Event ledgers → Event (DijkstraBBODY era) Source #

(Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx 'TopTx era), AlonzoEraTxWits era, EraBlockBody era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ DijkstraBBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ STS (DijkstraBBODY era) Source #

Instance details

Associated Types

type State (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type State (DijkstraBBODY era) = ShelleyBbodyState era
type Signal (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Signal (DijkstraBBODY era) = Block BHeaderView era
type Environment (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Environment (DijkstraBBODY era) = BbodyEnv era
type BaseM (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type BaseM (DijkstraBBODY era) = ShelleyBase
type Event (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type Event (DijkstraBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (DijkstraBBODY era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Bbody type PredicateFailure (DijkstraBBODY era) = DijkstraBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraBBODY era)] Source #

transitionRules ∷ [TransitionRule (DijkstraBBODY era)] Source #

assertions ∷ [Assertion (DijkstraBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraBBODY era) → String Source #

type BaseM (DijkstraBBODY era) Source #

Instance details

type BaseM (DijkstraBBODY era) = ShelleyBase

type Environment (DijkstraBBODY era) Source #

Instance details

type Environment (DijkstraBBODY era) = BbodyEnv era

type Event (DijkstraBBODY era) Source #

Instance details

type Event (DijkstraBBODY era) = AlonzoBbodyEvent era

type PredicateFailure (DijkstraBBODY era) Source #

Instance details

type PredicateFailure (DijkstraBBODY era) = DijkstraBbodyPredFailure era

type Signal (DijkstraBBODY era) Source #

Instance details

type Signal (DijkstraBBODY era) = Block BHeaderView era

type State (DijkstraBBODY era) Source #

Instance details

type State (DijkstraBBODY era) = ShelleyBbodyState era

conwayToDijkstraBbodyPredFailure ∷ ConwayBbodyPredFailure era → DijkstraBbodyPredFailure era Source #

data DijkstraGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty GovActionId)
MalformedProposal (GovAction era)
ProposalProcedureNetworkIdMismatch RewardAccount Network
TreasuryWithdrawalsNetworkIdMismatch (Set RewardAccount) Network
ProposalDepositIncorrect (Mismatch 'RelEQ Coin)
DisallowedVoters (NonEmpty (Voter, GovActionId))	Some governance actions are not allowed to be voted on by certain types of Voters. This failure lists all governance action ids with their respective voters that are not allowed to vote on those governance actions.
ConflictingCommitteeUpdate
Fields (Set (Credential 'ColdCommitteeRole)) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (Map (Credential 'ColdCommitteeRole) EpochNo) Members for which the expiration epoch has already been reached
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
ProposalCantFollow
Fields (StrictMaybe (GovPurposeId 'HardForkPurpose)) The PrevGovActionId of the HardForkInitiation that fails (Mismatch 'RelGT ProtVer) Its protocol version and the protocal version of the previous gov-action pointed to by the proposal
InvalidPolicyHash
Fields (StrictMaybe ScriptHash) The policy script hash in the proposal (StrictMaybe ScriptHash) The policy script hash of the current constitution
DisallowedProposalDuringBootstrap (ProposalProcedure era)
DisallowedVotesDuringBootstrap (NonEmpty (Voter, GovActionId))
VotersDoNotExist (NonEmpty Voter)	Predicate failure for votes by entities that are not present in the ledger state
ZeroTreasuryWithdrawals (GovAction era)	Treasury withdrawals that sum up to zero are not allowed
ProposalReturnAccountDoesNotExist RewardAccount	Proposals that have an invalid reward account for returns of the deposit
TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty RewardAccount)	Treasury withdrawal proposals to an invalid reward account
UnelectedCommitteeVoters (NonEmpty (Credential 'HotCommitteeRole))	Disallow votes by unelected committee members

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "GOV" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "GOV" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

EraPParams era ⇒ FromCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (DijkstraGovPredFailure era) Source #

label ∷ Proxy (DijkstraGovPredFailure era) → Text Source #

EraPParams era ⇒ ToCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

toCBOR ∷ DijkstraGovPredFailure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DijkstraGovPredFailure era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraGovPredFailure era] → Size Source #

EraPParams era ⇒ DecCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraGovPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraGovPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraGovPredFailure era) → Text Source #

EraPParams era ⇒ EncCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraGovPredFailure era → Encoding Source #

EraPParams era ⇒ NFData (DijkstraGovPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraGovPredFailure era → () #

Generic (DijkstraGovPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraGovPredFailure era)

Instance details

Methods

from ∷ DijkstraGovPredFailure era → Rep (DijkstraGovPredFailure era) x #

to ∷ Rep (DijkstraGovPredFailure era) x → DijkstraGovPredFailure era #

EraPParams era ⇒ Show (DijkstraGovPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraGovPredFailure era → ShowS #

show ∷ DijkstraGovPredFailure era → String #

showList ∷ [DijkstraGovPredFailure era] → ShowS #

EraPParams era ⇒ Eq (DijkstraGovPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraGovPredFailure era → DijkstraGovPredFailure era → Bool #

(/=) ∷ DijkstraGovPredFailure era → DijkstraGovPredFailure era → Bool #

EraPParams era ⇒ NoThunks (DijkstraGovPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraGovPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraGovPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraGovPredFailure era) → String Source #

type Rep (DijkstraGovPredFailure era) Source #

Instance details

data DijkstraGOV era Source #

Instances

Instances details

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, EraCertState era, ConwayEraCertState era) ⇒ STS (DijkstraGOV era) Source #

Instance details

Associated Types

type State (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type State (DijkstraGOV era) = Proposals era
type Signal (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Signal (DijkstraGOV era) = GovSignal era
type Environment (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Environment (DijkstraGOV era) = GovEnv era
type BaseM (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type BaseM (DijkstraGOV era) = ShelleyBase
type Event (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type Event (DijkstraGOV era) = ConwayGovEvent era
type PredicateFailure (DijkstraGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Gov type PredicateFailure (DijkstraGOV era) = DijkstraGovPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOV era)] Source #

assertions ∷ [Assertion (DijkstraGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOV era) → String Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, BaseM (DijkstraLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, EraCertState era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOV era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraGOV era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraGOV era) Source #

Instance details

type BaseM (DijkstraGOV era) = ShelleyBase

type Environment (DijkstraGOV era) Source #

Instance details

type Environment (DijkstraGOV era) = GovEnv era

type Event (DijkstraGOV era) Source #

Instance details

type Event (DijkstraGOV era) = ConwayGovEvent era

type PredicateFailure (DijkstraGOV era) Source #

Instance details

type PredicateFailure (DijkstraGOV era) = DijkstraGovPredFailure era

type Signal (DijkstraGOV era) Source #

Instance details

type Signal (DijkstraGOV era) = GovSignal era

type State (DijkstraGOV era) Source #

Instance details

type State (DijkstraGOV era) = Proposals era

conwayToDijkstraGovPredFailure ∷ ConwayGovPredFailure era → DijkstraGovPredFailure era Source #

data DijkstraGOVCERT era Source #

Instances

Instances details

(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ CertState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, EraRule "GOVCERT" era ~ DijkstraGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era)), ConwayEraCertState era) ⇒ STS (DijkstraGOVCERT era) Source #

Instance details

Associated Types

type State (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type State (DijkstraGOVCERT era) = CertState era
type Signal (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Signal (DijkstraGOVCERT era) = ConwayGovCert
type Environment (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Environment (DijkstraGOVCERT era) = ConwayGovCertEnv era
type BaseM (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type BaseM (DijkstraGOVCERT era) = ShelleyBase
type Event (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type Event (DijkstraGOVCERT era) = Void
type PredicateFailure (DijkstraGOVCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.GovCert type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOVCERT era) → String Source #

(Era era, STS (DijkstraGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (DijkstraGOVCERT era) (DijkstraCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOVCERT era) → PredicateFailure (DijkstraCERT era) Source #

wrapEvent ∷ Event (DijkstraGOVCERT era) → Event (DijkstraCERT era) Source #

type BaseM (DijkstraGOVCERT era) Source #

Instance details

type BaseM (DijkstraGOVCERT era) = ShelleyBase

type Environment (DijkstraGOVCERT era) Source #

Instance details

type Environment (DijkstraGOVCERT era) = ConwayGovCertEnv era

type Event (DijkstraGOVCERT era) Source #

Instance details

type Event (DijkstraGOVCERT era) = Void

type PredicateFailure (DijkstraGOVCERT era) Source #

Instance details

type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era

type Signal (DijkstraGOVCERT era) Source #

Instance details

type Signal (DijkstraGOVCERT era) = ConwayGovCert

type State (DijkstraGOVCERT era) Source #

Instance details

type State (DijkstraGOVCERT era) = CertState era

data DijkstraGovCertPredFailure era Source #

Constructors

DijkstraDRepAlreadyRegistered (Credential 'DRepRole)
DijkstraDRepNotRegistered (Credential 'DRepRole)
DijkstraDRepIncorrectDeposit (Mismatch 'RelEQ Coin)
DijkstraCommitteeHasPreviouslyResigned (Credential 'ColdCommitteeRole)
DijkstraDRepIncorrectRefund (Mismatch 'RelEQ Coin)
DijkstraCommitteeIsUnknown (Credential 'ColdCommitteeRole)	Predicate failure whenever an update to an unknown committee member is attempted. Current Constitutional Committee and all available proposals will be searched before reporting this predicate failure.

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "CERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERTS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Certs

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "GOVCERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "GOVCERT" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

Typeable era ⇒ DecCBOR (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraGovCertPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraGovCertPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraGovCertPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraGovCertPredFailure era → Encoding Source #

NFData (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraGovCertPredFailure era → () #

Generic (DijkstraGovCertPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraGovCertPredFailure era)

Instance details

type Rep (DijkstraGovCertPredFailure era) = D1 ('MetaData "DijkstraGovCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.GovCert" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: (C1 ('MetaCons "DijkstraDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "DijkstraDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))))) :+: (C1 ('MetaCons "DijkstraCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole))) :+: (C1 ('MetaCons "DijkstraDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "DijkstraCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole))))))

Methods

from ∷ DijkstraGovCertPredFailure era → Rep (DijkstraGovCertPredFailure era) x #

to ∷ Rep (DijkstraGovCertPredFailure era) x → DijkstraGovCertPredFailure era #

Show (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraGovCertPredFailure era → ShowS #

show ∷ DijkstraGovCertPredFailure era → String #

showList ∷ [DijkstraGovCertPredFailure era] → ShowS #

Eq (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraGovCertPredFailure era → DijkstraGovCertPredFailure era → Bool #

(/=) ∷ DijkstraGovCertPredFailure era → DijkstraGovCertPredFailure era → Bool #

NoThunks (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraGovCertPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraGovCertPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraGovCertPredFailure era) → String Source #

type Rep (DijkstraGovCertPredFailure era) Source #

Instance details

type Rep (DijkstraGovCertPredFailure era) = D1 ('MetaData "DijkstraGovCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.GovCert" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: (C1 ('MetaCons "DijkstraDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "DijkstraDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))))) :+: (C1 ('MetaCons "DijkstraCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole))) :+: (C1 ('MetaCons "DijkstraDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))) :+: C1 ('MetaCons "DijkstraCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'ColdCommitteeRole))))))

conwayToDijkstraGovCertPredFailure ∷ ConwayGovCertPredFailure era → DijkstraGovCertPredFailure era Source #

data DijkstraLEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "CERTS" era) (DijkstraLEDGER 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 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, ConwayEraCertState era, EraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era) ⇒ STS (DijkstraLEDGER era) Source #

Instance details

Associated Types

type State (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type State (DijkstraLEDGER era) = LedgerState era
type Signal (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Signal (DijkstraLEDGER era) = Tx 'TopTx era
type Environment (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Environment (DijkstraLEDGER era) = LedgerEnv era
type BaseM (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type BaseM (DijkstraLEDGER era) = ShelleyBase
type Event (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type Event (DijkstraLEDGER era) = ConwayLedgerEvent era
type PredicateFailure (DijkstraLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Ledger type PredicateFailure (DijkstraLEDGER era) = DijkstraLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraLEDGER 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, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayCERTS era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayCERTS era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (ConwayCERTS era) → Event (DijkstraLEDGER 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, EraCertState era, ConwayEraCertState era) ⇒ Embed (ConwayDELEG era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (ConwayDELEG era) → Event (DijkstraLEDGER era) Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, BaseM (DijkstraLEDGER era) ~ ShelleyBase, PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, EraCertState era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraGOV era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraGOV era) → Event (DijkstraLEDGER era) Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRuleFailure "LEDGER" era ~ DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (DijkstraMEMPOOL era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (DijkstraMEMPOOL era) Source #

(Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER 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 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, EraRule "GOV" era ~ DijkstraGOV era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, EraGov era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era) ⇒ Embed (DijkstraLEDGER era) (ShelleyLEDGERS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (ShelleyLEDGERS era) Source #

(BaseM (DijkstraUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (DijkstraUTXOW 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 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (DijkstraUTXOW era), PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure era, Event (DijkstraUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (DijkstraUTXOW era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXOW era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraUTXOW era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraLEDGER era) Source #

Instance details

type BaseM (DijkstraLEDGER era) = ShelleyBase

type Environment (DijkstraLEDGER era) Source #

Instance details

type Environment (DijkstraLEDGER era) = LedgerEnv era

type Event (DijkstraLEDGER era) Source #

Instance details

type Event (DijkstraLEDGER era) = ConwayLedgerEvent era

type PredicateFailure (DijkstraLEDGER era) Source #

Instance details

type PredicateFailure (DijkstraLEDGER era) = DijkstraLedgerPredFailure era

type Signal (DijkstraLEDGER era) Source #

Instance details

type Signal (DijkstraLEDGER era) = Tx 'TopTx era

type State (DijkstraLEDGER era) Source #

Instance details

type State (DijkstraLEDGER era) = LedgerState era

data DijkstraLedgerPredFailure era Source #

Constructors

DijkstraUtxowFailure (PredicateFailure (EraRule "UTXOW" era))
DijkstraCertsFailure (PredicateFailure (EraRule "CERTS" era))
DijkstraGovFailure (PredicateFailure (EraRule "GOV" era))
DijkstraWdrlNotDelegatedToDRep (NonEmpty (KeyHash 'Staking))
DijkstraTreasuryValueMismatch (Mismatch 'RelEQ Coin)
DijkstraTxRefScriptsSizeTooBig (Mismatch 'RelLTEQ Int)
DijkstraMempoolFailure Text
DijkstraWithdrawalsMissingAccounts Withdrawals
DijkstraIncompleteWithdrawals (Map RewardAccount (Mismatch 'RelEQ Coin))

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraLedgerPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ DecCBOR (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraLedgerPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraLedgerPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraLedgerPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) ⇒ EncCBOR (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraLedgerPredFailure era → Encoding Source #

(Era era, NFData (PredicateFailure (EraRule "UTXOW" era)), NFData (PredicateFailure (EraRule "CERTS" era)), NFData (PredicateFailure (EraRule "GOV" era))) ⇒ NFData (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraLedgerPredFailure era → () #

Generic (DijkstraLedgerPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraLedgerPredFailure era)

Instance details

Methods

from ∷ DijkstraLedgerPredFailure era → Rep (DijkstraLedgerPredFailure era) x #

to ∷ Rep (DijkstraLedgerPredFailure era) x → DijkstraLedgerPredFailure era #

(Era era, Show (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era))) ⇒ Show (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraLedgerPredFailure era → ShowS #

show ∷ DijkstraLedgerPredFailure era → String #

showList ∷ [DijkstraLedgerPredFailure era] → ShowS #

(Era era, Eq (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era))) ⇒ Eq (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraLedgerPredFailure era → DijkstraLedgerPredFailure era → Bool #

(/=) ∷ DijkstraLedgerPredFailure era → DijkstraLedgerPredFailure era → Bool #

(Era era, NoThunks (PredicateFailure (EraRule "UTXOW" era)), NoThunks (PredicateFailure (EraRule "CERTS" era)), NoThunks (PredicateFailure (EraRule "GOV" era))) ⇒ NoThunks (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraLedgerPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraLedgerPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraLedgerPredFailure era) → String Source #

type Rep (DijkstraLedgerPredFailure era) Source #

Instance details

conwayToDijkstraLedgerPredFailure ∷ ConwayLedgerPredFailure era → DijkstraLedgerPredFailure era Source #

data DijkstraMEMPOOL era Source #

Instances

Instances details

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (DijkstraMEMPOOL era), State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "CERTS" era)), Eq (PredicateFailure (EraRule "GOV" era)), Eq (PredicateFailure (EraRule "UTXOW" era)), Show (PredicateFailure (EraRule "CERTS" era)), Show (PredicateFailure (EraRule "GOV" era)), Show (PredicateFailure (EraRule "UTXOW" era)), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Tx 'TopTx era ~ Signal (EraRule "LEDGER" era)) ⇒ STS (DijkstraMEMPOOL era) Source #

Instance details

Associated Types

type State (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (DijkstraMEMPOOL era) = LedgerState era
type Signal (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Signal (DijkstraMEMPOOL era) = Tx 'TopTx era
type Environment (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Environment (DijkstraMEMPOOL era) = LedgerEnv era
type BaseM (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type BaseM (DijkstraMEMPOOL era) = ShelleyBase
type Event (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Event (DijkstraMEMPOOL era) = ConwayLedgerEvent era
type PredicateFailure (DijkstraMEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (DijkstraMEMPOOL era) = DijkstraLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraMEMPOOL era)] Source #

assertions ∷ [Assertion (DijkstraMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraMEMPOOL era) → String Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, BaseM (EraRule "CERTS" era) ~ ShelleyBase, BaseM (EraRule "GOV" era) ~ ShelleyBase, BaseM (EraRule "UTXOW" era) ~ ShelleyBase, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "LEDGER" era) ~ LedgerState era, GovState era ~ ConwayGovState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRuleFailure "LEDGER" era ~ DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraLEDGER era) → PredicateFailure (DijkstraMEMPOOL era) Source #

wrapEvent ∷ Event (DijkstraLEDGER era) → Event (DijkstraMEMPOOL era) Source #

type BaseM (DijkstraMEMPOOL era) Source #

Instance details

type BaseM (DijkstraMEMPOOL era) = ShelleyBase

type Environment (DijkstraMEMPOOL era) Source #

Instance details

type Environment (DijkstraMEMPOOL era) = LedgerEnv era

type Event (DijkstraMEMPOOL era) Source #

Instance details

type Event (DijkstraMEMPOOL era) = ConwayLedgerEvent era

type PredicateFailure (DijkstraMEMPOOL era) Source #

Instance details

type PredicateFailure (DijkstraMEMPOOL era) = DijkstraLedgerPredFailure era

type Signal (DijkstraMEMPOOL era) Source #

Instance details

type Signal (DijkstraMEMPOOL era) = Tx 'TopTx era

type State (DijkstraMEMPOOL era) Source #

Instance details

type State (DijkstraMEMPOOL era) = LedgerState era

data DijkstraUtxoPredFailure era Source #

Predicate failure for the Dijkstra Era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))	Subtransition Failures
BadInputsUTxO (Set TxIn)	The bad transaction inputs
OutsideValidityIntervalUTxO
Fields ValidityInterval transaction's validity interval SlotNo current slot
MaxTxSizeUTxO (Mismatch 'RelLTEQ Word32)
InputSetEmptyUTxO
FeeTooSmallUTxO (Mismatch 'RelGTEQ Coin)
ValueNotConservedUTxO (Mismatch 'RelEQ (Value era))
WrongNetwork	the set of addresses with incorrect network IDs
Fields Network the expected network id (Set Addr) the set of addresses with incorrect network IDs
WrongNetworkWithdrawal
Fields Network the expected network id (Set RewardAccount) the set of reward addresses with incorrect network IDs
OutputTooSmallUTxO [TxOut era]	list of supplied transaction outputs that are too small
OutputBootAddrAttrsTooBig [TxOut era]	list of supplied bad transaction outputs
OutputTooBigUTxO [(Int, Int, TxOut era)]	list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)
InsufficientCollateral
Fields DeltaCoin balance computed Coin the required collateral for the given fee
ScriptsNotPaidUTxO (UTxO era)	The UTxO entries which have the wrong kind of script
ExUnitsTooBigUTxO (Mismatch 'RelLTEQ ExUnits)
CollateralContainsNonADA (Value era)	The inputs marked for use as fees contain non-ADA tokens
WrongNetworkInTxBody (Mismatch 'RelEQ Network)	Wrong Network ID in body
OutsideForecast SlotNo	slot number outside consensus forecast range
TooManyCollateralInputs (Mismatch 'RelLTEQ Natural)	There are too many collateral inputs
NoCollateralInputs
IncorrectTotalCollateralField	The collateral is not equivalent to the total collateral asserted by the transaction
Fields DeltaCoin collateral provided Coin collateral amount declared in transaction body
BabbageOutputTooSmallUTxO [(TxOut era, Coin)]	list of supplied transaction outputs that are too small, together with the minimum value for the given output.
BabbageNonDisjointRefInputs (NonEmpty TxIn)	TxIns that appear in both inputs and reference inputs
PtrPresentInCollateralReturn (TxOut era)

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "UTXO" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXO" DijkstraEra Source #

InjectRuleFailure "UTXOW" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ DecCBOR (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraUtxoPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraUtxoPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraUtxoPredFailure era) → Text Source #

(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) ⇒ EncCBOR (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraUtxoPredFailure era → Encoding Source #

(Era era, NFData (Value era), NFData (TxOut era), NFData (PredicateFailure (EraRule "UTXOS" era))) ⇒ NFData (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraUtxoPredFailure era → () #

Generic (DijkstraUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraUtxoPredFailure era)

Instance details

Methods

from ∷ DijkstraUtxoPredFailure era → Rep (DijkstraUtxoPredFailure era) x #

to ∷ Rep (DijkstraUtxoPredFailure era) x → DijkstraUtxoPredFailure era #

(Era era, Show (Value era), Show (PredicateFailure (EraRule "UTXOS" era)), Show (TxOut era), Show (Script era), Show TxIn) ⇒ Show (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraUtxoPredFailure era → ShowS #

show ∷ DijkstraUtxoPredFailure era → String #

showList ∷ [DijkstraUtxoPredFailure era] → ShowS #

(Era era, Eq (Value era), Eq (PredicateFailure (EraRule "UTXOS" era)), Eq (TxOut era), Eq (Script era), Eq TxIn) ⇒ Eq (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraUtxoPredFailure era → DijkstraUtxoPredFailure era → Bool #

(/=) ∷ DijkstraUtxoPredFailure era → DijkstraUtxoPredFailure era → Bool #

NoThunks (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraUtxoPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraUtxoPredFailure era) → String Source #

type Rep (DijkstraUtxoPredFailure era) Source #

Instance details

data DijkstraUTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ DijkstraUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, InjectRuleFailure "UTXO" DijkstraUtxoPredFailure era, Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (DijkstraUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraCertState era, EraRule "UTXO" era ~ DijkstraUTXO era, SafeToHash (TxWits era)) ⇒ STS (DijkstraUTXO era) Source #

Instance details

Associated Types

type State (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type State (DijkstraUTXO era) = UTxOState era
type Signal (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Signal (DijkstraUTXO era) = Tx 'TopTx era
type Environment (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Environment (DijkstraUTXO era) = UtxoEnv era
type BaseM (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type BaseM (DijkstraUTXO era) = ShelleyBase
type Event (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type Event (DijkstraUTXO era) = AlonzoUtxoEvent era
type PredicateFailure (DijkstraUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxo type PredicateFailure (DijkstraUTXO era) = DijkstraUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXO era)] Source #

assertions ∷ [Assertion (DijkstraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXO era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (ConwayUTXOS era) → PredicateFailure (DijkstraUTXO era) Source #

wrapEvent ∷ Event (ConwayUTXOS era) → Event (DijkstraUTXO era) Source #

(Era era, STS (DijkstraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (DijkstraUTXOW era) ~ ShelleyBase, PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure era, Event (DijkstraUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (DijkstraUTXO era) (DijkstraUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXO era) → PredicateFailure (DijkstraUTXOW era) Source #

wrapEvent ∷ Event (DijkstraUTXO era) → Event (DijkstraUTXOW era) Source #

type BaseM (DijkstraUTXO era) Source #

Instance details

type BaseM (DijkstraUTXO era) = ShelleyBase

type Environment (DijkstraUTXO era) Source #

Instance details

type Environment (DijkstraUTXO era) = UtxoEnv era

type Event (DijkstraUTXO era) Source #

Instance details

type Event (DijkstraUTXO era) = AlonzoUtxoEvent era

type PredicateFailure (DijkstraUTXO era) Source #

Instance details

type PredicateFailure (DijkstraUTXO era) = DijkstraUtxoPredFailure era

type Signal (DijkstraUTXO era) Source #

Instance details

type Signal (DijkstraUTXO era) = Tx 'TopTx era

type State (DijkstraUTXO era) Source #

Instance details

type State (DijkstraUTXO era) = UTxOState era

conwayToDijkstraUtxoPredFailure ∷ ConwayUtxoPredFailure era → DijkstraUtxoPredFailure era Source #

data DijkstraUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW [VKey 'Witness]
MissingVKeyWitnessesUTXOW	witnesses which failed in verifiedWits function
Fields (Set (KeyHash 'Witness)) witnesses which were needed and not supplied
MissingScriptWitnessesUTXOW (Set ScriptHash)	missing scripts
ScriptWitnessNotValidatingUTXOW (Set ScriptHash)	failed scripts
MissingTxBodyMetadataHash TxAuxDataHash	hash of the full metadata
MissingTxMetadata TxAuxDataHash	hash of the metadata included in the transaction body
ConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash)
InvalidMetadata	Contains out of range values (string`s too long)
ExtraneousScriptWitnessesUTXOW (Set ScriptHash)	extraneous scripts
MissingRedeemers [(PlutusPurpose AsItem era, ScriptHash)]
MissingRequiredDatums
Fields (Set DataHash) Set of missing data hashes (Set DataHash) Set of received data hashes
NotAllowedSupplementalDatums
Fields (Set DataHash) Set of unallowed data hashes. (Set DataHash) Set of acceptable supplemental data hashes
PPViewHashesDontMatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))
UnspendableUTxONoDatumHash (Set TxIn)	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)	Embed UTXO rule failures
MalformedReferenceScripts (Set ScriptHash)	the set of malformed script witnesses
ScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)	The computed script integrity hash does not match the provided script integrity hash

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #

InjectRuleFailure "LEDGERS" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "LEDGERS" DijkstraEra Source #

InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "UTXOW" DijkstraEra Source #

(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ DecCBOR (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraUtxowPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraUtxowPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraUtxowPredFailure era) → Text Source #

(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "UTXO" era))) ⇒ EncCBOR (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraUtxowPredFailure era → Encoding Source #

(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "UTXO" era))) ⇒ NFData (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraUtxowPredFailure era → () #

Generic (DijkstraUtxowPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraUtxowPredFailure era)

Instance details

Methods

from ∷ DijkstraUtxowPredFailure era → Rep (DijkstraUtxowPredFailure era) x #

to ∷ Rep (DijkstraUtxowPredFailure era) x → DijkstraUtxowPredFailure era #

(ConwayEraScript era, Show (PredicateFailure (EraRule "UTXO" era))) ⇒ Show (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraUtxowPredFailure era → ShowS #

show ∷ DijkstraUtxowPredFailure era → String #

showList ∷ [DijkstraUtxowPredFailure era] → ShowS #

(ConwayEraScript era, Eq (PredicateFailure (EraRule "UTXO" era))) ⇒ Eq (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

(==) ∷ DijkstraUtxowPredFailure era → DijkstraUtxowPredFailure era → Bool #

(/=) ∷ DijkstraUtxowPredFailure era → DijkstraUtxowPredFailure era → Bool #

NoThunks (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

noThunks ∷ Context → DijkstraUtxowPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraUtxowPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraUtxowPredFailure era) → String Source #

type Rep (DijkstraUtxowPredFailure era) Source #

Instance details

data DijkstraUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, ConwayEraTxBody era, EraRule "UTXOW" era ~ DijkstraUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "UTXOW" ConwayUtxowPredFailure era, InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure era, Embed (EraRule "UTXO" era) (DijkstraUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (DijkstraUTXOW era) Source #

Instance details

Associated Types

type State (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type State (DijkstraUTXOW era) = UTxOState era
type Signal (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type Signal (DijkstraUTXOW era) = Tx 'TopTx era
type Environment (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type Environment (DijkstraUTXOW era) = UtxoEnv era
type BaseM (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type BaseM (DijkstraUTXOW era) = ShelleyBase
type Event (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type Event (DijkstraUTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (DijkstraUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Utxow type PredicateFailure (DijkstraUTXOW era) = DijkstraUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraUTXOW era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXOW era)] Source #

assertions ∷ [Assertion (DijkstraUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXOW era) → String Source #

(Era era, STS (DijkstraUTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (DijkstraUTXOW era) ~ ShelleyBase, PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure era, Event (DijkstraUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (DijkstraUTXO era) (DijkstraUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXO era) → PredicateFailure (DijkstraUTXOW era) Source #

wrapEvent ∷ Event (DijkstraUTXO era) → Event (DijkstraUTXOW era) Source #

(BaseM (DijkstraUTXOW era) ~ ShelleyBase, AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (DijkstraUTXOW 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 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (DijkstraUTXOW era), PredicateFailure (DijkstraUTXOW era) ~ DijkstraUtxowPredFailure era, Event (DijkstraUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (DijkstraUTXOW era) (DijkstraLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraUTXOW era) → PredicateFailure (DijkstraLEDGER era) Source #

wrapEvent ∷ Event (DijkstraUTXOW era) → Event (DijkstraLEDGER era) Source #

type BaseM (DijkstraUTXOW era) Source #

Instance details

type BaseM (DijkstraUTXOW era) = ShelleyBase

type Environment (DijkstraUTXOW era) Source #

Instance details

type Environment (DijkstraUTXOW era) = UtxoEnv era

type Event (DijkstraUTXOW era) Source #

Instance details

type Event (DijkstraUTXOW era) = AlonzoUtxowEvent era

type PredicateFailure (DijkstraUTXOW era) Source #

Instance details

type PredicateFailure (DijkstraUTXOW era) = DijkstraUtxowPredFailure era

type Signal (DijkstraUTXOW era) Source #

Instance details

type Signal (DijkstraUTXOW era) = Tx 'TopTx era

type State (DijkstraUTXOW era) Source #

Instance details