Documentation

type BaseM (BBODY era) = ShelleyBase

type Environment (BBODY era) Source #

Instance details

type Environment (BBODY era) = BbodyEnv era

type Event (BBODY era) Source #

Instance details

type Event (BBODY era) = AlonzoBbodyEvent era

type PredicateFailure (BBODY era) Source #

Instance details

type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure era

type Signal (BBODY era) Source #

Instance details

type Signal (BBODY era) = DijkstraBbodySignal era

type State (BBODY era) Source #

Instance details

type State (BBODY era) = ShelleyBbodyState era

data DijkstraBbodyPredFailure era Source #

Constructors

WrongBlockBodySizeBBODY (Mismatch 'RelEQ Int)
InvalidBodyHashBBODY (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody))
LedgersFailure (PredicateFailure (EraRule "LEDGERS" era))	LEDGERS rule subtransition Failures
TooManyExUnits (Mismatch 'RelLTEQ ExUnits)
BodyRefScriptsSizeTooBig (Mismatch 'RelLTEQ Int)
PerasCertValidationFailed PerasCert Nonce

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraBbodyPredFailure DijkstraEra Source #

Instance details

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 #

NFData (PredicateFailure (EraRule "LEDGERS" era)) ⇒ NFData (DijkstraBbodyPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraBbodyPredFailure era → () #

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.3.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))) :+: C1 ('MetaCons "PerasCertValidationFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCert) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce)))))

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 #

type Rep (DijkstraBbodyPredFailure era) Source #

Instance details

type Rep (DijkstraBbodyPredFailure era) = D1 ('MetaData "DijkstraBbodyPredFailure" "Cardano.Ledger.Dijkstra.Rules.Bbody" "cardano-ledger-dijkstra-0.3.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))) :+: C1 ('MetaCons "PerasCertValidationFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCert) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce)))))

conwayToDijkstraBbodyPredFailure ∷ ConwayBbodyPredFailure era → DijkstraBbodyPredFailure era Source #

Validate that Peras certificate is in the block body.

data GOV era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOV era)] Source #

transitionRules ∷ [TransitionRule (GOV era)] Source #

assertions ∷ [Assertion (GOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOV era) → String Source #

(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (GOV era) → Event (LEDGER era) Source #

type BaseM (GOV era) Source #

Instance details

type BaseM (GOV era) = ShelleyBase

type Environment (GOV era) Source #

Instance details

type Environment (GOV era) = GovEnv era

type Event (GOV era) Source #

Instance details

type Event (GOV era) = ConwayGovEvent era

type PredicateFailure (GOV era) Source #

Instance details

type PredicateFailure (GOV era) = DijkstraGovPredFailure era

type Signal (GOV era) Source #

Instance details

type Signal (GOV era) = GovSignal era

type State (GOV era) Source #

Instance details

type State (GOV era) = Proposals era

data DijkstraGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty GovActionId)
MalformedProposal (GovAction era)
ProposalProcedureNetworkIdMismatch AccountAddress Network
TreasuryWithdrawalsNetworkIdMismatch (NonEmptySet AccountAddress) 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 (NonEmptySet (Credential 'ColdCommitteeRole)) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (NonEmptyMap (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
InvalidGuardrailsScriptHash
Fields (StrictMaybe ScriptHash) The guardrails script hash in the proposal (StrictMaybe ScriptHash) The guardrails 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 AccountAddress	Proposals that have an invalid account address for returns of the deposit
TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty AccountAddress)	Treasury withdrawal proposals to an invalid account address
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 #

InjectRuleFailure "SUBGOV" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" DijkstraEra 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 #

type Rep (DijkstraGovPredFailure era) Source #

Instance details

pattern InvalidPolicyHash ∷ StrictMaybe ScriptHash → StrictMaybe ScriptHash → DijkstraGovPredFailure era Source #

Deprecated: In favor of InvalidGuardrailsScriptHash

conwayToDijkstraGovPredFailure ∷ ConwayGovPredFailure era → DijkstraGovPredFailure era Source #

data GOVCERT era Source #

Instances

Instances details

(ConwayEraPParams era, ConwayEraCertState 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 ~ GOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (GOVCERT era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOVCERT era)] Source #

transitionRules ∷ [TransitionRule (GOVCERT era)] Source #

assertions ∷ [Assertion (GOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOVCERT era) → String Source #

(STS (GOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ DijkstraGovCertPredFailure era) ⇒ Embed (GOVCERT era) (CERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Methods

wrapFailed ∷ PredicateFailure (GOVCERT era) → PredicateFailure (CERT era) Source #

wrapEvent ∷ Event (GOVCERT era) → Event (CERT era) Source #

type BaseM (GOVCERT era) Source #

Instance details

type BaseM (GOVCERT era) = ShelleyBase

type Environment (GOVCERT era) Source #

Instance details

type Environment (GOVCERT era) = ConwayGovCertEnv era

type Event (GOVCERT era) Source #

Instance details

type Event (GOVCERT era) = Void

type PredicateFailure (GOVCERT era) Source #

Instance details

type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure era

type Signal (GOVCERT era) Source #

Instance details

type Signal (GOVCERT era) = ConwayGovCert

type State (GOVCERT era) Source #

Instance details

type State (GOVCERT 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 #

InjectRuleFailure "SUBGOVCERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

injectFailure ∷ DijkstraGovCertPredFailure DijkstraEra → EraRuleFailure "SUBGOVCERT" 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.3.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 #

type Rep (DijkstraGovCertPredFailure era) Source #

Instance details

type Rep (DijkstraGovCertPredFailure era) = D1 ('MetaData "DijkstraGovCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.GovCert" "cardano-ledger-dijkstra-0.3.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 LEDGER era Source #

Instances

Instances details

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "SUBLEDGERS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ DijkstraUtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "SUBLEDGERS" era) ~ [StAnnTx 'SubTx era], ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era) ⇒ STS (LEDGER era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(STS (CERTS era), PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era) ⇒ Embed (CERTS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (CERTS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (CERTS era) → Event (LEDGER era) Source #

(STS (GOV era), PredicateFailure (EraRule "GOV" era) ~ DijkstraGovPredFailure era, Event (EraRule "GOV" era) ~ ConwayGovEvent era) ⇒ Embed (GOV era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (GOV era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (GOV era) → Event (LEDGER era) Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (LEDGERS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (LEDGERS era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (LEDGERS era) Source #

(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) ⇒ Embed (SUBLEDGERS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGERS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (SUBLEDGERS era) → Event (LEDGER era) Source #

(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

type BaseM (LEDGER era) Source #

Instance details

type BaseM (LEDGER era) = ShelleyBase

type Environment (LEDGER era) Source #

Instance details

type Environment (LEDGER era) = LedgerEnv era

type Event (LEDGER era) Source #

Instance details

type Event (LEDGER era) = DijkstraLedgerEvent era

type PredicateFailure (LEDGER era) Source #

Instance details

type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure era

type Signal (LEDGER era) Source #

Instance details

type Signal (LEDGER era) = StAnnTx 'TopTx era

type State (LEDGER era) Source #

Instance details

type State (LEDGER era) = LedgerState era

data DijkstraLedgerEvent era Source #

Constructors

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

Instances

Instances details

InjectRuleEvent "LEDGER" DijkstraLedgerEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraLedgerEvent DijkstraEra → EraRuleEvent "LEDGER" DijkstraEra Source #

(NFData (Event (EraRule "CERTS" era)), NFData (Event (EraRule "UTXOW" era)), NFData (Event (EraRule "GOV" era)), NFData (Event (EraRule "SUBLEDGERS" era))) ⇒ NFData (DijkstraLedgerEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraLedgerEvent era → () #

Generic (DijkstraLedgerEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraLedgerEvent era)

Instance details

type Rep (DijkstraLedgerEvent era) = D1 ('MetaData "DijkstraLedgerEvent" "Cardano.Ledger.Dijkstra.Rules.Ledger" "cardano-ledger-dijkstra-0.3.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)))) :+: C1 ('MetaCons "SubLedgersEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBLEDGERS" era))))))

Methods

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

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

(Eq (Event (EraRule "CERTS" era)), Eq (Event (EraRule "UTXOW" era)), Eq (Event (EraRule "GOV" era)), Eq (Event (EraRule "SUBLEDGERS" era))) ⇒ Eq (DijkstraLedgerEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraLedgerEvent era) Source #

Instance details

type Rep (DijkstraLedgerEvent era) = D1 ('MetaData "DijkstraLedgerEvent" "Cardano.Ledger.Dijkstra.Rules.Ledger" "cardano-ledger-dijkstra-0.3.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)))) :+: C1 ('MetaCons "SubLedgersEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBLEDGERS" 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)
DijkstraWithdrawalsMissingAccounts Withdrawals
DijkstraIncompleteWithdrawals (NonEmptyMap AccountAddress (Mismatch 'RelEQ Coin))
DijkstraSubLedgersFailure (PredicateFailure (EraRule "SUBLEDGERS" era))

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 (PredicateFailure (EraRule "SUBLEDGERS" 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 (PredicateFailure (EraRule "SUBLEDGERS" 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 (PredicateFailure (EraRule "SUBLEDGERS" 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 (PredicateFailure (EraRule "SUBLEDGERS" 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 (PredicateFailure (EraRule "SUBLEDGERS" era))) ⇒ Eq (DijkstraLedgerPredFailure era) Source #

Instance details

Methods

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

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

Inject (NonEmpty (DijkstraLedgerPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraLedgerPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

type Rep (DijkstraLedgerPredFailure era) Source #

Instance details

shelleyToDijkstraLedgerPredFailure ∷ ShelleyLedgerPredFailure era → DijkstraLedgerPredFailure era Source #

conwayToDijkstraLedgerPredFailure ∷ ConwayLedgerPredFailure era → DijkstraLedgerPredFailure era Source #

data MEMPOOL era Source #

Instances

Instances details

Instance details

Associated Types

type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type Signal (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Signal (MEMPOOL era) = StAnnTx 'TopTx era
type Environment (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Environment (MEMPOOL era) = LedgerEnv era
type BaseM (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type BaseM (MEMPOOL era) = ShelleyBase
type Event (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Event (MEMPOOL era) = DijkstraMempoolEvent era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era

Methods

initialRules ∷ [InitialRule (MEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (MEMPOOL era)] Source #

assertions ∷ [Assertion (MEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (MEMPOOL era) → String Source #

(STS (LEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ DijkstraLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ DijkstraLedgerEvent era) ⇒ Embed (LEDGER era) (MEMPOOL era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (LEDGER era) → PredicateFailure (MEMPOOL era) Source #

wrapEvent ∷ Event (LEDGER era) → Event (MEMPOOL era) Source #

type BaseM (MEMPOOL era) Source #

Instance details

type BaseM (MEMPOOL era) = ShelleyBase

type Environment (MEMPOOL era) Source #

Instance details

type Environment (MEMPOOL era) = LedgerEnv era

type Event (MEMPOOL era) Source #

Instance details

type Event (MEMPOOL era) = DijkstraMempoolEvent era

type PredicateFailure (MEMPOOL era) Source #

Instance details

type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era

type Signal (MEMPOOL era) Source #

Instance details

type Signal (MEMPOOL era) = StAnnTx 'TopTx era

type State (MEMPOOL era) Source #

Instance details

type State (MEMPOOL era) = LedgerState era

newtype DijkstraMempoolEvent era Source #

Constructors

LedgerEvent (Event (EraRule "LEDGER" era))

Instances

Instances details

NFData (Event (EraRule "LEDGER" era)) ⇒ NFData (DijkstraMempoolEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraMempoolEvent era → () #

Generic (DijkstraMempoolEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraMempoolEvent era)

Instance details

type Rep (DijkstraMempoolEvent era) = D1 ('MetaData "DijkstraMempoolEvent" "Cardano.Ledger.Dijkstra.Rules.Mempool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "LedgerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGER" era)))))

Methods

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

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

Eq (Event (EraRule "LEDGER" era)) ⇒ Eq (DijkstraMempoolEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraMempoolEvent era) Source #

Instance details

type Rep (DijkstraMempoolEvent era) = D1 ('MetaData "DijkstraMempoolEvent" "Cardano.Ledger.Dijkstra.Rules.Mempool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "LedgerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "LEDGER" era)))))

data DijkstraMempoolPredFailure era Source #

Constructors

LedgerFailure (PredicateFailure (EraRule "LEDGER" era))
MempoolFailure Text
AllInputsAreSpent

Instances

Instances details

InjectRuleFailure "MEMPOOL" DijkstraMempoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraMempoolPredFailure DijkstraEra → EraRuleFailure "MEMPOOL" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ DecCBOR (DijkstraMempoolPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraMempoolPredFailure era) Source #

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

label ∷ Proxy (DijkstraMempoolPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) ⇒ EncCBOR (DijkstraMempoolPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraMempoolPredFailure era → Encoding Source #

Generic (DijkstraMempoolPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraMempoolPredFailure era)

Instance details

type Rep (DijkstraMempoolPredFailure era) = D1 ('MetaData "DijkstraMempoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.Mempool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "LedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGER" era)))) :+: (C1 ('MetaCons "MempoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "AllInputsAreSpent" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

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

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

Show (PredicateFailure (EraRule "LEDGER" era)) ⇒ Show (DijkstraMempoolPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraMempoolPredFailure era → ShowS #

show ∷ DijkstraMempoolPredFailure era → String #

showList ∷ [DijkstraMempoolPredFailure era] → ShowS #

Eq (PredicateFailure (EraRule "LEDGER" era)) ⇒ Eq (DijkstraMempoolPredFailure era) Source #

Instance details

Methods

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

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

Inject (NonEmpty (DijkstraMempoolPredFailure DijkstraEra)) (ApplyTxError DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra

Methods

inject ∷ NonEmpty (DijkstraMempoolPredFailure DijkstraEra) → ApplyTxError DijkstraEra Source #

type Rep (DijkstraMempoolPredFailure era) Source #

Instance details

type Rep (DijkstraMempoolPredFailure era) = D1 ('MetaData "DijkstraMempoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.Mempool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "LedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGER" era)))) :+: (C1 ('MetaCons "MempoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "AllInputsAreSpent" 'PrefixI 'False) (U1 ∷ Type → Type)))

data SUBCERT era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ SUBCERT era, EraRule "SUBDELEG" era ~ SUBDELEG era, EraRule "SUBPOOL" era ~ SUBPOOL era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, Embed (EraRule "SUBDELEG" era) (SUBCERT era), Embed (EraRule "SUBPOOL" era) (SUBCERT era), Embed (EraRule "SUBGOVCERT" era) (SUBCERT era), TxCert era ~ DijkstraTxCert era) ⇒ STS (SUBCERT era) Source #

Instance details

Associated Types

type State (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type State (SUBCERT era) = CertState era
type Signal (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Signal (SUBCERT era) = TxCert era
type Environment (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Environment (SUBCERT era) = CertEnv era
type BaseM (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type BaseM (SUBCERT era) = ShelleyBase
type Event (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Event (SUBCERT era) = DijkstraSubCertEvent era
type PredicateFailure (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBCERT era)] Source #

assertions ∷ [Assertion (SUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERT era) → String Source #

(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) ⇒ Embed (SUBCERT era) (SUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERT era) → PredicateFailure (SUBCERTS era) Source #

wrapEvent ∷ Event (SUBCERT era) → Event (SUBCERTS era) Source #

(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) ⇒ Embed (SUBDELEG era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBDELEG era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBDELEG era) → Event (SUBCERT era) Source #

(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) ⇒ Embed (SUBGOVCERT era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOVCERT era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBGOVCERT era) → Event (SUBCERT era) Source #

(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) ⇒ Embed (SUBPOOL era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBPOOL era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBPOOL era) → Event (SUBCERT era) Source #

type BaseM (SUBCERT era) Source #

Instance details

type BaseM (SUBCERT era) = ShelleyBase

type Environment (SUBCERT era) Source #

Instance details

type Environment (SUBCERT era) = CertEnv era

type Event (SUBCERT era) Source #

Instance details

type Event (SUBCERT era) = DijkstraSubCertEvent era

type PredicateFailure (SUBCERT era) Source #

Instance details

type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era

type Signal (SUBCERT era) Source #

Instance details

type Signal (SUBCERT era) = TxCert era

type State (SUBCERT era) Source #

Instance details

type State (SUBCERT era) = CertState era

data DijkstraSubCertPredFailure era Source #

Constructors

SubDelegFailure (PredicateFailure (EraRule "SUBDELEG" era))
SubPoolFailure (PredicateFailure (EraRule "SUBPOOL" era))
SubGovCertFailure (PredicateFailure (EraRule "SUBGOVCERT" era))

Instances

Instances details

InjectRuleFailure "SUBCERT" DijkstraSubCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBCERTS" DijkstraSubCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertPredFailure DijkstraEra → EraRuleFailure "SUBCERTS" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "SUBDELEG" era)), DecCBOR (PredicateFailure (EraRule "SUBPOOL" era)), DecCBOR (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ DecCBOR (DijkstraSubCertPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubCertPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubCertPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "SUBDELEG" era)), EncCBOR (PredicateFailure (EraRule "SUBPOOL" era)), EncCBOR (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ EncCBOR (DijkstraSubCertPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubCertPredFailure era → Encoding Source #

(NFData (PredicateFailure (EraRule "SUBDELEG" era)), NFData (PredicateFailure (EraRule "SUBPOOL" era)), NFData (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ NFData (DijkstraSubCertPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubCertPredFailure era → () #

Generic (DijkstraSubCertPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubCertPredFailure era)

Instance details

type Rep (DijkstraSubCertPredFailure era) = D1 ('MetaData "DijkstraSubCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubDelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBDELEG" era)))) :+: (C1 ('MetaCons "SubPoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBPOOL" era)))) :+: C1 ('MetaCons "SubGovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBGOVCERT" era))))))

Methods

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

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

(Show (PredicateFailure (EraRule "SUBDELEG" era)), Show (PredicateFailure (EraRule "SUBPOOL" era)), Show (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ Show (DijkstraSubCertPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubCertPredFailure era → ShowS #

show ∷ DijkstraSubCertPredFailure era → String #

showList ∷ [DijkstraSubCertPredFailure era] → ShowS #

(Eq (PredicateFailure (EraRule "SUBDELEG" era)), Eq (PredicateFailure (EraRule "SUBPOOL" era)), Eq (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ Eq (DijkstraSubCertPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubCertPredFailure era) Source #

Instance details

type Rep (DijkstraSubCertPredFailure era) = D1 ('MetaData "DijkstraSubCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubDelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBDELEG" era)))) :+: (C1 ('MetaCons "SubPoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBPOOL" era)))) :+: C1 ('MetaCons "SubGovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBGOVCERT" era))))))

newtype DijkstraSubCertEvent era Source #

Constructors

SubPoolEvent (Event (EraRule "SUBPOOL" era))

Instances

Instances details

InjectRuleEvent "SUBCERT" DijkstraSubCertEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubCertEvent DijkstraEra → EraRuleEvent "SUBCERT" DijkstraEra Source #

NFData (Event (EraRule "SUBPOOL" era)) ⇒ NFData (DijkstraSubCertEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubCertEvent era → () #

Generic (DijkstraSubCertEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubCertEvent era)

Instance details

type Rep (DijkstraSubCertEvent era) = D1 ('MetaData "DijkstraSubCertEvent" "Cardano.Ledger.Dijkstra.Rules.SubCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubPoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBPOOL" era)))))

Methods

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

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

Eq (Event (EraRule "SUBPOOL" era)) ⇒ Eq (DijkstraSubCertEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubCertEvent era) Source #

Instance details

type Rep (DijkstraSubCertEvent era) = D1 ('MetaData "DijkstraSubCertEvent" "Cardano.Ledger.Dijkstra.Rules.SubCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubPoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBPOOL" era)))))

data SubCertsEnv era Source #

Constructors

SubCertsEnv
Fields certsTx ∷ Tx 'SubTx era certsPParams ∷ PParams era certsCurrentEpoch ∷ EpochNo Lazy on purpose, because not all certificates need to know the current EpochNo certsCurrentCommittee ∷ StrictMaybe (Committee era) certsCommitteeProposals ∷ Map (GovPurposeId 'CommitteePurpose) (GovActionState era)

Instances

Instances details

EraTx era ⇒ EncCBOR (SubCertsEnv era) Source #

Instance details

Methods

encCBOR ∷ SubCertsEnv era → Encoding Source #

(EraPParams era, NFData (Tx 'SubTx era)) ⇒ NFData (SubCertsEnv era) Source #

Instance details

Methods

rnf ∷ SubCertsEnv era → () #

Generic (SubCertsEnv era) Source #

Instance details

Associated Types

type Rep (SubCertsEnv era)

Instance details

type Rep (SubCertsEnv era) = D1 ('MetaData "SubCertsEnv" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubCertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'SubTx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era)))))))

Methods

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

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

(EraPParams era, Show (Tx 'SubTx era)) ⇒ Show (SubCertsEnv era) Source #

Instance details

Methods

showsPrec ∷ Int → SubCertsEnv era → ShowS #

show ∷ SubCertsEnv era → String #

showList ∷ [SubCertsEnv era] → ShowS #

(EraPParams era, Eq (Tx 'SubTx era)) ⇒ Eq (SubCertsEnv era) Source #

Instance details

Methods

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

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

type Rep (SubCertsEnv era) Source #

Instance details

type Rep (SubCertsEnv era) = D1 ('MetaData "SubCertsEnv" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubCertsEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "certsTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'SubTx era)) :*: S1 ('MetaSel ('Just "certsPParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "certsCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "certsCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "certsCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose) (GovActionState era)))))))

data SUBCERTS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ SUBCERTS era, EraRule "SUBCERT" era ~ SUBCERT era, Embed (EraRule "SUBCERT" era) (SUBCERTS era)) ⇒ STS (SUBCERTS era) Source #

Instance details

Associated Types

type State (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type State (SUBCERTS era) = CertState era
type Signal (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Signal (SUBCERTS era) = Seq (TxCert era)
type Environment (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Environment (SUBCERTS era) = SubCertsEnv era
type BaseM (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type BaseM (SUBCERTS era) = ShelleyBase
type Event (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Event (SUBCERTS era) = DijkstraSubCertsEvent era
type PredicateFailure (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (SUBCERTS era)] Source #

assertions ∷ [Assertion (SUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERTS era) → String Source #

(STS (SUBCERT era), PredicateFailure (EraRule "SUBCERT" era) ~ DijkstraSubCertPredFailure era, Event (EraRule "SUBCERT" era) ~ DijkstraSubCertEvent era) ⇒ Embed (SUBCERT era) (SUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERT era) → PredicateFailure (SUBCERTS era) Source #

wrapEvent ∷ Event (SUBCERT era) → Event (SUBCERTS era) Source #

(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) ⇒ Embed (SUBCERTS era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERTS era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBCERTS era) → Event (SUBLEDGER era) Source #

type BaseM (SUBCERTS era) Source #

Instance details

type BaseM (SUBCERTS era) = ShelleyBase

type Environment (SUBCERTS era) Source #

Instance details

type Environment (SUBCERTS era) = SubCertsEnv era

type Event (SUBCERTS era) Source #

Instance details

type Event (SUBCERTS era) = DijkstraSubCertsEvent era

type PredicateFailure (SUBCERTS era) Source #

Instance details

type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era

type Signal (SUBCERTS era) Source #

Instance details

type Signal (SUBCERTS era) = Seq (TxCert era)

type State (SUBCERTS era) Source #

Instance details

type State (SUBCERTS era) = CertState era

newtype DijkstraSubCertsPredFailure era Source #

Constructors

SubCertFailure (PredicateFailure (EraRule "SUBCERT" era))

Instances

Instances details

InjectRuleFailure "SUBCERTS" DijkstraSubCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertsPredFailure DijkstraEra → EraRuleFailure "SUBCERTS" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubCertsPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubCertsPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "SUBCERT" era))) ⇒ DecCBOR (DijkstraSubCertsPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubCertsPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubCertsPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "SUBCERT" era))) ⇒ EncCBOR (DijkstraSubCertsPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubCertsPredFailure era → Encoding Source #

NFData (PredicateFailure (EraRule "SUBCERT" era)) ⇒ NFData (DijkstraSubCertsPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubCertsPredFailure era → () #

Generic (DijkstraSubCertsPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubCertsPredFailure era)

Instance details

type Rep (DijkstraSubCertsPredFailure era) = D1 ('MetaData "DijkstraSubCertsPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBCERT" era)))))

Methods

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

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

Show (PredicateFailure (EraRule "SUBCERT" era)) ⇒ Show (DijkstraSubCertsPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubCertsPredFailure era → ShowS #

show ∷ DijkstraSubCertsPredFailure era → String #

showList ∷ [DijkstraSubCertsPredFailure era] → ShowS #

Eq (PredicateFailure (EraRule "SUBCERT" era)) ⇒ Eq (DijkstraSubCertsPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubCertsPredFailure era) Source #

Instance details

type Rep (DijkstraSubCertsPredFailure era) = D1 ('MetaData "DijkstraSubCertsPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBCERT" era)))))

newtype DijkstraSubCertsEvent era Source #

Constructors

SubCertEvent (Event (EraRule "SUBCERT" era))

Instances

Instances details

InjectRuleEvent "SUBCERTS" DijkstraSubCertsEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubCertsEvent DijkstraEra → EraRuleEvent "SUBCERTS" DijkstraEra Source #

NFData (Event (EraRule "SUBCERT" era)) ⇒ NFData (DijkstraSubCertsEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubCertsEvent era → () #

Generic (DijkstraSubCertsEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubCertsEvent era)

Instance details

type Rep (DijkstraSubCertsEvent era) = D1 ('MetaData "DijkstraSubCertsEvent" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBCERT" era)))))

Methods

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

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

Eq (Event (EraRule "SUBCERT" era)) ⇒ Eq (DijkstraSubCertsEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubCertsEvent era) Source #

Instance details

type Rep (DijkstraSubCertsEvent era) = D1 ('MetaData "DijkstraSubCertsEvent" "Cardano.Ledger.Dijkstra.Rules.SubCerts" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBCERT" era)))))

data SUBDELEG era Source #

Instances

Instances details

(EraGov era, ConwayEraCertState era, EraRule "SUBDELEG" era ~ SUBDELEG era, InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure era) ⇒ STS (SUBDELEG era) Source #

Instance details

Associated Types

type State (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type State (SUBDELEG era) = CertState era
type Signal (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Signal (SUBDELEG era) = ConwayDelegCert
type Environment (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Environment (SUBDELEG era) = ConwayDelegEnv era
type BaseM (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type BaseM (SUBDELEG era) = ShelleyBase
type Event (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Event (SUBDELEG era) = Void
type PredicateFailure (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era

Methods

initialRules ∷ [InitialRule (SUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (SUBDELEG era)] Source #

assertions ∷ [Assertion (SUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBDELEG era) → String Source #

(STS (SUBDELEG era), PredicateFailure (EraRule "SUBDELEG" era) ~ DijkstraSubDelegPredFailure era) ⇒ Embed (SUBDELEG era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBDELEG era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBDELEG era) → Event (SUBCERT era) Source #

type BaseM (SUBDELEG era) Source #

Instance details

type BaseM (SUBDELEG era) = ShelleyBase

type Environment (SUBDELEG era) Source #

Instance details

type Environment (SUBDELEG era) = ConwayDelegEnv era

type Event (SUBDELEG era) Source #

Instance details

type Event (SUBDELEG era) = Void

type PredicateFailure (SUBDELEG era) Source #

Instance details

type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era

type Signal (SUBDELEG era) Source #

Instance details

type Signal (SUBDELEG era) = ConwayDelegCert

type State (SUBDELEG era) Source #

Instance details

type State (SUBDELEG era) = CertState era

newtype DijkstraSubDelegPredFailure era Source #

Constructors

DijkstraSubDelegPredFailure (ConwayDelegPredFailure era)

Instances

Instances details

InjectRuleFailure "SUBCERT" DijkstraSubDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubDelegPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBDELEG" DijkstraSubDelegPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubDelegPredFailure DijkstraEra → EraRuleFailure "SUBDELEG" DijkstraEra Source #

Era era ⇒ DecCBOR (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubDelegPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubDelegPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubDelegPredFailure era → Encoding Source #

NFData (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubDelegPredFailure era → () #

Generic (DijkstraSubDelegPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubDelegPredFailure era)

Instance details

type Rep (DijkstraSubDelegPredFailure era) = D1 ('MetaData "DijkstraSubDelegPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubDeleg" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubDelegPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayDelegPredFailure era))))

Methods

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

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

Show (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubDelegPredFailure era → ShowS #

show ∷ DijkstraSubDelegPredFailure era → String #

showList ∷ [DijkstraSubDelegPredFailure era] → ShowS #

Eq (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubDelegPredFailure era) Source #

Instance details

type Rep (DijkstraSubDelegPredFailure era) = D1 ('MetaData "DijkstraSubDelegPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubDeleg" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubDelegPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayDelegPredFailure era))))

data SUBGOVCERT era Source #

Instances

Instances details

(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure era, InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure era) ⇒ STS (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (SUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBGOVCERT era)] Source #

assertions ∷ [Assertion (SUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOVCERT era) → String Source #

(Era era, STS (SUBGOVCERT era), PredicateFailure (EraRule "SUBGOVCERT" era) ~ DijkstraSubGovCertPredFailure era) ⇒ Embed (SUBGOVCERT era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOVCERT era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBGOVCERT era) → Event (SUBCERT era) Source #

type BaseM (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type BaseM (SUBGOVCERT era) = ShelleyBase

type Environment (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Environment (SUBGOVCERT era) = ConwayGovCertEnv era

type Event (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Event (SUBGOVCERT era) = Void

type PredicateFailure (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure era

type Signal (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Signal (SUBGOVCERT era) = ConwayGovCert

type State (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type State (SUBGOVCERT era) = CertState era

newtype DijkstraSubGovCertPredFailure era Source #

Constructors

DijkstraSubGovCertPredFailure (DijkstraGovCertPredFailure era)

Instances

Instances details

InjectRuleFailure "SUBCERT" DijkstraSubGovCertPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovCertPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

injectFailure ∷ DijkstraSubGovCertPredFailure DijkstraEra → EraRuleFailure "SUBGOVCERT" DijkstraEra Source #

Typeable era ⇒ DecCBOR (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

decCBOR ∷ Decoder s (DijkstraSubGovCertPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubGovCertPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

encCBOR ∷ DijkstraSubGovCertPredFailure era → Encoding Source #

NFData (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

rnf ∷ DijkstraSubGovCertPredFailure era → () #

Generic (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

type Rep (DijkstraSubGovCertPredFailure era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Rep (DijkstraSubGovCertPredFailure era) = D1 ('MetaData "DijkstraSubGovCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGovCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovCertPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovCertPredFailure era))))

Methods

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

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

Show (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

showsPrec ∷ Int → DijkstraSubGovCertPredFailure era → ShowS #

show ∷ DijkstraSubGovCertPredFailure era → String #

showList ∷ [DijkstraSubGovCertPredFailure era] → ShowS #

Eq (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

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

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

type Rep (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Rep (DijkstraSubGovCertPredFailure era) = D1 ('MetaData "DijkstraSubGovCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGovCert" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovCertPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovCertPredFailure era))))

data SUBGOV era Source #

Instances

Instances details

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "SUBGOV" era ~ SUBGOV era, InjectRuleEvent "SUBGOV" DijkstraSubGovEvent era, InjectRuleEvent "SUBGOV" ConwayGovEvent era, InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure era, InjectRuleFailure "SUBGOV" ConwayGovPredFailure era) ⇒ STS (SUBGOV era) Source #

Instance details

Associated Types

type State (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type State (SUBGOV era) = Proposals era
type Signal (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Signal (SUBGOV era) = GovSignal era
type Environment (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Environment (SUBGOV era) = GovEnv era
type BaseM (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type BaseM (SUBGOV era) = ShelleyBase
type Event (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Event (SUBGOV era) = DijkstraSubGovEvent era
type PredicateFailure (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era

Methods

initialRules ∷ [InitialRule (SUBGOV era)] Source #

transitionRules ∷ [TransitionRule (SUBGOV era)] Source #

assertions ∷ [Assertion (SUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOV era) → String Source #

(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) ⇒ Embed (SUBGOV era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOV era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBGOV era) → Event (SUBLEDGER era) Source #

type BaseM (SUBGOV era) Source #

Instance details

type BaseM (SUBGOV era) = ShelleyBase

type Environment (SUBGOV era) Source #

Instance details

type Environment (SUBGOV era) = GovEnv era

type Event (SUBGOV era) Source #

Instance details

type Event (SUBGOV era) = DijkstraSubGovEvent era

type PredicateFailure (SUBGOV era) Source #

Instance details

type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era

type Signal (SUBGOV era) Source #

Instance details

type Signal (SUBGOV era) = GovSignal era

type State (SUBGOV era) Source #

Instance details

type State (SUBGOV era) = Proposals era

newtype DijkstraSubGovPredFailure era Source #

Constructors

DijkstraSubGovPredFailure (DijkstraGovPredFailure era)

Instances

Instances details

InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovPredFailure DijkstraEra → EraRuleFailure "SUBGOV" DijkstraEra Source #

InjectRuleFailure "SUBLEDGER" DijkstraSubGovPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubGovPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

EraPParams era ⇒ DecCBOR (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubGovPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubGovPredFailure era) → Text Source #

EraPParams era ⇒ EncCBOR (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubGovPredFailure era → Encoding Source #

EraPParams era ⇒ NFData (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubGovPredFailure era → () #

Generic (DijkstraSubGovPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubGovPredFailure era)

Instance details

type Rep (DijkstraSubGovPredFailure era) = D1 ('MetaData "DijkstraSubGovPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovPredFailure era))))

Methods

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

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

EraPParams era ⇒ Show (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubGovPredFailure era → ShowS #

show ∷ DijkstraSubGovPredFailure era → String #

showList ∷ [DijkstraSubGovPredFailure era] → ShowS #

EraPParams era ⇒ Eq (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubGovPredFailure era) Source #

Instance details

type Rep (DijkstraSubGovPredFailure era) = D1 ('MetaData "DijkstraSubGovPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DijkstraGovPredFailure era))))

newtype DijkstraSubGovEvent era Source #

Constructors

DijkstraSubGovEvent (ConwayGovEvent era)

Instances

Instances details

InjectRuleEvent "SUBGOV" DijkstraSubGovEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubGovEvent DijkstraEra → EraRuleEvent "SUBGOV" DijkstraEra Source #

EraPParams era ⇒ NFData (DijkstraSubGovEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubGovEvent era → () #

Generic (DijkstraSubGovEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubGovEvent era)

Instance details

type Rep (DijkstraSubGovEvent era) = D1 ('MetaData "DijkstraSubGovEvent" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayGovEvent era))))

Methods

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

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

EraPParams era ⇒ Eq (DijkstraSubGovEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubGovEvent era) Source #

Instance details

type Rep (DijkstraSubGovEvent era) = D1 ('MetaData "DijkstraSubGovEvent" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubGovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConwayGovEvent era))))

data SUBLEDGER era Source #

Instances

Instances details

Instance details

Associated Types

type State (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (SUBLEDGER era) = LedgerState era
type Signal (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (SUBLEDGER era) = StAnnTx 'SubTx era
type Environment (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (SUBLEDGER era) = SubLedgerEnv era
type BaseM (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (SUBLEDGER era) = ShelleyBase
type Event (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (SUBLEDGER era) = DijkstraSubLedgerEvent era
type PredicateFailure (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGER era)] Source #

assertions ∷ [Assertion (SUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGER era) → String Source #

(STS (SUBCERTS era), PredicateFailure (EraRule "SUBCERTS" era) ~ DijkstraSubCertsPredFailure era, Event (EraRule "SUBCERTS" era) ~ DijkstraSubCertsEvent era) ⇒ Embed (SUBCERTS era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBCERTS era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBCERTS era) → Event (SUBLEDGER era) Source #

(STS (SUBGOV era), PredicateFailure (EraRule "SUBGOV" era) ~ DijkstraSubGovPredFailure era, Event (EraRule "SUBGOV" era) ~ DijkstraSubGovEvent era) ⇒ Embed (SUBGOV era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBGOV era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBGOV era) → Event (SUBLEDGER era) Source #

(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) ⇒ Embed (SUBLEDGER era) (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGER era) → PredicateFailure (SUBLEDGERS era) Source #

wrapEvent ∷ Event (SUBLEDGER era) → Event (SUBLEDGERS era) Source #

(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) ⇒ Embed (SUBUTXOW era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXOW era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBUTXOW era) → Event (SUBLEDGER era) Source #

type BaseM (SUBLEDGER era) Source #

Instance details

type BaseM (SUBLEDGER era) = ShelleyBase

type Environment (SUBLEDGER era) Source #

Instance details

type Environment (SUBLEDGER era) = SubLedgerEnv era

type Event (SUBLEDGER era) Source #

Instance details

type Event (SUBLEDGER era) = DijkstraSubLedgerEvent era

type PredicateFailure (SUBLEDGER era) Source #

Instance details

type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era

type Signal (SUBLEDGER era) Source #

Instance details

type Signal (SUBLEDGER era) = StAnnTx 'SubTx era

type State (SUBLEDGER era) Source #

Instance details

type State (SUBLEDGER era) = LedgerState era

data DijkstraSubLedgerPredFailure era Source #

Constructors

SubUtxowFailure (PredicateFailure (EraRule "SUBUTXOW" era))
SubCertsFailure (PredicateFailure (EraRule "SUBCERTS" era))
SubGovFailure (PredicateFailure (EraRule "SUBGOV" era))
SubWdrlNotDelegatedToDRep (NonEmpty (KeyHash 'Staking))
SubTreasuryValueMismatch (Mismatch 'RelEQ Coin)

Instances

Instances details

InjectRuleFailure "SUBLEDGER" DijkstraSubLedgerPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubLedgerPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgerPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectFailure ∷ DijkstraSubLedgerPredFailure DijkstraEra → EraRuleFailure "SUBLEDGERS" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "SUBUTXOW" era)), DecCBOR (PredicateFailure (EraRule "SUBCERTS" era)), DecCBOR (PredicateFailure (EraRule "SUBGOV" era))) ⇒ DecCBOR (DijkstraSubLedgerPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubLedgerPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubLedgerPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "SUBUTXOW" era)), EncCBOR (PredicateFailure (EraRule "SUBCERTS" era)), EncCBOR (PredicateFailure (EraRule "SUBGOV" era))) ⇒ EncCBOR (DijkstraSubLedgerPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubLedgerPredFailure era → Encoding Source #

(NFData (PredicateFailure (EraRule "SUBGOV" era)), NFData (PredicateFailure (EraRule "SUBCERTS" era)), NFData (PredicateFailure (EraRule "SUBUTXOW" era))) ⇒ NFData (DijkstraSubLedgerPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubLedgerPredFailure era → () #

Generic (DijkstraSubLedgerPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubLedgerPredFailure era)

Instance details

type Rep (DijkstraSubLedgerPredFailure era) = D1 ('MetaData "DijkstraSubLedgerPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubLedger" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "SubUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBUTXOW" era)))) :+: C1 ('MetaCons "SubCertsFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBCERTS" era))))) :+: (C1 ('MetaCons "SubGovFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBGOV" era)))) :+: (C1 ('MetaCons "SubWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (KeyHash 'Staking)))) :+: C1 ('MetaCons "SubTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))))))

Methods

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

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

(Show (PredicateFailure (EraRule "SUBGOV" era)), Show (PredicateFailure (EraRule "SUBCERTS" era)), Show (PredicateFailure (EraRule "SUBUTXOW" era))) ⇒ Show (DijkstraSubLedgerPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubLedgerPredFailure era → ShowS #

show ∷ DijkstraSubLedgerPredFailure era → String #

showList ∷ [DijkstraSubLedgerPredFailure era] → ShowS #

(Eq (PredicateFailure (EraRule "SUBGOV" era)), Eq (PredicateFailure (EraRule "SUBCERTS" era)), Eq (PredicateFailure (EraRule "SUBUTXOW" era))) ⇒ Eq (DijkstraSubLedgerPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubLedgerPredFailure era) Source #

Instance details

type Rep (DijkstraSubLedgerPredFailure era) = D1 ('MetaData "DijkstraSubLedgerPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubLedger" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "SubUtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBUTXOW" era)))) :+: C1 ('MetaCons "SubCertsFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBCERTS" era))))) :+: (C1 ('MetaCons "SubGovFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBGOV" era)))) :+: (C1 ('MetaCons "SubWdrlNotDelegatedToDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (KeyHash 'Staking)))) :+: C1 ('MetaCons "SubTreasuryValueMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Coin))))))

data DijkstraSubLedgerEvent era Source #

Constructors

SubCertsEvent (Event (EraRule "SUBCERTS" era))
SubGovEvent (Event (EraRule "SUBGOV" era))
SubUtxowEvent (Event (EraRule "SUBUTXOW" era))

Instances

Instances details

InjectRuleEvent "SUBLEDGER" DijkstraSubLedgerEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubLedgerEvent DijkstraEra → EraRuleEvent "SUBLEDGER" DijkstraEra Source #

(NFData (Event (EraRule "SUBCERTS" era)), NFData (Event (EraRule "SUBGOV" era)), NFData (Event (EraRule "SUBUTXOW" era))) ⇒ NFData (DijkstraSubLedgerEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubLedgerEvent era → () #

Generic (DijkstraSubLedgerEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubLedgerEvent era)

Instance details

type Rep (DijkstraSubLedgerEvent era) = D1 ('MetaData "DijkstraSubLedgerEvent" "Cardano.Ledger.Dijkstra.Rules.SubLedger" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubCertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBCERTS" era)))) :+: (C1 ('MetaCons "SubGovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBGOV" era)))) :+: C1 ('MetaCons "SubUtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBUTXOW" era))))))

Methods

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

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

(Eq (Event (EraRule "SUBCERTS" era)), Eq (Event (EraRule "SUBGOV" era)), Eq (Event (EraRule "SUBUTXOW" era))) ⇒ Eq (DijkstraSubLedgerEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubLedgerEvent era) Source #

Instance details

type Rep (DijkstraSubLedgerEvent era) = D1 ('MetaData "DijkstraSubLedgerEvent" "Cardano.Ledger.Dijkstra.Rules.SubLedger" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "SubCertsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBCERTS" era)))) :+: (C1 ('MetaCons "SubGovEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBGOV" era)))) :+: C1 ('MetaCons "SubUtxowEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBUTXOW" era))))))

data SubLedgerEnv era Source #

Constructors

SubLedgerEnv
Fields sleSlotNo ∷ SlotNo sleEpochNo ∷ Maybe EpochNo sleTxIx ∷ TxIx slePParams ∷ PParams era sleAccount ∷ ChainAccountState sleOriginalUtxo ∷ UTxO era sleTopTxIsValid ∷ IsValid

data SUBLEDGERS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era, EraRule "SUBLEDGER" era ~ SUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (SUBLEDGERS era), InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era) ⇒ STS (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (SUBLEDGERS era) = LedgerState era
type Signal (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (SUBLEDGERS era) = [StAnnTx 'SubTx era]
type Environment (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (SUBLEDGERS era) = SubLedgerEnv era
type BaseM (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (SUBLEDGERS era) = ShelleyBase
type Event (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent era
type PredicateFailure (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGERS era)] Source #

assertions ∷ [Assertion (SUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGERS era) → String Source #

(STS (SUBLEDGER era), PredicateFailure (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerPredFailure era, Event (EraRule "SUBLEDGER" era) ~ DijkstraSubLedgerEvent era) ⇒ Embed (SUBLEDGER era) (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGER era) → PredicateFailure (SUBLEDGERS era) Source #

wrapEvent ∷ Event (SUBLEDGER era) → Event (SUBLEDGERS era) Source #

(STS (SUBLEDGERS era), PredicateFailure (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersPredFailure era, Event (EraRule "SUBLEDGERS" era) ~ DijkstraSubLedgersEvent era) ⇒ Embed (SUBLEDGERS era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBLEDGERS era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (SUBLEDGERS era) → Event (LEDGER era) Source #

type BaseM (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type BaseM (SUBLEDGERS era) = ShelleyBase

type Environment (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Environment (SUBLEDGERS era) = SubLedgerEnv era

type Event (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent era

type PredicateFailure (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era

type Signal (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Signal (SUBLEDGERS era) = [StAnnTx 'SubTx era]

type State (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type State (SUBLEDGERS era) = LedgerState era

newtype DijkstraSubLedgersPredFailure era Source #

Constructors

SubLedgerFailure (PredicateFailure (EraRule "SUBLEDGER" era))

Instances

Instances details

InjectRuleFailure "LEDGER" DijkstraSubLedgersPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBLEDGERS" DijkstraSubLedgersPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectFailure ∷ DijkstraSubLedgersPredFailure DijkstraEra → EraRuleFailure "SUBLEDGERS" DijkstraEra Source #

(Era era, DecCBOR (PredicateFailure (EraRule "SUBLEDGER" era))) ⇒ DecCBOR (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

decCBOR ∷ Decoder s (DijkstraSubLedgersPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubLedgersPredFailure era) → Text Source #

(Era era, EncCBOR (PredicateFailure (EraRule "SUBLEDGER" era))) ⇒ EncCBOR (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

encCBOR ∷ DijkstraSubLedgersPredFailure era → Encoding Source #

NFData (PredicateFailure (EraRule "SUBLEDGER" era)) ⇒ NFData (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

rnf ∷ DijkstraSubLedgersPredFailure era → () #

Generic (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type Rep (DijkstraSubLedgersPredFailure era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Rep (DijkstraSubLedgersPredFailure era) = D1 ('MetaData "DijkstraSubLedgersPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubLedgers" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubLedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBLEDGER" era)))))

Methods

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

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

Show (PredicateFailure (EraRule "SUBLEDGER" era)) ⇒ Show (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

showsPrec ∷ Int → DijkstraSubLedgersPredFailure era → ShowS #

show ∷ DijkstraSubLedgersPredFailure era → String #

showList ∷ [DijkstraSubLedgersPredFailure era] → ShowS #

Eq (PredicateFailure (EraRule "SUBLEDGER" era)) ⇒ Eq (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

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

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

type Rep (DijkstraSubLedgersPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Rep (DijkstraSubLedgersPredFailure era) = D1 ('MetaData "DijkstraSubLedgersPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubLedgers" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubLedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBLEDGER" era)))))

newtype DijkstraSubLedgersEvent era Source #

Constructors

SubLedgerEvent (Event (EraRule "SUBLEDGER" era))

Instances

Instances details

InjectRuleEvent "SUBLEDGERS" DijkstraSubLedgersEvent DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

injectEvent ∷ DijkstraSubLedgersEvent DijkstraEra → EraRuleEvent "SUBLEDGERS" DijkstraEra Source #

NFData (Event (EraRule "SUBLEDGER" era)) ⇒ NFData (DijkstraSubLedgersEvent era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

rnf ∷ DijkstraSubLedgersEvent era → () #

Generic (DijkstraSubLedgersEvent era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type Rep (DijkstraSubLedgersEvent era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Rep (DijkstraSubLedgersEvent era) = D1 ('MetaData "DijkstraSubLedgersEvent" "Cardano.Ledger.Dijkstra.Rules.SubLedgers" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubLedgerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBLEDGER" era)))))

Methods

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

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

Eq (Event (EraRule "SUBLEDGER" era)) ⇒ Eq (DijkstraSubLedgersEvent era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

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

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

type Rep (DijkstraSubLedgersEvent era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Rep (DijkstraSubLedgersEvent era) = D1 ('MetaData "DijkstraSubLedgersEvent" "Cardano.Ledger.Dijkstra.Rules.SubLedgers" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubLedgerEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBLEDGER" era)))))

data SUBPOOL era Source #

Instances

Instances details

(EraGov era, EraRule "SUBPOOL" era ~ SUBPOOL era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era) ⇒ STS (SUBPOOL era) Source #

Instance details

Associated Types

type State (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type State (SUBPOOL era) = PState era
type Signal (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Signal (SUBPOOL era) = PoolCert
type Environment (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Environment (SUBPOOL era) = PoolEnv era
type BaseM (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type BaseM (SUBPOOL era) = ShelleyBase
type Event (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Event (SUBPOOL era) = DijkstraSubPoolEvent era
type PredicateFailure (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era

Methods

initialRules ∷ [InitialRule (SUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (SUBPOOL era)] Source #

assertions ∷ [Assertion (SUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBPOOL era) → String Source #

(STS (SUBPOOL era), PredicateFailure (EraRule "SUBPOOL" era) ~ DijkstraSubPoolPredFailure era, Event (EraRule "SUBPOOL" era) ~ DijkstraSubPoolEvent era) ⇒ Embed (SUBPOOL era) (SUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBPOOL era) → PredicateFailure (SUBCERT era) Source #

wrapEvent ∷ Event (SUBPOOL era) → Event (SUBCERT era) Source #

type BaseM (SUBPOOL era) Source #

Instance details

type BaseM (SUBPOOL era) = ShelleyBase

type Environment (SUBPOOL era) Source #

Instance details

type Environment (SUBPOOL era) = PoolEnv era

type Event (SUBPOOL era) Source #

Instance details

type Event (SUBPOOL era) = DijkstraSubPoolEvent era

type PredicateFailure (SUBPOOL era) Source #

Instance details

type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era

type Signal (SUBPOOL era) Source #

Instance details

type Signal (SUBPOOL era) = PoolCert

type State (SUBPOOL era) Source #

Instance details

type State (SUBPOOL era) = PState era

newtype DijkstraSubPoolEvent era Source #

Constructors

DijkstraSubPoolEvent (PoolEvent era)

Instances

Instances details

InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubPoolEvent DijkstraEra → EraRuleEvent "SUBPOOL" DijkstraEra Source #

NFData (DijkstraSubPoolEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubPoolEvent era → () #

Generic (DijkstraSubPoolEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubPoolEvent era)

Instance details

type Rep (DijkstraSubPoolEvent era) = D1 ('MetaData "DijkstraSubPoolEvent" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubPoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PoolEvent era))))

Methods

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

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

Eq (DijkstraSubPoolEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubPoolEvent era) Source #

Instance details

type Rep (DijkstraSubPoolEvent era) = D1 ('MetaData "DijkstraSubPoolEvent" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubPoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PoolEvent era))))

newtype DijkstraSubPoolPredFailure era Source #

Constructors

DijkstraSubPoolPredFailure (ShelleyPoolPredFailure era)

Instances

Instances details

InjectRuleFailure "SUBCERT" DijkstraSubPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubPoolPredFailure DijkstraEra → EraRuleFailure "SUBCERT" DijkstraEra Source #

InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubPoolPredFailure DijkstraEra → EraRuleFailure "SUBPOOL" DijkstraEra Source #

Era era ⇒ DecCBOR (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubPoolPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubPoolPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubPoolPredFailure era → Encoding Source #

NFData (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubPoolPredFailure era → () #

Generic (DijkstraSubPoolPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubPoolPredFailure era)

Instance details

type Rep (DijkstraSubPoolPredFailure era) = D1 ('MetaData "DijkstraSubPoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubPoolPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyPoolPredFailure era))))

Methods

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

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

Show (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubPoolPredFailure era → ShowS #

show ∷ DijkstraSubPoolPredFailure era → String #

showList ∷ [DijkstraSubPoolPredFailure era] → ShowS #

Eq (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubPoolPredFailure era) Source #

Instance details

type Rep (DijkstraSubPoolPredFailure era) = D1 ('MetaData "DijkstraSubPoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraSubPoolPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyPoolPredFailure era))))

data DijkstraSubUtxoEvent era Source #

Constructors

TotalDeposits (SafeHash EraIndependentTxBody) Coin
TxUTxODiff	The UTxOs consumed and created by a signal tx
Fields (UTxO era) UTxO consumed (UTxO era) UTxO created

Instances

Instances details

InjectRuleEvent "SUBUTXO" DijkstraSubUtxoEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubUtxoEvent DijkstraEra → EraRuleEvent "SUBUTXO" DijkstraEra Source #

(Era era, NFData (TxOut era)) ⇒ NFData (DijkstraSubUtxoEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubUtxoEvent era → () #

Generic (DijkstraSubUtxoEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubUtxoEvent era)

Instance details

type Rep (DijkstraSubUtxoEvent era) = D1 ('MetaData "DijkstraSubUtxoEvent" "Cardano.Ledger.Dijkstra.Rules.SubUtxo" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: 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))))

Methods

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

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

(Era era, Eq (TxOut era)) ⇒ Eq (DijkstraSubUtxoEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubUtxoEvent era) Source #

Instance details

type Rep (DijkstraSubUtxoEvent era) = D1 ('MetaData "DijkstraSubUtxoEvent" "Cardano.Ledger.Dijkstra.Rules.SubUtxo" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "TotalDeposits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: 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))))

data SUBUTXO era Source #

Instances

Instances details

(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRule "SUBUTXO" era ~ SUBUTXO era, InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure era, InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure era) ⇒ STS (SUBUTXO era) Source #

Instance details

Associated Types

type State (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (SUBUTXO era) = UTxOState era
type Signal (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (SUBUTXO era) = StAnnTx 'SubTx era
type Environment (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (SUBUTXO era) = SubUtxoEnv era
type BaseM (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (SUBUTXO era) = ShelleyBase
type Event (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (SUBUTXO era) = DijkstraSubUtxoEvent era
type PredicateFailure (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXO era)] Source #

assertions ∷ [Assertion (SUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXO era) → String Source #

(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) ⇒ Embed (SUBUTXO era) (SUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXO era) → PredicateFailure (SUBUTXOW era) Source #

wrapEvent ∷ Event (SUBUTXO era) → Event (SUBUTXOW era) Source #

type BaseM (SUBUTXO era) Source #

Instance details

type BaseM (SUBUTXO era) = ShelleyBase

type Environment (SUBUTXO era) Source #

Instance details

type Environment (SUBUTXO era) = SubUtxoEnv era

type Event (SUBUTXO era) Source #

Instance details

type Event (SUBUTXO era) = DijkstraSubUtxoEvent era

type PredicateFailure (SUBUTXO era) Source #

Instance details

type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era

type Signal (SUBUTXO era) Source #

Instance details

type Signal (SUBUTXO era) = StAnnTx 'SubTx era

type State (SUBUTXO era) Source #

Instance details

type State (SUBUTXO era) = UTxOState era

data SubUtxoEnv era Source #

Constructors

SubUtxoEnv
Fields sueSlot ∷ SlotNo suePParams ∷ PParams era sueCertState ∷ CertState era sueOriginalUtxo ∷ UTxO era sueTopTxIsValid ∷ IsValid

data DijkstraSubUtxoPredFailure era Source #

Constructors

SubBadInputsUTxO (NonEmptySet TxIn)	The bad transaction inputs
SubOutsideValidityIntervalUTxO
Fields ValidityInterval transaction's validity interval SlotNo current slot
SubMaxTxSizeUTxO (Mismatch 'RelLTEQ Word32)
SubInputSetEmptyUTxO
SubWrongNetwork	the set of addresses with incorrect network IDs
Fields Network the expected network id (NonEmptySet Addr) the set of addresses with incorrect network IDs
SubWrongNetworkWithdrawal
Fields Network the expected network id (NonEmptySet AccountAddress) the set of reward addresses with incorrect network IDs
SubOutputBootAddrAttrsTooBig (NonEmpty (TxOut era))	list of supplied bad transaction outputs
SubOutputTooBigUTxO (NonEmpty (Int, Int, TxOut era))	list of supplied bad transaction output triples (actualSize,PParameterMaxValue,TxOut)
SubWrongNetworkInTxBody (Mismatch 'RelEQ Network)	Wrong Network ID in body
SubOutsideForecast SlotNo	slot number outside consensus forecast range
SubBabbageOutputTooSmallUTxO (NonEmpty (TxOut era, Coin))	list of supplied transaction outputs that are too small, together with the minimum value for the given output.
SubWrongNetworkInDirectDeposit
Fields Network the expected network id (NonEmptySet AccountAddress) the set of account addresses with incorrect network IDs

Instances

Instances details

InjectRuleFailure "SUBUTXO" DijkstraSubUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" DijkstraSubUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

(Era era, DecCBOR (TxOut era), EncCBOR (Value era), DecCBOR (Value era)) ⇒ DecCBOR (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubUtxoPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubUtxoPredFailure era) → Text Source #

(Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubUtxoPredFailure era → Encoding Source #

(Era era, NFData (Value era), NFData (TxOut era)) ⇒ NFData (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubUtxoPredFailure era → () #

Generic (DijkstraSubUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubUtxoPredFailure era)

Instance details

Methods

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

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

(Era era, Show (Value era), Show (TxOut era), Show (Script era), Show TxIn) ⇒ Show (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubUtxoPredFailure era → ShowS #

show ∷ DijkstraSubUtxoPredFailure era → String #

showList ∷ [DijkstraSubUtxoPredFailure era] → ShowS #

(Era era, Eq (Value era), Eq (TxOut era), Eq (Script era), Eq TxIn) ⇒ Eq (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubUtxoPredFailure era) Source #

Instance details

data SUBUTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxOut era, ConwayEraGov era, ConwayEraTxBody era, DijkstraEraTxBody era, EraPlutusContext era, EraRule "SUBUTXO" era ~ SUBUTXO era, EraRule "SUBUTXOW" era ~ SUBUTXOW era, Embed (EraRule "SUBUTXO" era) (SUBUTXOW era), InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era) ⇒ STS (SUBUTXOW era) Source #

Instance details

Associated Types

type State (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (SUBUTXOW era) = UTxOState era
type Signal (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (SUBUTXOW era) = StAnnTx 'SubTx era
type Environment (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (SUBUTXOW era) = SubUtxoEnv era
type BaseM (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (SUBUTXOW era) = ShelleyBase
type Event (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (SUBUTXOW era) = DijkstraSubUtxowEvent era
type PredicateFailure (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXOW era)] Source #

assertions ∷ [Assertion (SUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXOW era) → String Source #

(STS (SUBUTXO era), PredicateFailure (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoPredFailure era, Event (EraRule "SUBUTXO" era) ~ DijkstraSubUtxoEvent era) ⇒ Embed (SUBUTXO era) (SUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXO era) → PredicateFailure (SUBUTXOW era) Source #

wrapEvent ∷ Event (SUBUTXO era) → Event (SUBUTXOW era) Source #

(STS (SUBUTXOW era), PredicateFailure (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowPredFailure era, Event (EraRule "SUBUTXOW" era) ~ DijkstraSubUtxowEvent era) ⇒ Embed (SUBUTXOW era) (SUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (SUBUTXOW era) → PredicateFailure (SUBLEDGER era) Source #

wrapEvent ∷ Event (SUBUTXOW era) → Event (SUBLEDGER era) Source #

type BaseM (SUBUTXOW era) Source #

Instance details

type BaseM (SUBUTXOW era) = ShelleyBase

type Environment (SUBUTXOW era) Source #

Instance details

type Environment (SUBUTXOW era) = SubUtxoEnv era

type Event (SUBUTXOW era) Source #

Instance details

type Event (SUBUTXOW era) = DijkstraSubUtxowEvent era

type PredicateFailure (SUBUTXOW era) Source #

Instance details

type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era

type Signal (SUBUTXOW era) Source #

Instance details

type Signal (SUBUTXOW era) = StAnnTx 'SubTx era

type State (SUBUTXOW era) Source #

Instance details

type State (SUBUTXOW era) = UTxOState era

newtype DijkstraSubUtxowEvent era Source #

Constructors

SubUtxo (Event (EraRule "SUBUTXO" era))

Instances

Instances details

InjectRuleEvent "SUBUTXOW" DijkstraSubUtxowEvent DijkstraEra Source #

Instance details

Methods

injectEvent ∷ DijkstraSubUtxowEvent DijkstraEra → EraRuleEvent "SUBUTXOW" DijkstraEra Source #

NFData (Event (EraRule "SUBUTXO" era)) ⇒ NFData (DijkstraSubUtxowEvent era) Source #

Instance details

Methods

rnf ∷ DijkstraSubUtxowEvent era → () #

Generic (DijkstraSubUtxowEvent era) Source #

Instance details

Associated Types

type Rep (DijkstraSubUtxowEvent era)

Instance details

type Rep (DijkstraSubUtxowEvent era) = D1 ('MetaData "DijkstraSubUtxowEvent" "Cardano.Ledger.Dijkstra.Rules.SubUtxow" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBUTXO" era)))))

Methods

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

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

Eq (Event (EraRule "SUBUTXO" era)) ⇒ Eq (DijkstraSubUtxowEvent era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubUtxowEvent era) Source #

Instance details

type Rep (DijkstraSubUtxowEvent era) = D1 ('MetaData "DijkstraSubUtxowEvent" "Cardano.Ledger.Dijkstra.Rules.SubUtxow" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "SubUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "SUBUTXO" era)))))

data DijkstraSubUtxowPredFailure era Source #

Constructors

SubUtxoFailure (PredicateFailure (EraRule "SUBUTXO" era))
SubInvalidWitnessesUTXOW (NonEmpty (VKey 'Witness))
SubMissingVKeyWitnessesUTXOW	witnesses which failed in verifiedWits function
Fields (NonEmptySet (KeyHash 'Witness)) witnesses which were needed and not supplied
SubScriptWitnessNotValidatingUTXOW (NonEmptySet ScriptHash)	failed scripts
SubMissingTxBodyMetadataHash TxAuxDataHash	hash of the full metadata
SubMissingTxMetadata TxAuxDataHash	hash of the metadata included in the transaction body
SubConflictingMetadataHash (Mismatch 'RelEQ TxAuxDataHash)
SubInvalidMetadata	Contains out of range values (string`s too long)
SubMissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))
SubMissingRequiredDatums
Fields (NonEmptySet DataHash) Set of missing data hashes (Set DataHash) Set of received data hashes
SubNotAllowedSupplementalDatums
Fields (NonEmptySet DataHash) Set of unallowed data hashes. (Set DataHash) Set of acceptable supplemental data hashes
SubPPViewHashesDontMatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))
SubUnspendableUTxONoDatumHash (NonEmptySet TxIn)	Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't
SubExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))	List of redeemers not needed
SubMalformedScriptWitnesses (NonEmptySet ScriptHash)	Embed UTXO rule failures
SubMalformedReferenceScripts (NonEmptySet ScriptHash)	the set of malformed script witnesses
SubScriptIntegrityHashMismatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash)) (StrictMaybe ByteString)	The computed script integrity hash does not match the provided script integrity hash
SubMalformedGuardDatums (NonEmptySet (Credential 'Guard))	Guard credentials with incorrect datum presence in requiredTopLevelGuards

Instances

Instances details

InjectRuleFailure "SUBLEDGER" DijkstraSubUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxowPredFailure DijkstraEra → EraRuleFailure "SUBLEDGER" DijkstraEra Source #

InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" DijkstraEra Source #

(ConwayEraScript era, DecCBOR (PredicateFailure (EraRule "SUBUTXO" era))) ⇒ DecCBOR (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubUtxowPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubUtxowPredFailure era) → Text Source #

(ConwayEraScript era, EncCBOR (PredicateFailure (EraRule "SUBUTXO" era))) ⇒ EncCBOR (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubUtxowPredFailure era → Encoding Source #

(ConwayEraScript era, NFData (TxCert era), NFData (PredicateFailure (EraRule "SUBUTXO" era))) ⇒ NFData (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubUtxowPredFailure era → () #

Generic (DijkstraSubUtxowPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubUtxowPredFailure era)

Instance details

Methods

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

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

(ConwayEraScript era, Show (PredicateFailure (EraRule "SUBUTXO" era))) ⇒ Show (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubUtxowPredFailure era → ShowS #

show ∷ DijkstraSubUtxowPredFailure era → String #

showList ∷ [DijkstraSubUtxowPredFailure era] → ShowS #

(ConwayEraScript era, Eq (PredicateFailure (EraRule "SUBUTXO" era))) ⇒ Eq (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

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

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

type Rep (DijkstraSubUtxowPredFailure era) Source #

Instance details

data UTXO era Source #

Instances

Instances details

(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRule "UTXO" era ~ UTXO 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) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, EraCertState era, EraRule "UTXO" era ~ UTXO era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

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

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOS era) → PredicateFailure (UTXO era) Source #

wrapEvent ∷ Event (UTXOS era) → Event (UTXO era) Source #

(STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

type BaseM (UTXO era) Source #

Instance details

type BaseM (UTXO era) = ShelleyBase

type Environment (UTXO era) Source #

Instance details

type Environment (UTXO era) = DijkstraUtxoEnv era

type Event (UTXO era) Source #

Instance details

type Event (UTXO era) = AlonzoUtxoEvent era

type PredicateFailure (UTXO era) Source #

Instance details

type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure era

type Signal (UTXO era) Source #

Instance details

type Signal (UTXO era) = StAnnTx 'TopTx era

type State (UTXO era) Source #

Instance details

type State (UTXO era) = UTxOState era

data DijkstraUtxoPredFailure era Source #

Predicate failure for the Dijkstra Era

Constructors

UtxosFailure (PredicateFailure (EraRule "UTXOS" era))	Subtransition Failures
BadInputsUTxO (NonEmptySet 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 (NonEmptySet Addr) the set of addresses with incorrect network IDs
WrongNetworkWithdrawal
Fields Network the expected network id (NonEmptySet AccountAddress) the set of reward addresses with incorrect network IDs
OutputBootAddrAttrsTooBig (NonEmpty (TxOut era))	list of supplied bad transaction outputs
OutputTooBigUTxO (NonEmpty (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 (NonEmptyMap TxIn (TxOut 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 Word16)	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 (NonEmpty (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)
WrongNetworkInDirectDeposit
Fields Network the expected network id (NonEmptySet AccountAddress) the set of account addresses with incorrect network IDs
WithdrawalsExceedAccountBalance (NonEmptyMap AccountAddress (Mismatch 'RelLTEQ Coin))	Total withdrawals per account that exceed the original account balance

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 "MEMPOOL" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxoPredFailure DijkstraEra → EraRuleFailure "SUBUTXO" 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 #

type Rep (DijkstraUtxoPredFailure era) Source #

Instance details

data DijkstraUtxoEnv era Source #

Constructors

DijkstraUtxoEnv
Fields dueSlot ∷ SlotNo duePParams ∷ PParams era dueCertState ∷ CertState era dueOriginalUtxo ∷ UTxO era

conwayToDijkstraUtxoPredFailure ∷ ConwayUtxoPredFailure era → DijkstraUtxoPredFailure era Source #

validateWrongNetworkInDirectDeposit ∷ ∀ era (t ∷ TxLevel). DijkstraEraTxBody era ⇒ Network → TxBody t era → Test (DijkstraUtxoPredFailure era) Source #

data UTXOW era Source #

Instances

Instances details

(AlonzoEraTx era, DijkstraEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, DijkstraEraTxBody era, EraRule "UTXOW" era ~ UTXOW 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) (UTXOW era), Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (UTXOW era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source #

(STS (UTXO era), PredicateFailure (EraRule "UTXO" era) ~ DijkstraUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era) ⇒ Embed (UTXO era) (UTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXO era) → PredicateFailure (UTXOW era) Source #

wrapEvent ∷ Event (UTXO era) → Event (UTXOW era) Source #

(AlonzoEraTx era, EraUTxO era, BabbageEraTxBody era, Embed (EraRule "UTXO" era) (UTXOW era), State (EraRule "UTXO" era) ~ UTxOState era, Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, Script era ~ AlonzoScript era, TxOut era ~ BabbageTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXOW" era) ~ DijkstraUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, STS (UTXOW era), Event (UTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (UTXOW era) (LEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (UTXOW era) → PredicateFailure (LEDGER era) Source #

wrapEvent ∷ Event (UTXOW era) → Event (LEDGER era) Source #

type BaseM (UTXOW era) Source #

Instance details

type BaseM (UTXOW era) = ShelleyBase

type Environment (UTXOW era) Source #

Instance details

type Environment (UTXOW era) = DijkstraUtxoEnv era

type Event (UTXOW era) Source #

Instance details

type Event (UTXOW era) = AlonzoUtxowEvent era

type PredicateFailure (UTXOW era) Source #

Instance details

type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure era

type Signal (UTXOW era) Source #

Instance details

type Signal (UTXOW era) = StAnnTx 'TopTx era

type State (UTXOW era) Source #

Instance details

type State (UTXOW era) = UTxOState era

data DijkstraUtxowPredFailure era Source #

Predicate failure type for the Dijkstra Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW (NonEmpty (VKey 'Witness))
MissingVKeyWitnessesUTXOW	witnesses which failed in verifiedWits function
Fields (NonEmptySet (KeyHash 'Witness)) witnesses which were needed and not supplied
MissingScriptWitnessesUTXOW (NonEmptySet ScriptHash)	missing scripts
ScriptWitnessNotValidatingUTXOW (NonEmptySet 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 (NonEmptySet ScriptHash)	extraneous scripts
MissingRedeemers (NonEmpty (PlutusPurpose AsItem era, ScriptHash))
MissingRequiredDatums
Fields (NonEmptySet DataHash) Set of missing data hashes (Set DataHash) Set of received data hashes
NotAllowedSupplementalDatums
Fields (NonEmptySet DataHash) Set of unallowed data hashes. (Set DataHash) Set of acceptable supplemental data hashes
PPViewHashesDontMatch (Mismatch 'RelEQ (StrictMaybe ScriptIntegrityHash))
UnspendableUTxONoDatumHash (NonEmptySet TxIn)	Set of transaction inputs that are TwoPhase scripts, and should have a DataHash but don't
ExtraRedeemers (NonEmpty (PlutusPurpose AsIx era))	List of redeemers not needed
MalformedScriptWitnesses (NonEmptySet ScriptHash)	Embed UTXO rule failures
MalformedReferenceScripts (NonEmptySet 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
MissingRequiredGuards (NonEmptySet (Credential 'Guard))	Guards required by subtransactions but missing from top-level guards

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 "SUBUTXOW" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraUtxowPredFailure DijkstraEra → EraRuleFailure "SUBUTXOW" 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 #

type Rep (DijkstraUtxowPredFailure era) Source #

Instance details

conwayToDijkstraUtxowPredFailure ∷ ConwayUtxowPredFailure era → DijkstraUtxowPredFailure era Source #

class (Eq (PredicateFailure a), Show (PredicateFailure a), Monad (BaseM a), Typeable a) ⇒ STS a Source #

State transition system.

Minimal complete definition

transitionRules

Associated Types

type PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

(EraTx era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraTxBody era, AllegraEraTxBody era, Embed (EraRule "PPUP" era) (UTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), AtMostEra "Babbage" era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ UTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, SafeToHash (TxWits era)) ⇒ STS (UTXO era)

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type Event (UTXO era) = AllegraUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxo type PredicateFailure (UTXO era) = AllegraUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, EraCertState era) ⇒ STS (UTXOW era)

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Associated Types

type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type State (UTXOW era) = UTxOState era
type Signal (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type Event (UTXOW era) = ShelleyUtxowEvent era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Allegra.Rules.Utxow type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source #

(EraRule "BBODY" era ~ BBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (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, AlonzoEraTx era) ⇒ STS (BBODY era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type State (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type Signal (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Signal (BBODY era) = BbodySignal era
type Environment (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Environment (BBODY era) = BbodyEnv era
type BaseM (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type BaseM (BBODY era) = ShelleyBase
type Event (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Event (BBODY era) = AlonzoBbodyEvent era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (BBODY era)] Source #

transitionRules ∷ [TransitionRule (BBODY era)] Source #

assertions ∷ [Assertion (BBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (BBODY era) → String Source #

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, EraCertState era) ⇒ STS (LEDGER era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Associated Types

type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State (LEDGER era) = LedgerState era
type Signal (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Signal (LEDGER era) = StAnnTx 'TopTx era
type Environment (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Environment (LEDGER era) = LedgerEnv era
type BaseM (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type BaseM (LEDGER era) = ShelleyBase
type Event (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type Event (LEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(EraUTxO era, AlonzoEraTx era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ UtxosEnv era, State (EraRule "UTXOS" era) ~ ShelleyGovState era, Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, AtMostEra "Babbage" era, EraCertState era, EraStake era, SafeToHash (TxWits era), GovState era ~ ShelleyGovState era) ⇒ STS (UTXO era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type Event (UTXO era) = AlonzoUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, AlonzoEraScript era, TxCert era ~ ShelleyTxCert era, EraGov era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (UTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), EncCBOR (PredicateFailure (EraRule "PPUP" era)), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era, EraCertState era, EraStake era) ⇒ STS (UTXOS era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State (UTXOS era) = ShelleyGovState era
type Signal (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Signal (UTXOS era) = StAnnTx 'TopTx era
type Environment (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Environment (UTXOS era) = UtxosEnv era
type BaseM (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type BaseM (UTXOS era) = ShelleyBase
type Event (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Event (UTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOS era)] Source #

transitionRules ∷ [TransitionRule (UTXOS era)] Source #

assertions ∷ [Assertion (UTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOS era) → String Source #

(AlonzoEraTx era, EraTxAuxData era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, EraCertState era) ⇒ STS (UTXOW era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type State (UTXOW era) = UTxOState era
type Signal (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type Event (UTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String Source #

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraCertState era, EraRule "LEDGER" era ~ LEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ STS (LEDGER era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

Associated Types

type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State (LEDGER era) = LedgerState era
type Signal (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Signal (LEDGER era) = StAnnTx 'TopTx era
type Environment (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Environment (LEDGER era) = LedgerEnv era
type BaseM (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type BaseM (LEDGER era) = ShelleyBase
type Event (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type Event (LEDGER era) = ShelleyLedgerEvent era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTx era, AlonzoEraTxWits era, EraCertState era, EraStake era, GovState era ~ ShelleyGovState era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ UtxosEnv era, State (EraRule "UTXOS" era) ~ ShelleyGovState era, Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, SafeToHash (TxWits era)) ⇒ STS (UTXO era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type Event (UTXO era) = AlonzoUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure (UTXO era) = BabbageUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, EraStake era, EraCertState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (UTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (UTXOS era) ~ StAnnTx 'TopTx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, EraRule "UTXOS" era ~ UTXOS era) ⇒ STS (UTXOS era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

Associated Types

type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State (UTXOS era) = ShelleyGovState era
type Signal (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Signal (UTXOS era) = StAnnTx 'TopTx era
type Environment (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Environment (UTXOS era) = UtxosEnv era
type BaseM (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type BaseM (UTXOS era) = ShelleyBase
type Event (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Event (UTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOS era)] Source #

transitionRules ∷ [TransitionRule (UTXOS era)] Source #

assertions ∷ [Assertion (UTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOS era) → String Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, EraRule "UTXOW" era ~ UTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (UTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era)), EraCertState era) ⇒ STS (UTXOW era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Associated Types

type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type State (UTXOW era) = UTxOState era
type Signal (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Event (UTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String 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, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, EraRule "BBODY" era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ STS (BBODY era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type State (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type State (BBODY era) = ShelleyBbodyState era
type Signal (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Signal (BBODY era) = BbodySignal era
type Environment (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Environment (BBODY era) = BbodyEnv era
type BaseM (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type BaseM (BBODY era) = ShelleyBase
type Event (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type Event (BBODY era) = AlonzoBbodyEvent era
type PredicateFailure (BBODY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody type PredicateFailure (BBODY era) = ConwayBbodyPredFailure era

Methods

initialRules ∷ [InitialRule (BBODY era)] Source #

transitionRules ∷ [TransitionRule (BBODY era)] Source #

assertions ∷ [Assertion (BBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (BBODY era) → String Source #

(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ ConwayTxCert era, EraCertState era) ⇒ STS (CERT era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type State (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (CERT era) = CertState era
type Signal (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Signal (CERT era) = TxCert era
type Environment (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Environment (CERT era) = CertEnv era
type BaseM (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type BaseM (CERT era) = ShelleyBase
type Event (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Event (CERT era) = ConwayCertEvent era
type PredicateFailure (CERT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (CERT era) = ConwayCertPredFailure era

Methods

initialRules ∷ [InitialRule (CERT era)] Source #

transitionRules ∷ [TransitionRule (CERT era)] Source #

assertions ∷ [Assertion (CERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (CERT era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, State (EraRule "CERT" era) ~ CertState era, Signal (EraRule "CERT" era) ~ TxCert era, Environment (EraRule "CERT" era) ~ CertEnv era, Embed (EraRule "CERT" era) (CERTS era), EraCertState era, ConwayEraCertState era, EraRuleFailure "CERT" era ~ PredicateFailure (EraRule "CERT" era)) ⇒ STS (CERTS era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type State (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type State (CERTS era) = CertState era
type Signal (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Signal (CERTS era) = Seq (TxCert era)
type Environment (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Environment (CERTS era) = CertsEnv era
type BaseM (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type BaseM (CERTS era) = ShelleyBase
type Event (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type Event (CERTS era) = ConwayCertsEvent era
type PredicateFailure (CERTS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs type PredicateFailure (CERTS era) = ConwayCertsPredFailure era

Methods

initialRules ∷ [InitialRule (CERTS era)] Source #

transitionRules ∷ [TransitionRule (CERTS era)] Source #

assertions ∷ [Assertion (CERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (CERTS era) → String Source #

(EraPParams era, EraCertState era, ConwayEraCertState era, State (EraRule "DELEG" era) ~ CertState era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, EraRule "DELEG" era ~ DELEG era, InjectRuleFailure "DELEG" ConwayDelegPredFailure era) ⇒ STS (DELEG era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

type State (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type State (DELEG era) = CertState era
type Signal (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Signal (DELEG era) = ConwayDelegCert
type Environment (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Environment (DELEG era) = ConwayDelegEnv era
type BaseM (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type BaseM (DELEG era) = ShelleyBase
type Event (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type Event (DELEG era) = Void
type PredicateFailure (DELEG era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Deleg type PredicateFailure (DELEG era) = ConwayDelegPredFailure era

Methods

initialRules ∷ [InitialRule (DELEG era)] Source #

transitionRules ∷ [TransitionRule (DELEG era)] Source #

assertions ∷ [Assertion (DELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (DELEG era) → String Source #

EraGov era ⇒ STS (ENACT era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

type State (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type State (ENACT era) = EnactState era
type Signal (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Signal (ENACT era) = EnactSignal era
type Environment (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Environment (ENACT era) = ()
type BaseM (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type BaseM (ENACT era) = ShelleyBase
type Event (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type Event (ENACT era) = Void
type PredicateFailure (ENACT era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Enact type PredicateFailure (ENACT era) = Void

Methods

initialRules ∷ [InitialRule (ENACT era)] Source #

transitionRules ∷ [TransitionRule (ENACT era)] Source #

assertions ∷ [Assertion (ENACT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ENACT era) → String Source #

(EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "SNAP" era) (EPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (EPOCH era), Environment (EraRule "POOLREAP" era) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "RATIFY" era) (EPOCH era), Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, State (EraRule "RATIFY" era) ~ RatifyState era, Signal (EraRule "RATIFY" era) ~ RatifySignal era, Embed (EraRule "HARDFORK" era) (EPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) ⇒ STS (EPOCH era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Associated Types

type State (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type State (EPOCH era) = EpochState era
type Signal (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Signal (EPOCH era) = EpochNo
type Environment (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Environment (EPOCH era) = ()
type BaseM (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type BaseM (EPOCH era) = ShelleyBase
type Event (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type Event (EPOCH era) = ConwayEpochEvent era
type PredicateFailure (EPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Epoch type PredicateFailure (EPOCH era) = Void

Methods

initialRules ∷ [InitialRule (EPOCH era)] Source #

transitionRules ∷ [TransitionRule (EPOCH era)] Source #

assertions ∷ [Assertion (EPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (EPOCH era) → String Source #

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ GOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleEvent "GOV" ConwayGovEvent era) ⇒ STS (GOV era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOV era)] Source #

transitionRules ∷ [TransitionRule (GOV era)] Source #

assertions ∷ [Assertion (GOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOV era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOVCERT era)] Source #

transitionRules ∷ [TransitionRule (GOVCERT era)] Source #

assertions ∷ [Assertion (GOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOVCERT era) → String Source #

(EraGov era, EraStake era, EraCertState era, ConwayEraCertState era) ⇒ STS (HARDFORK era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

Associated Types

type State (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type State (HARDFORK era) = EpochState era
type Signal (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Signal (HARDFORK era) = ProtVer
type Environment (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Environment (HARDFORK era) = ()
type BaseM (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type BaseM (HARDFORK era) = ShelleyBase
type Event (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type Event (HARDFORK era) = ConwayHardForkEvent era
type PredicateFailure (HARDFORK era)
Instance details Defined in Cardano.Ledger.Conway.Rules.HardFork type PredicateFailure (HARDFORK era) = Void

Methods

initialRules ∷ [InitialRule (HARDFORK era)] Source #

transitionRules ∷ [TransitionRule (HARDFORK era)] Source #

assertions ∷ [Assertion (HARDFORK era)] Source #

renderAssertionViolation ∷ AssertionViolation (HARDFORK era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Associated Types

type State (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type State (LEDGER era) = LedgerState era
type Signal (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Signal (LEDGER era) = StAnnTx 'TopTx era
type Environment (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Environment (LEDGER era) = LedgerEnv era
type BaseM (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type BaseM (LEDGER era) = ShelleyBase
type Event (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type Event (LEDGER era) = ConwayLedgerEvent era
type PredicateFailure (LEDGER era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraStake era, EraCertState era, Embed (EraRule "LEDGER" era) (MEMPOOL 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, Signal (EraRule "LEDGER" era) ~ StAnnTx 'TopTx era) ⇒ STS (MEMPOOL era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Associated Types

type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type Signal (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Signal (MEMPOOL era) = StAnnTx 'TopTx era
type Environment (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Environment (MEMPOOL era) = LedgerEnv era
type BaseM (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type BaseM (MEMPOOL era) = ShelleyBase
type Event (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type Event (MEMPOOL era) = ConwayLedgerEvent era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Mempool type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (MEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (MEMPOOL era)] Source #

assertions ∷ [Assertion (MEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (MEMPOOL era) → String Source #

(EraTxOut era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "EPOCH" era) (NEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (StashedAVVMAddresses era), Signal (EraRule "RATIFY" era) ~ RatifySignal era, State (EraRule "RATIFY" era) ~ RatifyState era, Environment (EraRule "RATIFY" era) ~ RatifyEnv era, GovState era ~ ConwayGovState era, Eq (PredicateFailure (EraRule "RATIFY" era)), Show (PredicateFailure (EraRule "RATIFY" era)), Eq (PredicateFailure (NEWEPOCH era)), Show (PredicateFailure (NEWEPOCH era))) ⇒ STS (NEWEPOCH era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

type State (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (NEWEPOCH era) = NewEpochState era
type Signal (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Signal (NEWEPOCH era) = EpochNo
type Environment (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Environment (NEWEPOCH era) = ()
type BaseM (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type BaseM (NEWEPOCH era) = ShelleyBase
type Event (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Event (NEWEPOCH era) = ConwayNewEpochEvent era
type PredicateFailure (NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (NEWEPOCH era) = Void

Methods

initialRules ∷ [InitialRule (NEWEPOCH era)] Source #

transitionRules ∷ [TransitionRule (NEWEPOCH era)] Source #

assertions ∷ [Assertion (NEWEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (NEWEPOCH era) → String Source #

(ConwayEraPParams era, ConwayEraAccounts era, Embed (EraRule "ENACT" era) (RATIFY era), State (EraRule "ENACT" era) ~ EnactState era, Environment (EraRule "ENACT" era) ~ (), Signal (EraRule "ENACT" era) ~ EnactSignal era) ⇒ STS (RATIFY era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

Associated Types

type State (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type State (RATIFY era) = RatifyState era
type Signal (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Signal (RATIFY era) = RatifySignal era
type Environment (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Environment (RATIFY era) = RatifyEnv era
type BaseM (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type BaseM (RATIFY era) = ShelleyBase
type Event (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type Event (RATIFY era) = Void
type PredicateFailure (RATIFY era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Ratify type PredicateFailure (RATIFY era) = Void

Methods

initialRules ∷ [InitialRule (RATIFY era)] Source #

transitionRules ∷ [TransitionRule (RATIFY era)] Source #

assertions ∷ [Assertion (RATIFY era)] Source #

renderAssertionViolation ∷ AssertionViolation (RATIFY era) → String Source #

EraGov era ⇒ STS (TICKF era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

type State (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type State (TICKF era) = NewEpochState era
type Signal (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Signal (TICKF era) = SlotNo
type Environment (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Environment (TICKF era) = ()
type BaseM (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type BaseM (TICKF era) = ShelleyBase
type Event (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type Event (TICKF era) = ConwayTickfEvent era
type PredicateFailure (TICKF era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Tickf type PredicateFailure (TICKF era) = Void

Methods

initialRules ∷ [InitialRule (TICKF era)] Source #

transitionRules ∷ [TransitionRule (TICKF era)] Source #

assertions ∷ [Assertion (TICKF era)] Source #

renderAssertionViolation ∷ AssertionViolation (TICKF era) → String Source #

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTx era, EraStake era, EraRule "UTXO" era ~ UTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, InjectRuleFailure "UTXO" ConwayUtxoPredFailure era, Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (UTXO era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Associated Types

type State (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type State (UTXO era) = UTxOState era
type Signal (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Signal (UTXO era) = StAnnTx 'TopTx era
type Environment (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Environment (UTXO era) = UtxoEnv era
type BaseM (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type BaseM (UTXO era) = ShelleyBase
type Event (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type Event (UTXO era) = AlonzoUtxoEvent era
type PredicateFailure (UTXO era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxo type PredicateFailure (UTXO era) = ConwayUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(AlonzoEraTx era, AlonzoEraUTxO era, ConwayEraScript era, ConwayEraPParams era, EraGov era, EraStake era, EraCertState era, EraPlutusContext era, GovState era ~ ConwayGovState era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Signal (UTXOS era) ~ StAnnTx 'TopTx era, EraRule "UTXOS" era ~ UTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, InjectRuleEvent "UTXOS" ConwayUtxosEvent era) ⇒ STS (UTXOS era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

type State (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type State (UTXOS era) = ()
type Signal (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Signal (UTXOS era) = StAnnTx 'TopTx era
type Environment (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Environment (UTXOS era) = ()
type BaseM (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type BaseM (UTXOS era) = ShelleyBase
type Event (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type Event (UTXOS era) = ConwayUtxosEvent era
type PredicateFailure (UTXOS era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxos type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOS era)] Source #

transitionRules ∷ [TransitionRule (UTXOS era)] Source #

assertions ∷ [Assertion (UTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOS era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

type State (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type State (UTXOW era) = UTxOState era
type Signal (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Signal (UTXOW era) = StAnnTx 'TopTx era
type Environment (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Environment (UTXOW era) = UtxoEnv era
type BaseM (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type BaseM (UTXOW era) = ShelleyBase
type Event (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type Event (UTXOW era) = AlonzoUtxowEvent era
type PredicateFailure (UTXOW era)
Instance details Defined in Cardano.Ledger.Conway.Rules.Utxow type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (UTXOW era)] Source #

transitionRules ∷ [TransitionRule (UTXOW era)] Source #

assertions ∷ [Assertion (UTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXOW era) → String 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, InjectRuleFailure "BBODY" DijkstraBbodyPredFailure era, InjectRuleFailure "BBODY" ShelleyBbodyPredFailure era, EraRule "BBODY" era ~ BBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era, DijkstraEraBlockBody era) ⇒ STS (BBODY era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (BBODY era)] Source #

transitionRules ∷ [TransitionRule (BBODY era)] Source #

assertions ∷ [Assertion (BBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (BBODY era) → String Source #

(Era era, State (EraRule "DELEG" era) ~ CertState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ CertState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert, Signal (EraRule "POOL" era) ~ PoolCert, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert, Embed (EraRule "DELEG" era) (CERT era), Embed (EraRule "POOL" era) (CERT era), Embed (EraRule "GOVCERT" era) (CERT era), TxCert era ~ DijkstraTxCert era, EraCertState era) ⇒ STS (CERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Associated Types

type State (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type State (CERT era) = CertState era
type Signal (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Signal (CERT era) = TxCert era
type Environment (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Environment (CERT era) = CertEnv era
type BaseM (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type BaseM (CERT era) = ShelleyBase
type Event (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type Event (CERT era) = ConwayCertEvent era
type PredicateFailure (CERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Cert type PredicateFailure (CERT era) = ConwayCertPredFailure era

Methods

initialRules ∷ [InitialRule (CERT era)] Source #

transitionRules ∷ [TransitionRule (CERT era)] Source #

assertions ∷ [Assertion (CERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (CERT era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOV era)] Source #

transitionRules ∷ [TransitionRule (GOV era)] Source #

assertions ∷ [Assertion (GOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOV era) → String Source #

(ConwayEraPParams era, ConwayEraCertState 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 ~ GOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (GOVCERT era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (GOVCERT era)] Source #

transitionRules ∷ [TransitionRule (GOVCERT era)] Source #

assertions ∷ [Assertion (GOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (GOVCERT era) → String Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, DijkstraEraTxBody era, DijkstraEraUTxO era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (LEDGER era), Embed (EraRule "GOV" era) (LEDGER era), Embed (EraRule "CERTS" era) (LEDGER era), Embed (EraRule "SUBLEDGERS" era) (LEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ DijkstraUtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ StAnnTx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "SUBLEDGERS" era) ~ [StAnnTx 'SubTx era], ConwayEraCertState era, EraRule "LEDGER" era ~ LEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era) ⇒ STS (LEDGER era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (LEDGER era)] Source #

transitionRules ∷ [TransitionRule (LEDGER era)] Source #

assertions ∷ [Assertion (LEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (LEDGER era) → String Source #

Instance details

Associated Types

type State (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type State (MEMPOOL era) = LedgerState era
type Signal (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Signal (MEMPOOL era) = StAnnTx 'TopTx era
type Environment (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Environment (MEMPOOL era) = LedgerEnv era
type BaseM (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type BaseM (MEMPOOL era) = ShelleyBase
type Event (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type Event (MEMPOOL era) = DijkstraMempoolEvent era
type PredicateFailure (MEMPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.Mempool type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era

Methods

initialRules ∷ [InitialRule (MEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (MEMPOOL era)] Source #

assertions ∷ [Assertion (MEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (MEMPOOL era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ SUBCERT era, EraRule "SUBDELEG" era ~ SUBDELEG era, EraRule "SUBPOOL" era ~ SUBPOOL era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, Embed (EraRule "SUBDELEG" era) (SUBCERT era), Embed (EraRule "SUBPOOL" era) (SUBCERT era), Embed (EraRule "SUBGOVCERT" era) (SUBCERT era), TxCert era ~ DijkstraTxCert era) ⇒ STS (SUBCERT era) Source #

Instance details

Associated Types

type State (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type State (SUBCERT era) = CertState era
type Signal (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Signal (SUBCERT era) = TxCert era
type Environment (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Environment (SUBCERT era) = CertEnv era
type BaseM (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type BaseM (SUBCERT era) = ShelleyBase
type Event (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type Event (SUBCERT era) = DijkstraSubCertEvent era
type PredicateFailure (SUBCERT era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCert type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBCERT era)] Source #

assertions ∷ [Assertion (SUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERT era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ SUBCERTS era, EraRule "SUBCERT" era ~ SUBCERT era, Embed (EraRule "SUBCERT" era) (SUBCERTS era)) ⇒ STS (SUBCERTS era) Source #

Instance details

Associated Types

type State (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type State (SUBCERTS era) = CertState era
type Signal (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Signal (SUBCERTS era) = Seq (TxCert era)
type Environment (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Environment (SUBCERTS era) = SubCertsEnv era
type BaseM (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type BaseM (SUBCERTS era) = ShelleyBase
type Event (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type Event (SUBCERTS era) = DijkstraSubCertsEvent era
type PredicateFailure (SUBCERTS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era

Methods

initialRules ∷ [InitialRule (SUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (SUBCERTS era)] Source #

assertions ∷ [Assertion (SUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBCERTS era) → String Source #

(EraGov era, ConwayEraCertState era, EraRule "SUBDELEG" era ~ SUBDELEG era, InjectRuleFailure "SUBDELEG" ConwayDelegPredFailure era) ⇒ STS (SUBDELEG era) Source #

Instance details

Associated Types

type State (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type State (SUBDELEG era) = CertState era
type Signal (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Signal (SUBDELEG era) = ConwayDelegCert
type Environment (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Environment (SUBDELEG era) = ConwayDelegEnv era
type BaseM (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type BaseM (SUBDELEG era) = ShelleyBase
type Event (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Event (SUBDELEG era) = Void
type PredicateFailure (SUBDELEG era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era

Methods

initialRules ∷ [InitialRule (SUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (SUBDELEG era)] Source #

assertions ∷ [Assertion (SUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBDELEG era) → String Source #

(ConwayEraCertState era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "SUBGOV" era ~ SUBGOV era, InjectRuleEvent "SUBGOV" DijkstraSubGovEvent era, InjectRuleEvent "SUBGOV" ConwayGovEvent era, InjectRuleFailure "SUBGOV" DijkstraSubGovPredFailure era, InjectRuleFailure "SUBGOV" ConwayGovPredFailure era) ⇒ STS (SUBGOV era) Source #

Instance details

Associated Types

type State (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type State (SUBGOV era) = Proposals era
type Signal (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Signal (SUBGOV era) = GovSignal era
type Environment (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Environment (SUBGOV era) = GovEnv era
type BaseM (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type BaseM (SUBGOV era) = ShelleyBase
type Event (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Event (SUBGOV era) = DijkstraSubGovEvent era
type PredicateFailure (SUBGOV era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era

Methods

initialRules ∷ [InitialRule (SUBGOV era)] Source #

transitionRules ∷ [TransitionRule (SUBGOV era)] Source #

assertions ∷ [Assertion (SUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOV era) → String Source #

(EraGov era, ConwayEraPParams era, ConwayEraCertState era, EraRule "SUBGOVCERT" era ~ SUBGOVCERT era, InjectRuleFailure "SUBGOVCERT" ConwayGovCertPredFailure era, InjectRuleFailure "SUBGOVCERT" DijkstraSubGovCertPredFailure era) ⇒ STS (SUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (SUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (SUBGOVCERT era)] Source #

assertions ∷ [Assertion (SUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBGOVCERT era) → String Source #

Instance details

Associated Types

type State (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (SUBLEDGER era) = LedgerState era
type Signal (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (SUBLEDGER era) = StAnnTx 'SubTx era
type Environment (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (SUBLEDGER era) = SubLedgerEnv era
type BaseM (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (SUBLEDGER era) = ShelleyBase
type Event (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (SUBLEDGER era) = DijkstraSubLedgerEvent era
type PredicateFailure (SUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGER era)] Source #

assertions ∷ [Assertion (SUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGER era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraPlutusContext era, EraRule "SUBLEDGERS" era ~ SUBLEDGERS era, EraRule "SUBLEDGER" era ~ SUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (SUBLEDGERS era), InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era) ⇒ STS (SUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (SUBLEDGERS era) = LedgerState era
type Signal (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (SUBLEDGERS era) = [StAnnTx 'SubTx era]
type Environment (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (SUBLEDGERS era) = SubLedgerEnv era
type BaseM (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (SUBLEDGERS era) = ShelleyBase
type Event (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (SUBLEDGERS era) = DijkstraSubLedgersEvent era
type PredicateFailure (SUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (SUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (SUBLEDGERS era)] Source #

assertions ∷ [Assertion (SUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBLEDGERS era) → String Source #

(EraGov era, EraRule "SUBPOOL" era ~ SUBPOOL era, InjectRuleEvent "SUBPOOL" DijkstraSubPoolEvent era, InjectRuleEvent "SUBPOOL" PoolEvent era, InjectRuleFailure "SUBPOOL" DijkstraSubPoolPredFailure era, InjectRuleFailure "SUBPOOL" ShelleyPoolPredFailure era) ⇒ STS (SUBPOOL era) Source #

Instance details

Associated Types

type State (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type State (SUBPOOL era) = PState era
type Signal (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Signal (SUBPOOL era) = PoolCert
type Environment (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Environment (SUBPOOL era) = PoolEnv era
type BaseM (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type BaseM (SUBPOOL era) = ShelleyBase
type Event (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Event (SUBPOOL era) = DijkstraSubPoolEvent era
type PredicateFailure (SUBPOOL era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era

Methods

initialRules ∷ [InitialRule (SUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (SUBPOOL era)] Source #

assertions ∷ [Assertion (SUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBPOOL era) → String Source #

(EraTx era, EraStake era, EraCertState era, DijkstraEraTxBody era, AlonzoEraTxWits era, ConwayEraGov era, EraRule "SUBUTXO" era ~ SUBUTXO era, InjectRuleFailure "SUBUTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AllegraUtxoPredFailure era, InjectRuleFailure "SUBUTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "SUBUTXO" BabbageUtxoPredFailure era, InjectRuleFailure "SUBUTXO" DijkstraUtxoPredFailure era) ⇒ STS (SUBUTXO era) Source #

Instance details

Associated Types

type State (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (SUBUTXO era) = UTxOState era
type Signal (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (SUBUTXO era) = StAnnTx 'SubTx era
type Environment (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (SUBUTXO era) = SubUtxoEnv era
type BaseM (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (SUBUTXO era) = ShelleyBase
type Event (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (SUBUTXO era) = DijkstraSubUtxoEvent era
type PredicateFailure (SUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXO era)] Source #

assertions ∷ [Assertion (SUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXO era) → String Source #

(AlonzoEraTx era, AlonzoEraUTxO era, BabbageEraTxOut era, ConwayEraGov era, ConwayEraTxBody era, DijkstraEraTxBody era, EraPlutusContext era, EraRule "SUBUTXO" era ~ SUBUTXO era, EraRule "SUBUTXOW" era ~ SUBUTXOW era, Embed (EraRule "SUBUTXO" era) (SUBUTXOW era), InjectRuleFailure "SUBUTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" BabbageUtxowPredFailure era, InjectRuleFailure "SUBUTXOW" DijkstraSubUtxowPredFailure era, ScriptsNeeded era ~ AlonzoScriptsNeeded era) ⇒ STS (SUBUTXOW era) Source #

Instance details

Associated Types

type State (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (SUBUTXOW era) = UTxOState era
type Signal (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (SUBUTXOW era) = StAnnTx 'SubTx era
type Environment (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (SUBUTXOW era) = SubUtxoEnv era
type BaseM (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (SUBUTXOW era) = ShelleyBase
type Event (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (SUBUTXOW era) = DijkstraSubUtxowEvent era
type PredicateFailure (SUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (SUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (SUBUTXOW era)] Source #

assertions ∷ [Assertion (SUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (SUBUTXOW era) → String Source #

(EraTx era, EraUTxO era, EraStake era, DijkstraEraTxBody era, AlonzoEraTx era, EraRule "UTXO" era ~ UTXO 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) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, BaseM (EraRule "UTXO" era) ~ ShelleyBase, STS (EraRule "UTXO" era), Embed (EraRule "UTXOS" era) (UTXO era), Environment (EraRule "UTXOS" era) ~ (), State (EraRule "UTXOS" era) ~ (), Signal (EraRule "UTXOS" era) ~ StAnnTx 'TopTx era, EraCertState era, EraRule "UTXO" era ~ UTXO era, SafeToHash (TxWits era)) ⇒ STS (UTXO era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (UTXO era)] Source #

transitionRules ∷ [TransitionRule (UTXO era)] Source #

assertions ∷ [Assertion (UTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (UTXO era) → String Source #

(AlonzoEraTx era, DijkstraEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, DijkstraEraTxBody era, EraRule "UTXOW" era ~ UTXOW 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) (UTXOW era), Environment (EraRule "UTXO" era) ~ DijkstraUtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ StAnnTx 'TopTx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (UTXOW era) Source #

Instance details