Documentation

Methods

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

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

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraBbodyPredFailure era) Source #

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

label ∷ Proxy (DijkstraBbodyPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ DijkstraBbodyPredFailure era → Encoding Source #

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.2.0.0-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ Int))) :+: (C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ (Hash HASH EraIndependentBlockBody)))) :+: C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))))) :+: ((C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ ExUnits))) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelLTEQ Int)))) :+: (C1 ('MetaCons "PrevEpochNonceNotPresent" 'PrefixI 'False) (U1 ∷ Type → Type) :+: 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 #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraBbodyPredFailure era) → String Source #

type Rep (DijkstraBbodyPredFailure era) Source #

Instance details

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

data DijkstraBBODY era Source #

Instances

Instances details

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

Instance details

Methods

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

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

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraBBODY era)] Source #

transitionRules ∷ [TransitionRule (DijkstraBBODY era)] Source #

assertions ∷ [Assertion (DijkstraBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraBBODY era) → String Source #

type BaseM (DijkstraBBODY era) Source #

Instance details

type BaseM (DijkstraBBODY era) = ShelleyBase

type Environment (DijkstraBBODY era) Source #

Instance details

type Environment (DijkstraBBODY era) = BbodyEnv era

type Event (DijkstraBBODY era) Source #

Instance details

type Event (DijkstraBBODY era) = AlonzoBbodyEvent era

type PredicateFailure (DijkstraBBODY era) Source #

Instance details

type PredicateFailure (DijkstraBBODY era) = DijkstraBbodyPredFailure era

type Signal (DijkstraBBODY era) Source #

Instance details

type Signal (DijkstraBBODY era) = Block BHeaderView era

type State (DijkstraBBODY era) Source #

Instance details

type State (DijkstraBBODY era) = ShelleyBbodyState era

conwayToDijkstraBbodyPredFailure ∷ ConwayBbodyPredFailure era → DijkstraBbodyPredFailure era Source #

data DijkstraGovPredFailure era Source #

Constructors

GovActionsDoNotExist (NonEmpty GovActionId)
MalformedProposal (GovAction era)
ProposalProcedureNetworkIdMismatch RewardAccount Network
TreasuryWithdrawalsNetworkIdMismatch (NonEmptySet RewardAccount) Network
ProposalDepositIncorrect (Mismatch 'RelEQ Coin)
DisallowedVoters (NonEmpty (Voter, GovActionId))	Some governance actions are not allowed to be voted on by certain types of Voters. This failure lists all governance action ids with their respective voters that are not allowed to vote on those governance actions.
ConflictingCommitteeUpdate
Fields (NonEmptySet (Credential 'ColdCommitteeRole)) Credentials that are mentioned as members to be both removed and added
ExpirationEpochTooSmall
Fields (Map (Credential 'ColdCommitteeRole) EpochNo) Members for which the expiration epoch has already been reached
InvalidPrevGovActionId (ProposalProcedure era)
VotingOnExpiredGovAction (NonEmpty (Voter, GovActionId))
ProposalCantFollow
Fields (StrictMaybe (GovPurposeId 'HardForkPurpose)) The PrevGovActionId of the HardForkInitiation that fails (Mismatch 'RelGT ProtVer) Its protocol version and the protocal version of the previous gov-action pointed to by the proposal
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 RewardAccount	Proposals that have an invalid reward account for returns of the deposit
TreasuryWithdrawalReturnAccountsDoNotExist (NonEmpty RewardAccount)	Treasury withdrawal proposals to an invalid reward account
UnelectedCommitteeVoters (NonEmpty (Credential 'HotCommitteeRole))	Disallow votes by unelected committee members

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "GOV" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" DijkstraGovPredFailure DijkstraEra Source #

Instance details

Methods

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

EraPParams era ⇒ FromCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (DijkstraGovPredFailure era) Source #

label ∷ Proxy (DijkstraGovPredFailure era) → Text Source #

EraPParams era ⇒ ToCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

toCBOR ∷ DijkstraGovPredFailure era → Encoding Source #

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

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

EraPParams era ⇒ DecCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraGovPredFailure era) Source #

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

label ∷ Proxy (DijkstraGovPredFailure era) → Text Source #

EraPParams era ⇒ EncCBOR (DijkstraGovPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraGovPredFailure era → Encoding Source #

EraPParams era ⇒ NFData (DijkstraGovPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraGovPredFailure era → () #

Generic (DijkstraGovPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraGovPredFailure era)

Instance details

Methods

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

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

EraPParams era ⇒ Show (DijkstraGovPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraGovPredFailure era → ShowS #

show ∷ DijkstraGovPredFailure era → String #

showList ∷ [DijkstraGovPredFailure era] → ShowS #

EraPParams era ⇒ Eq (DijkstraGovPredFailure era) Source #

Instance details

Methods

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

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

EraPParams era ⇒ NoThunks (DijkstraGovPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraGovPredFailure era) → String Source #

type Rep (DijkstraGovPredFailure era) Source #

Instance details

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

Deprecated: In favor of InvalidGuardrailsScriptHash

data DijkstraGOV era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOV era)] Source #

assertions ∷ [Assertion (DijkstraGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOV era) → String Source #

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

type BaseM (DijkstraGOV era) Source #

Instance details

type BaseM (DijkstraGOV era) = ShelleyBase

type Environment (DijkstraGOV era) Source #

Instance details

type Environment (DijkstraGOV era) = GovEnv era

type Event (DijkstraGOV era) Source #

Instance details

type Event (DijkstraGOV era) = ConwayGovEvent era

type PredicateFailure (DijkstraGOV era) Source #

Instance details

type PredicateFailure (DijkstraGOV era) = DijkstraGovPredFailure era

type Signal (DijkstraGOV era) Source #

Instance details

type Signal (DijkstraGOV era) = GovSignal era

type State (DijkstraGOV era) Source #

Instance details

type State (DijkstraGOV era) = Proposals era

conwayToDijkstraGovPredFailure ∷ ConwayGovPredFailure era → DijkstraGovPredFailure era Source #

data DijkstraGOVCERT era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOVCERT era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Methods

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

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

type BaseM (DijkstraGOVCERT era) Source #

Instance details

type BaseM (DijkstraGOVCERT era) = ShelleyBase

type Environment (DijkstraGOVCERT era) Source #

Instance details

type Environment (DijkstraGOVCERT era) = ConwayGovCertEnv era

type Event (DijkstraGOVCERT era) Source #

Instance details

type Event (DijkstraGOVCERT era) = Void

type PredicateFailure (DijkstraGOVCERT era) Source #

Instance details

type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era

type Signal (DijkstraGOVCERT era) Source #

Instance details

type Signal (DijkstraGOVCERT era) = ConwayGovCert

type State (DijkstraGOVCERT era) Source #

Instance details

type State (DijkstraGOVCERT era) = CertState era

data DijkstraGovCertPredFailure era Source #

Constructors

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

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "CERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Methods

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

InjectRuleFailure "CERTS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Certs

Methods

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

InjectRuleFailure "GOVCERT" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" DijkstraGovCertPredFailure DijkstraEra Source #

Instance details

Methods

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

Typeable era ⇒ DecCBOR (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraGovCertPredFailure era) Source #

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

label ∷ Proxy (DijkstraGovCertPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraGovCertPredFailure era → Encoding Source #

NFData (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraGovCertPredFailure era → () #

Generic (DijkstraGovCertPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraGovCertPredFailure era)

Instance details

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

Methods

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

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

Show (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraGovCertPredFailure era → ShowS #

show ∷ DijkstraGovCertPredFailure era → String #

showList ∷ [DijkstraGovCertPredFailure era] → ShowS #

Eq (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (DijkstraGovCertPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraGovCertPredFailure era) → String Source #

type Rep (DijkstraGovCertPredFailure era) Source #

Instance details

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

conwayToDijkstraGovCertPredFailure ∷ ConwayGovCertPredFailure era → DijkstraGovCertPredFailure era Source #

data 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 (Map RewardAccount (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 #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraLedgerPredFailure era) → String Source #

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

data DijkstraLEDGER era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraLEDGER era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, EraRuleFailure "CERT" era ~ ConwayCertPredFailure era, EraRule "CERTS" era ~ ConwayCERTS era, ConwayEraCertState era) ⇒ Embed (ConwayCERTS era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

(EraPParams era, EraRule "DELEG" era ~ ConwayDELEG era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, Event (EraRule "CERT" era) ~ ConwayCertEvent era, ConwayEraCertState era) ⇒ Embed (ConwayDELEG era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

(ConwayEraTxCert era, ConwayEraPParams era, ConwayEraGov era, EraRule "GOV" era ~ DijkstraGOV era, InjectRuleFailure "GOV" ConwayGovPredFailure era, InjectRuleFailure "GOV" DijkstraGovPredFailure era, ConwayEraCertState era) ⇒ Embed (DijkstraGOV era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

(AlonzoEraTx era, ConwayEraCertState era, DijkstraEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

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

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

(Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "SUBLEDGERS" era) (DijkstraSUBLEDGERS era), ConwayEraGov era, AlonzoEraTx era, ConwayEraPParams era, DijkstraEraTxBody era, GovState era ~ ConwayGovState era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, EraRule "GOV" era ~ DijkstraGOV era, ConwayEraCertState era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraSubLedgersPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (ShelleyLEDGERS era) Source #

Instance details

Methods

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

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

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGERS era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

type BaseM (DijkstraLEDGER era) Source #

Instance details

type BaseM (DijkstraLEDGER era) = ShelleyBase

type Environment (DijkstraLEDGER era) Source #

Instance details

type Environment (DijkstraLEDGER era) = LedgerEnv era

type Event (DijkstraLEDGER era) Source #

Instance details

type Event (DijkstraLEDGER era) = ConwayLedgerEvent era

type PredicateFailure (DijkstraLEDGER era) Source #

Instance details

type PredicateFailure (DijkstraLEDGER era) = DijkstraLedgerPredFailure era

type Signal (DijkstraLEDGER era) Source #

Instance details

type Signal (DijkstraLEDGER era) = Tx 'TopTx era

type State (DijkstraLEDGER era) Source #

Instance details

type State (DijkstraLEDGER era) = LedgerState era

shelleyToDijkstraLedgerPredFailure ∷ ShelleyLedgerPredFailure era → DijkstraLedgerPredFailure era Source #

conwayToDijkstraLedgerPredFailure ∷ ConwayLedgerPredFailure era → DijkstraLedgerPredFailure era Source #

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.2.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.2.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.2.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.2.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 DijkstraMEMPOOL era Source #

Instances

Instances details

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraMEMPOOL era)] Source #

assertions ∷ [Assertion (DijkstraMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraMEMPOOL era) → String Source #

(AlonzoEraTx era, ConwayEraCertState era, DijkstraEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "CERTS" era) (DijkstraLEDGER era), Embed (EraRule "GOV" era) (DijkstraLEDGER era), Embed (EraRule "UTXOW" era) (DijkstraLEDGER era), Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, EraRule "LEDGER" era ~ DijkstraLEDGER era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraLEDGER era) (DijkstraMEMPOOL era) Source #

Instance details

Methods

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

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

type BaseM (DijkstraMEMPOOL era) Source #

Instance details

type BaseM (DijkstraMEMPOOL era) = ShelleyBase

type Environment (DijkstraMEMPOOL era) Source #

Instance details

type Environment (DijkstraMEMPOOL era) = LedgerEnv era

type Event (DijkstraMEMPOOL era) Source #

Instance details

type Event (DijkstraMEMPOOL era) = DijkstraMempoolEvent era

type PredicateFailure (DijkstraMEMPOOL era) Source #

Instance details

type PredicateFailure (DijkstraMEMPOOL era) = DijkstraMempoolPredFailure era

type Signal (DijkstraMEMPOOL era) Source #

Instance details

type Signal (DijkstraMEMPOOL era) = Tx 'TopTx era

type State (DijkstraMEMPOOL era) Source #

Instance details

type State (DijkstraMEMPOOL era) = LedgerState era

data DijkstraSUBCERT era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERT era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERT era) (DijkstraSUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERT era) → PredicateFailure (DijkstraSUBCERTS era) Source #

wrapEvent ∷ Event (DijkstraSUBCERT era) → Event (DijkstraSUBCERTS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ Embed (DijkstraSUBDELEG era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBDELEG era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBDELEG era) → Event (DijkstraSUBCERT era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ Embed (DijkstraSUBGOVCERT era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOVCERT era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBGOVCERT era) → Event (DijkstraSUBCERT era) Source #

(ConwayEraGov era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ Embed (DijkstraSUBPOOL era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBPOOL era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBPOOL era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBCERT era) Source #

Instance details

type BaseM (DijkstraSUBCERT era) = ShelleyBase

type Environment (DijkstraSUBCERT era) Source #

Instance details

type Environment (DijkstraSUBCERT era) = CertEnv era

type Event (DijkstraSUBCERT era) Source #

Instance details

type Event (DijkstraSUBCERT era) = Void

type PredicateFailure (DijkstraSUBCERT era) Source #

Instance details

type PredicateFailure (DijkstraSUBCERT era) = DijkstraSubCertPredFailure era

type Signal (DijkstraSUBCERT era) Source #

Instance details

type Signal (DijkstraSUBCERT era) = TxCert era

type State (DijkstraSUBCERT era) Source #

Instance details

type State (DijkstraSUBCERT 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.2.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 #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubCertPredFailure era) → String Source #

type Rep (DijkstraSubCertPredFailure era) Source #

Instance details

type Rep (DijkstraSubCertPredFailure era) = D1 ('MetaData "DijkstraSubCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubCert" "cardano-ledger-dijkstra-0.2.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))))))

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.2.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.2.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 DijkstraSUBCERTS era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERTS era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERTS era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERT era) (DijkstraSUBCERTS era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERT era) → PredicateFailure (DijkstraSUBCERTS era) Source #

wrapEvent ∷ Event (DijkstraSUBCERT era) → Event (DijkstraSUBCERTS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERTS era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERTS era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBCERTS era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBCERTS era) Source #

Instance details

type BaseM (DijkstraSUBCERTS era) = ShelleyBase

type Environment (DijkstraSUBCERTS era) Source #

Instance details

type Environment (DijkstraSUBCERTS era) = SubCertsEnv era

type Event (DijkstraSUBCERTS era) Source #

Instance details

type Event (DijkstraSUBCERTS era) = Void

type PredicateFailure (DijkstraSUBCERTS era) Source #

Instance details

type PredicateFailure (DijkstraSUBCERTS era) = DijkstraSubCertsPredFailure era

type Signal (DijkstraSUBCERTS era) Source #

Instance details

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

type State (DijkstraSUBCERTS era) Source #

Instance details

type State (DijkstraSUBCERTS era) = CertState era

data 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.2.0.0-inplace" 'False) (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 #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubCertsPredFailure era) → String Source #

type Rep (DijkstraSubCertsPredFailure era) Source #

Instance details

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

data DijkstraSUBDELEG era Source #

Instances

Instances details

(EraGov era, EraCertState era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ STS (DijkstraSUBDELEG era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBDELEG era)] Source #

assertions ∷ [Assertion (DijkstraSUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBDELEG era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ Embed (DijkstraSUBDELEG era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBDELEG era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBDELEG era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBDELEG era) Source #

Instance details

type BaseM (DijkstraSUBDELEG era) = ShelleyBase

type Environment (DijkstraSUBDELEG era) Source #

Instance details

type Environment (DijkstraSUBDELEG era) = ConwayDelegEnv era

type Event (DijkstraSUBDELEG era) Source #

Instance details

type Event (DijkstraSUBDELEG era) = Void

type PredicateFailure (DijkstraSUBDELEG era) Source #

Instance details

type PredicateFailure (DijkstraSUBDELEG era) = DijkstraSubDelegPredFailure era

type Signal (DijkstraSUBDELEG era) Source #

Instance details

type Signal (DijkstraSUBDELEG era) = DijkstraDelegCert

type State (DijkstraSUBDELEG era) Source #

Instance details

DijkstraSubDelegPredFailure

type State (DijkstraSUBDELEG era) = CertState era

data DijkstraSubDelegPredFailure era Source #

Constructors

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 #

Typeable 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 Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg type Rep (DijkstraSubDelegPredFailure era) = D1 ('MetaData "DijkstraSubDelegPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubDeleg" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubDelegPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

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 #

NoThunks (DijkstraSubDelegPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubDelegPredFailure era) → String Source #

type Rep (DijkstraSubDelegPredFailure era) Source #

Instance details

type Rep (DijkstraSubDelegPredFailure era) = D1 ('MetaData "DijkstraSubDelegPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubDeleg" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubDelegPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data DijkstraSUBGOVCERT era Source #

Instances

Instances details

(EraGov era, EraCertState era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ STS (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOVCERT era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ Embed (DijkstraSUBGOVCERT era) (DijkstraSUBCERT era) Source #

Instance details

DijkstraSubGovCertPredFailure

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOVCERT era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBGOVCERT era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type BaseM (DijkstraSUBGOVCERT era) = ShelleyBase

type Environment (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Environment (DijkstraSUBGOVCERT era) = ConwayGovCertEnv era

type Event (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Event (DijkstraSUBGOVCERT era) = Void

type PredicateFailure (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type PredicateFailure (DijkstraSUBGOVCERT era) = DijkstraSubGovCertPredFailure era

type Signal (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type Signal (DijkstraSUBGOVCERT era) = ConwayGovCert

type State (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type State (DijkstraSUBGOVCERT era) = CertState era

data DijkstraSubGovCertPredFailure era Source #

Constructors

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.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubGovCertPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

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 #

NoThunks (DijkstraSubGovCertPredFailure era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubGovCertPredFailure era) → String Source #

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.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubGovCertPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data DijkstraSUBGOV era Source #

Instances

Instances details

(EraGov era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ STS (DijkstraSUBGOV era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOV era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOV era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ Embed (DijkstraSUBGOV era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOV era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBGOV era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBGOV era) Source #

Instance details

type BaseM (DijkstraSUBGOV era) = ShelleyBase

type Environment (DijkstraSUBGOV era) Source #

Instance details

type Environment (DijkstraSUBGOV era) = GovEnv era

type Event (DijkstraSUBGOV era) Source #

Instance details

type Event (DijkstraSUBGOV era) = Void

type PredicateFailure (DijkstraSUBGOV era) Source #

Instance details

type PredicateFailure (DijkstraSUBGOV era) = DijkstraSubGovPredFailure era

type Signal (DijkstraSUBGOV era) Source #

Instance details

type Signal (DijkstraSUBGOV era) = GovSignal era

type State (DijkstraSUBGOV era) Source #

Instance details

DijkstraSubGovPredFailure

type State (DijkstraSUBGOV era) = Proposals era

data DijkstraSubGovPredFailure era Source #

Constructors

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 #

Typeable 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 #

Era era ⇒ EncCBOR (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubGovPredFailure era → Encoding Source #

NFData (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubGovPredFailure era → () #

Generic (DijkstraSubGovPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubGovPredFailure era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubGov type Rep (DijkstraSubGovPredFailure era) = D1 ('MetaData "DijkstraSubGovPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubGovPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubGovPredFailure era → ShowS #

show ∷ DijkstraSubGovPredFailure era → String #

showList ∷ [DijkstraSubGovPredFailure era] → ShowS #

Eq (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (DijkstraSubGovPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubGovPredFailure era) → String Source #

type Rep (DijkstraSubGovPredFailure era) Source #

Instance details

type Rep (DijkstraSubGovPredFailure era) = D1 ('MetaData "DijkstraSubGovPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubGov" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubGovPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data DijkstraSUBLEDGER era Source #

Instances

Instances details

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, Embed (EraRule "SUBGOV" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBUTXOW" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBCERTS" era) (DijkstraSUBCERTS era), TxCert era ~ DijkstraTxCert era) ⇒ STS (DijkstraSUBLEDGER era) Source #

Instance details

Associated Types

type State (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (DijkstraSUBLEDGER era) = LedgerState era
type Signal (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (DijkstraSUBLEDGER era) = Tx 'SubTx era
type Environment (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (DijkstraSUBLEDGER era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (DijkstraSUBLEDGER era) = ShelleyBase
type Event (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (DijkstraSUBLEDGER era) = Void
type PredicateFailure (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (DijkstraSUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGER era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBCERTS era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBCERTS era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBCERTS era) → Event (DijkstraSUBLEDGER era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ Embed (DijkstraSUBGOV era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBGOV era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBGOV era) → Event (DijkstraSUBLEDGER era) Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGER era) (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGER era) → PredicateFailure (DijkstraSUBLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGER era) → Event (DijkstraSUBLEDGERS era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOW era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOW era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOW era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBLEDGER era) Source #

Instance details

type BaseM (DijkstraSUBLEDGER era) = ShelleyBase

type Environment (DijkstraSUBLEDGER era) Source #

Instance details

type Environment (DijkstraSUBLEDGER era) = LedgerEnv era

type Event (DijkstraSUBLEDGER era) Source #

Instance details

type Event (DijkstraSUBLEDGER era) = Void

type PredicateFailure (DijkstraSUBLEDGER era) Source #

Instance details

type PredicateFailure (DijkstraSUBLEDGER era) = DijkstraSubLedgerPredFailure era

type Signal (DijkstraSUBLEDGER era) Source #

Instance details

type Signal (DijkstraSUBLEDGER era) = Tx 'SubTx era

type State (DijkstraSUBLEDGER era) Source #

Instance details

type State (DijkstraSUBLEDGER era) = LedgerState era

data DijkstraSubLedgerPredFailure era Source #

Constructors

SubUtxowFailure (PredicateFailure (EraRule "SUBUTXOW" era))
SubCertsFailure (PredicateFailure (EraRule "SUBCERTS" era))
SubGovFailure (PredicateFailure (EraRule "SUBGOV" era))

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 "SUBGOV" era)), DecCBOR (PredicateFailure (EraRule "SUBCERTS" era)), DecCBOR (PredicateFailure (EraRule "SUBUTXOW" 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 "SUBGOV" era)), EncCBOR (PredicateFailure (EraRule "SUBCERTS" era)), EncCBOR (PredicateFailure (EraRule "SUBUTXOW" 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.2.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))))))

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 #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubLedgerPredFailure era) → String Source #

type Rep (DijkstraSubLedgerPredFailure era) Source #

Instance details

type Rep (DijkstraSubLedgerPredFailure era) = D1 ('MetaData "DijkstraSubLedgerPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubLedger" "cardano-ledger-dijkstra-0.2.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))))))

data DijkstraSUBLEDGERS era Source #

Instances

Instances details

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (DijkstraSUBLEDGERS era)) ⇒ STS (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (DijkstraSUBLEDGERS era) = LedgerState era
type Signal (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (DijkstraSUBLEDGERS era) = OMap TxId (Tx 'SubTx era)
type Environment (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (DijkstraSUBLEDGERS era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (DijkstraSUBLEDGERS era) = ShelleyBase
type Event (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (DijkstraSUBLEDGERS era) = Void
type PredicateFailure (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (DijkstraSUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGERS era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGERS era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGER era) (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBLEDGER era) → PredicateFailure (DijkstraSUBLEDGERS era) Source #

wrapEvent ∷ Event (DijkstraSUBLEDGER era) → Event (DijkstraSUBLEDGERS era) Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, TxCert era ~ DijkstraTxCert era) ⇒ Embed (DijkstraSUBLEDGERS era) (DijkstraLEDGER era) Source #

Instance details

Methods

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

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

type BaseM (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type BaseM (DijkstraSUBLEDGERS era) = ShelleyBase

type Environment (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Environment (DijkstraSUBLEDGERS era) = LedgerEnv era

type Event (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Event (DijkstraSUBLEDGERS era) = Void

type PredicateFailure (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type PredicateFailure (DijkstraSUBLEDGERS era) = DijkstraSubLedgersPredFailure era

type Signal (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type Signal (DijkstraSUBLEDGERS era) = OMap TxId (Tx 'SubTx era)

type State (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type State (DijkstraSUBLEDGERS 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.2.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 #

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubLedgersPredFailure era) → String Source #

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.2.0.0-inplace" 'True) (C1 ('MetaCons "SubLedgerFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBLEDGER" era)))))

data DijkstraSUBPOOL era Source #

Instances

Instances details

(EraGov era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ STS (DijkstraSUBPOOL era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBPOOL era)] Source #

assertions ∷ [Assertion (DijkstraSUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBPOOL era) → String Source #

(ConwayEraGov era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ Embed (DijkstraSUBPOOL era) (DijkstraSUBCERT era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBPOOL era) → PredicateFailure (DijkstraSUBCERT era) Source #

wrapEvent ∷ Event (DijkstraSUBPOOL era) → Event (DijkstraSUBCERT era) Source #

type BaseM (DijkstraSUBPOOL era) Source #

Instance details

type BaseM (DijkstraSUBPOOL era) = ShelleyBase

type Environment (DijkstraSUBPOOL era) Source #

Instance details

type Environment (DijkstraSUBPOOL era) = PoolEnv era

type Event (DijkstraSUBPOOL era) Source #

Instance details

type Event (DijkstraSUBPOOL era) = Void

type PredicateFailure (DijkstraSUBPOOL era) Source #

Instance details

type PredicateFailure (DijkstraSUBPOOL era) = DijkstraSubPoolPredFailure era

type Signal (DijkstraSUBPOOL era) Source #

Instance details

type Signal (DijkstraSUBPOOL era) = PoolCert

type State (DijkstraSUBPOOL era) Source #

Instance details

DijkstraSubPoolPredFailure

type State (DijkstraSUBPOOL era) = PState era

data DijkstraSubPoolPredFailure era Source #

Constructors

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 #

Typeable 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 Defined in Cardano.Ledger.Dijkstra.Rules.SubPool type Rep (DijkstraSubPoolPredFailure era) = D1 ('MetaData "DijkstraSubPoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubPoolPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

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 #

NoThunks (DijkstraSubPoolPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubPoolPredFailure era) → String Source #

type Rep (DijkstraSubPoolPredFailure era) Source #

Instance details

type Rep (DijkstraSubPoolPredFailure era) = D1 ('MetaData "DijkstraSubPoolPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubPool" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubPoolPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data DijkstraSUBUTXO era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXOS" era) (DijkstraSUBUTXO era)) ⇒ STS (DijkstraSUBUTXO era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (DijkstraSUBUTXO era) = UTxOState era
type Signal (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (DijkstraSUBUTXO era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (DijkstraSUBUTXO era) = UtxoEnv era
type BaseM (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (DijkstraSUBUTXO era) = ShelleyBase
type Event (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (DijkstraSUBUTXO era) = Void
type PredicateFailure (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (DijkstraSUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXO era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXO era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era) ⇒ Embed (DijkstraSUBUTXO era) (DijkstraSUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXO era) → PredicateFailure (DijkstraSUBUTXOW era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXO era) → Event (DijkstraSUBUTXOW era) Source #

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOS era) (DijkstraSUBUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOS era) → PredicateFailure (DijkstraSUBUTXO era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOS era) → Event (DijkstraSUBUTXO era) Source #

type BaseM (DijkstraSUBUTXO era) Source #

Instance details

type BaseM (DijkstraSUBUTXO era) = ShelleyBase

type Environment (DijkstraSUBUTXO era) Source #

Instance details

type Environment (DijkstraSUBUTXO era) = UtxoEnv era

type Event (DijkstraSUBUTXO era) Source #

Instance details

type Event (DijkstraSUBUTXO era) = Void

type PredicateFailure (DijkstraSUBUTXO era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXO era) = DijkstraSubUtxoPredFailure era

type Signal (DijkstraSUBUTXO era) Source #

Instance details

type Signal (DijkstraSUBUTXO era) = Tx 'SubTx era

type State (DijkstraSUBUTXO era) Source #

Instance details

type State (DijkstraSUBUTXO era) = UTxOState era

data DijkstraSubUtxoPredFailure era Source #

Constructors

SubUtxosFailure (PredicateFailure (EraRule "SUBUTXOS" era))

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 (PredicateFailure (EraRule "SUBUTXOS" 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 (PredicateFailure (EraRule "SUBUTXOS" era))) ⇒ EncCBOR (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubUtxoPredFailure era → Encoding Source #

NFData (PredicateFailure (EraRule "SUBUTXOS" 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

type Rep (DijkstraSubUtxoPredFailure era) = D1 ('MetaData "DijkstraSubUtxoPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubUtxo" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "SubUtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBUTXOS" era)))))

Methods

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

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

Show (PredicateFailure (EraRule "SUBUTXOS" era)) ⇒ Show (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubUtxoPredFailure era → ShowS #

show ∷ DijkstraSubUtxoPredFailure era → String #

showList ∷ [DijkstraSubUtxoPredFailure era] → ShowS #

Eq (PredicateFailure (EraRule "SUBUTXOS" era)) ⇒ Eq (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (PredicateFailure (EraRule "SUBUTXOS" era)) ⇒ NoThunks (DijkstraSubUtxoPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubUtxoPredFailure era) → String Source #

type Rep (DijkstraSubUtxoPredFailure era) Source #

Instance details

type Rep (DijkstraSubUtxoPredFailure era) = D1 ('MetaData "DijkstraSubUtxoPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubUtxo" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "SubUtxosFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBUTXOS" era)))))

data DijkstraSUBUTXOS era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ STS (DijkstraSUBUTXOS era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type State (DijkstraSUBUTXOS era) = UTxOState era
type Signal (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Signal (DijkstraSUBUTXOS era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Environment (DijkstraSUBUTXOS era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type BaseM (DijkstraSUBUTXOS era) = ShelleyBase
type Event (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Event (DijkstraSUBUTXOS era) = Void
type PredicateFailure (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type PredicateFailure (DijkstraSUBUTXOS era) = DijkstraSubUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOS era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOS era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOS era) (DijkstraSUBUTXO era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOS era) → PredicateFailure (DijkstraSUBUTXO era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOS era) → Event (DijkstraSUBUTXO era) Source #

type BaseM (DijkstraSUBUTXOS era) Source #

Instance details

type BaseM (DijkstraSUBUTXOS era) = ShelleyBase

type Environment (DijkstraSUBUTXOS era) Source #

Instance details

type Environment (DijkstraSUBUTXOS era) = UtxoEnv era

type Event (DijkstraSUBUTXOS era) Source #

Instance details

type Event (DijkstraSUBUTXOS era) = Void

type PredicateFailure (DijkstraSUBUTXOS era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXOS era) = DijkstraSubUtxosPredFailure era

type Signal (DijkstraSUBUTXOS era) Source #

Instance details

type Signal (DijkstraSUBUTXOS era) = Tx 'SubTx era

type State (DijkstraSUBUTXOS era) Source #

Instance details

DijkstraSubUtxosPredFailure

type State (DijkstraSUBUTXOS era) = UTxOState era

data DijkstraSubUtxosPredFailure era Source #

Constructors

Instances

Instances details

InjectRuleFailure "SUBUTXO" DijkstraSubUtxosPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "SUBUTXOS" DijkstraSubUtxosPredFailure DijkstraEra Source #

Instance details

Methods

injectFailure ∷ DijkstraSubUtxosPredFailure DijkstraEra → EraRuleFailure "SUBUTXOS" DijkstraEra Source #

Typeable era ⇒ DecCBOR (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraSubUtxosPredFailure era) Source #

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

label ∷ Proxy (DijkstraSubUtxosPredFailure era) → Text Source #

Era era ⇒ EncCBOR (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

encCBOR ∷ DijkstraSubUtxosPredFailure era → Encoding Source #

NFData (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

rnf ∷ DijkstraSubUtxosPredFailure era → () #

Generic (DijkstraSubUtxosPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraSubUtxosPredFailure era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Rep (DijkstraSubUtxosPredFailure era) = D1 ('MetaData "DijkstraSubUtxosPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubUtxos" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubUtxosPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

showsPrec ∷ Int → DijkstraSubUtxosPredFailure era → ShowS #

show ∷ DijkstraSubUtxosPredFailure era → String #

showList ∷ [DijkstraSubUtxosPredFailure era] → ShowS #

Eq (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

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

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

NoThunks (DijkstraSubUtxosPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubUtxosPredFailure era) → String Source #

type Rep (DijkstraSubUtxosPredFailure era) Source #

Instance details

type Rep (DijkstraSubUtxosPredFailure era) = D1 ('MetaData "DijkstraSubUtxosPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubUtxos" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraSubUtxosPredFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data DijkstraSUBUTXOW era Source #

Instances

Instances details

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXO" era) (DijkstraSUBUTXOW era)) ⇒ STS (DijkstraSUBUTXOW era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (DijkstraSUBUTXOW era) = UTxOState era
type Signal (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (DijkstraSUBUTXOW era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (DijkstraSUBUTXOW era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (DijkstraSUBUTXOW era) = ShelleyBase
type Event (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (DijkstraSUBUTXOW era) = Void
type PredicateFailure (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (DijkstraSUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOW era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOW era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era) ⇒ Embed (DijkstraSUBUTXO era) (DijkstraSUBUTXOW era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXO era) → PredicateFailure (DijkstraSUBUTXOW era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXO era) → Event (DijkstraSUBUTXOW era) Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ Embed (DijkstraSUBUTXOW era) (DijkstraSUBLEDGER era) Source #

Instance details

Methods

wrapFailed ∷ PredicateFailure (DijkstraSUBUTXOW era) → PredicateFailure (DijkstraSUBLEDGER era) Source #

wrapEvent ∷ Event (DijkstraSUBUTXOW era) → Event (DijkstraSUBLEDGER era) Source #

type BaseM (DijkstraSUBUTXOW era) Source #

Instance details

type BaseM (DijkstraSUBUTXOW era) = ShelleyBase

type Environment (DijkstraSUBUTXOW era) Source #

Instance details

type Environment (DijkstraSUBUTXOW era) = UtxoEnv era

type Event (DijkstraSUBUTXOW era) Source #

Instance details

type Event (DijkstraSUBUTXOW era) = Void

type PredicateFailure (DijkstraSUBUTXOW era) Source #

Instance details

type PredicateFailure (DijkstraSUBUTXOW era) = DijkstraSubUtxowPredFailure era

type Signal (DijkstraSUBUTXOW era) Source #

Instance details

type Signal (DijkstraSUBUTXOW era) = Tx 'SubTx era

type State (DijkstraSUBUTXOW era) Source #

Instance details

type State (DijkstraSUBUTXOW era) = UTxOState era

data DijkstraSubUtxowPredFailure era Source #

Constructors

SubUtxoFailure (PredicateFailure (EraRule "SUBUTXO" era))

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 #

(Era 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 #

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

Instance details

Methods

encCBOR ∷ DijkstraSubUtxowPredFailure era → Encoding Source #

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

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

Methods

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

to ∷ Rep (DijkstraSubUtxowPredFailure era) x → DijkstraSubUtxowPredFailure 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 #

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

Instance details

Methods

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

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

NoThunks (PredicateFailure (EraRule "SUBUTXO" era)) ⇒ NoThunks (DijkstraSubUtxowPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraSubUtxowPredFailure era) → String Source #

type Rep (DijkstraSubUtxowPredFailure era) Source #

Instance details

type Rep (DijkstraSubUtxowPredFailure era) = D1 ('MetaData "DijkstraSubUtxowPredFailure" "Cardano.Ledger.Dijkstra.Rules.SubUtxow" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "SubUtxoFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "SUBUTXO" 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 RewardAccount) the set of reward addresses with incorrect network IDs
OutputTooSmallUTxO (NonEmpty (TxOut era))	list of supplied transaction outputs that are too small
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 (UTxO era)	The UTxO entries which have the wrong kind of script
ExUnitsTooBigUTxO (Mismatch 'RelLTEQ ExUnits)
CollateralContainsNonADA (Value era)	The inputs marked for use as fees contain non-ADA tokens
WrongNetworkInTxBody (Mismatch 'RelEQ Network)	Wrong Network ID in body
OutsideForecast SlotNo	slot number outside consensus forecast range
TooManyCollateralInputs (Mismatch 'RelLTEQ Natural)	There are too many collateral inputs
NoCollateralInputs
IncorrectTotalCollateralField	The collateral is not equivalent to the total collateral asserted by the transaction
Fields DeltaCoin collateral provided Coin collateral amount declared in transaction body
BabbageOutputTooSmallUTxO (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)

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

Instance details

Methods

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

InjectRuleFailure "UTXOW" DijkstraUtxoPredFailure DijkstraEra Source #

Instance details

Methods

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

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

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraUtxoPredFailure era) Source #

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

label ∷ Proxy (DijkstraUtxoPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ DijkstraUtxoPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ DijkstraUtxoPredFailure era → () #

Generic (DijkstraUtxoPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraUtxoPredFailure era)

Instance details

Methods

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

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

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

Instance details

Methods

showsPrec ∷ Int → DijkstraUtxoPredFailure era → ShowS #

show ∷ DijkstraUtxoPredFailure era → String #

showList ∷ [DijkstraUtxoPredFailure era] → ShowS #

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

Instance details

Methods

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

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

NoThunks (DijkstraUtxoPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraUtxoPredFailure era) → String Source #

type Rep (DijkstraUtxoPredFailure era) Source #

Instance details

data DijkstraUTXO era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXO era)] Source #

assertions ∷ [Assertion (DijkstraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXO era) → String Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

type BaseM (DijkstraUTXO era) Source #

Instance details

type BaseM (DijkstraUTXO era) = ShelleyBase

type Environment (DijkstraUTXO era) Source #

Instance details

type Environment (DijkstraUTXO era) = UtxoEnv era

type Event (DijkstraUTXO era) Source #

Instance details

type Event (DijkstraUTXO era) = AlonzoUtxoEvent era

type PredicateFailure (DijkstraUTXO era) Source #

Instance details

type PredicateFailure (DijkstraUTXO era) = DijkstraUtxoPredFailure era

type Signal (DijkstraUTXO era) Source #

Instance details

type Signal (DijkstraUTXO era) = Tx 'TopTx era

type State (DijkstraUTXO era) Source #

Instance details

type State (DijkstraUTXO era) = UTxOState era

conwayToDijkstraUtxoPredFailure ∷ ConwayUtxoPredFailure era → DijkstraUtxoPredFailure era Source #

data DijkstraUtxowPredFailure era Source #

Predicate failure type for the Conway Era

Constructors

UtxoFailure (PredicateFailure (EraRule "UTXO" era))
InvalidWitnessesUTXOW (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

Instances

Instances details

InjectRuleFailure "BBODY" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "LEDGERS" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

InjectRuleFailure "UTXOW" DijkstraUtxowPredFailure DijkstraEra Source #

Instance details

Methods

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

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

Instance details

Methods

decCBOR ∷ Decoder s (DijkstraUtxowPredFailure era) Source #

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

label ∷ Proxy (DijkstraUtxowPredFailure era) → Text Source #

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

Instance details

Methods

encCBOR ∷ DijkstraUtxowPredFailure era → Encoding Source #

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

Instance details

Methods

rnf ∷ DijkstraUtxowPredFailure era → () #

Generic (DijkstraUtxowPredFailure era) Source #

Instance details

Associated Types

type Rep (DijkstraUtxowPredFailure era)

Instance details

Methods

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

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

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

Instance details

Methods

showsPrec ∷ Int → DijkstraUtxowPredFailure era → ShowS #

show ∷ DijkstraUtxowPredFailure era → String #

showList ∷ [DijkstraUtxowPredFailure era] → ShowS #

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

Instance details

Methods

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

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

NoThunks (DijkstraUtxowPredFailure era) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DijkstraUtxowPredFailure era) → String Source #

type Rep (DijkstraUtxowPredFailure era) Source #

Instance details

data DijkstraUTXOW era Source #

Instances

Instances details

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraUTXOW era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXOW era)] Source #

assertions ∷ [Assertion (DijkstraUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXOW era) → String Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

type BaseM (DijkstraUTXOW era) Source #

Instance details

type BaseM (DijkstraUTXOW era) = ShelleyBase

type Environment (DijkstraUTXOW era) Source #

Instance details

type Environment (DijkstraUTXOW era) = UtxoEnv era

type Event (DijkstraUTXOW era) Source #

Instance details

type Event (DijkstraUTXOW era) = AlonzoUtxowEvent era

type PredicateFailure (DijkstraUTXOW era) Source #

Instance details

type PredicateFailure (DijkstraUTXOW era) = DijkstraUtxowPredFailure era

type Signal (DijkstraUTXOW era) Source #

Instance details

type Signal (DijkstraUTXOW era) = Tx 'TopTx era

type State (DijkstraUTXOW era) Source #

Instance details

type State (DijkstraUTXOW era) = UTxOState era

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) (AllegraUTXO 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 ~ AllegraUTXO era, GovState era ~ ShelleyGovState era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, SafeToHash (TxWits era)) ⇒ STS (AllegraUTXO era)

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Associated Types

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

Methods

initialRules ∷ [InitialRule (AllegraUTXO era)] Source #

transitionRules ∷ [TransitionRule (AllegraUTXO era)] Source #

assertions ∷ [Assertion (AllegraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (AllegraUTXO era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Associated Types

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

Methods

initialRules ∷ [InitialRule (AllegraUTXOW era)] Source #

transitionRules ∷ [TransitionRule (AllegraUTXOW era)] Source #

assertions ∷ [Assertion (AllegraUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (AllegraUTXOW era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

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

Methods

initialRules ∷ [InitialRule (AlonzoBBODY era)] Source #

transitionRules ∷ [TransitionRule (AlonzoBBODY era)] Source #

assertions ∷ [Assertion (AlonzoBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoBBODY era) → String Source #

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (AlonzoLEDGER era), Embed (EraRule "UTXOW" era) (AlonzoLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx '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 ~ AlonzoLEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, EraCertState era) ⇒ STS (AlonzoLEDGER era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Associated Types

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

Methods

initialRules ∷ [InitialRule (AlonzoLEDGER era)] Source #

transitionRules ∷ [TransitionRule (AlonzoLEDGER era)] Source #

assertions ∷ [Assertion (AlonzoLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoLEDGER era) → String Source #

(EraUTxO era, AlonzoEraTx era, Embed (EraRule "UTXOS" era) (AlonzoUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraRule "UTXO" era ~ AlonzoUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, AtMostEra "Babbage" era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (AlonzoUTXO era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Associated Types

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

Methods

initialRules ∷ [InitialRule (AlonzoUTXO era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXO era)] Source #

assertions ∷ [Assertion (AlonzoUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXO 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) (AlonzoUTXOS 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 (AlonzoUTXOS era)

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type State (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State (AlonzoUTXOS era) = UTxOState era
type Signal (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Signal (AlonzoUTXOS era) = Tx 'TopTx era
type Environment (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Environment (AlonzoUTXOS era) = UtxoEnv era
type BaseM (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type BaseM (AlonzoUTXOS era) = ShelleyBase
type Event (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type Event (AlonzoUTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (AlonzoUTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (AlonzoUTXOS era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOS era)] Source #

assertions ∷ [Assertion (AlonzoUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOS era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Associated Types

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

Methods

initialRules ∷ [InitialRule (AlonzoUTXOW era)] Source #

transitionRules ∷ [TransitionRule (AlonzoUTXOW era)] Source #

assertions ∷ [Assertion (AlonzoUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (AlonzoUTXOW era) → String Source #

(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (BabbageLEDGER era), Embed (EraRule "UTXOW" era) (BabbageLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx '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 ~ BabbageLEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ STS (BabbageLEDGER era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

Associated Types

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

Methods

initialRules ∷ [InitialRule (BabbageLEDGER era)] Source #

transitionRules ∷ [TransitionRule (BabbageLEDGER era)] Source #

assertions ∷ [Assertion (BabbageLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageLEDGER era) → String Source #

(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ BabbageUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, Embed (EraRule "UTXOS" era) (BabbageUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (BabbageUTXO era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

Associated Types

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

Methods

initialRules ∷ [InitialRule (BabbageUTXO era)] Source #

transitionRules ∷ [TransitionRule (BabbageUTXO era)] Source #

assertions ∷ [Assertion (BabbageUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageUTXO 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) (BabbageUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx '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 ~ BabbageUTXOS era) ⇒ STS (BabbageUTXOS era)

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

Associated Types

type State (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State (BabbageUTXOS era) = UTxOState era
type Signal (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Signal (BabbageUTXOS era) = Tx 'TopTx era
type Environment (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Environment (BabbageUTXOS era) = UtxoEnv era
type BaseM (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type BaseM (BabbageUTXOS era) = ShelleyBase
type Event (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Event (BabbageUTXOS era) = AlonzoUtxosEvent era
type PredicateFailure (BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (BabbageUTXOS era)] Source #

transitionRules ∷ [TransitionRule (BabbageUTXOS era)] Source #

assertions ∷ [Assertion (BabbageUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageUTXOS era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Associated Types

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

Methods

initialRules ∷ [InitialRule (BabbageUTXOW era)] Source #

transitionRules ∷ [TransitionRule (BabbageUTXOW era)] Source #

assertions ∷ [Assertion (BabbageUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (BabbageUTXOW 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, EraRule "BBODY" era ~ ConwayBBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era) ⇒ STS (ConwayBBODY era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayBBODY era)] Source #

transitionRules ∷ [TransitionRule (ConwayBBODY era)] Source #

assertions ∷ [Assertion (ConwayBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayBBODY 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) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era, EraCertState era) ⇒ STS (ConwayCERT era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayCERT era)] Source #

transitionRules ∷ [TransitionRule (ConwayCERT era)] Source #

assertions ∷ [Assertion (ConwayCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayCERT 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) (ConwayCERTS era), EraCertState era, ConwayEraCertState era, EraRuleFailure "CERT" era ~ PredicateFailure (EraRule "CERT" era)) ⇒ STS (ConwayCERTS era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayCERTS era)] Source #

transitionRules ∷ [TransitionRule (ConwayCERTS era)] Source #

assertions ∷ [Assertion (ConwayCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayCERTS era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayDELEG era)] Source #

transitionRules ∷ [TransitionRule (ConwayDELEG era)] Source #

assertions ∷ [Assertion (ConwayDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayDELEG era) → String Source #

EraGov era ⇒ STS (ConwayENACT era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayENACT era)] Source #

transitionRules ∷ [TransitionRule (ConwayENACT era)] Source #

assertions ∷ [Assertion (ConwayENACT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayENACT era) → String Source #

(EraTxOut era, RunConwayRatify era, ConwayEraCertState era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "SNAP" era) (ConwayEPOCH era), Environment (EraRule "SNAP" era) ~ SnapEnv era, State (EraRule "SNAP" era) ~ SnapShots, Signal (EraRule "SNAP" era) ~ (), Embed (EraRule "POOLREAP" era) (ConwayEPOCH era), Environment (EraRule "POOLREAP" era) ~ (), State (EraRule "POOLREAP" era) ~ ShelleyPoolreapState era, Signal (EraRule "POOLREAP" era) ~ EpochNo, Embed (EraRule "RATIFY" era) (ConwayEPOCH 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) (ConwayEPOCH era), Environment (EraRule "HARDFORK" era) ~ (), State (EraRule "HARDFORK" era) ~ EpochState era, Signal (EraRule "HARDFORK" era) ~ ProtVer) ⇒ STS (ConwayEPOCH era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ConwayEPOCH era)] Source #

assertions ∷ [Assertion (ConwayEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayEPOCH era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayGOV era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOV era)] Source #

assertions ∷ [Assertion (ConwayGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOV 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 ~ ConwayGOVCERT era, InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era)), ConwayEraCertState era) ⇒ STS (ConwayGOVCERT era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOVCERT era)] Source #

assertions ∷ [Assertion (ConwayGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOVCERT era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayHARDFORK era)] Source #

transitionRules ∷ [TransitionRule (ConwayHARDFORK era)] Source #

assertions ∷ [Assertion (ConwayHARDFORK era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayHARDFORK era) → String Source #

(AlonzoEraTx era, ConwayEraTxBody era, ConwayEraGov era, GovState era ~ ConwayGovState era, Embed (EraRule "UTXOW" era) (ConwayLEDGER era), Embed (EraRule "GOV" era) (ConwayLEDGER era), Embed (EraRule "CERTS" era) (ConwayLEDGER era), State (EraRule "UTXOW" era) ~ UTxOState era, State (EraRule "CERTS" era) ~ CertState era, State (EraRule "GOV" era) ~ Proposals era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Environment (EraRule "CERTS" era) ~ CertsEnv era, Environment (EraRule "GOV" era) ~ GovEnv era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Signal (EraRule "CERTS" era) ~ Seq (TxCert era), Signal (EraRule "GOV" era) ~ GovSignal era, ConwayEraCertState era, EraRule "LEDGER" era ~ ConwayLEDGER era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era) ⇒ STS (ConwayLEDGER era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayLEDGER era)] Source #

transitionRules ∷ [TransitionRule (ConwayLEDGER era)] Source #

assertions ∷ [Assertion (ConwayLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayLEDGER era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (ConwayMEMPOOL era)] Source #

assertions ∷ [Assertion (ConwayMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayMEMPOOL era) → String Source #

(EraTxOut era, ConwayEraGov era, EraStake era, EraCertState era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH 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 (ConwayNEWEPOCH era)), Show (PredicateFailure (ConwayNEWEPOCH era))) ⇒ STS (ConwayNEWEPOCH era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source #

transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source #

assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayRATIFY era)] Source #

transitionRules ∷ [TransitionRule (ConwayRATIFY era)] Source #

assertions ∷ [Assertion (ConwayRATIFY era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayRATIFY era) → String Source #

EraGov era ⇒ STS (ConwayTICKF era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayTICKF era)] Source #

transitionRules ∷ [TransitionRule (ConwayTICKF era)] Source #

assertions ∷ [Assertion (ConwayTICKF era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayTICKF era) → String Source #

(EraTx era, EraUTxO era, ConwayEraTxBody era, AlonzoEraTxWits era, EraRule "UTXO" era ~ ConwayUTXO 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) (ConwayUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx 'TopTx era, PredicateFailure (EraRule "UTXO" era) ~ ConwayUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (ConwayUTXO era)

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayUTXO era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXO era)] Source #

assertions ∷ [Assertion (ConwayUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXO era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayUTXOS era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXOS era)] Source #

assertions ∷ [Assertion (ConwayUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXOS era) → String Source #

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

Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

Associated Types

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

Methods

initialRules ∷ [InitialRule (ConwayUTXOW era)] Source #

transitionRules ∷ [TransitionRule (ConwayUTXOW era)] Source #

assertions ∷ [Assertion (ConwayUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayUTXOW 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, EraRule "BBODY" era ~ DijkstraBBODY era, AlonzoEraTx era, BabbageEraTxBody era, ConwayEraPParams era, DijkstraEraBlockBody era) ⇒ STS (DijkstraBBODY era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraBBODY era)] Source #

transitionRules ∷ [TransitionRule (DijkstraBBODY era)] Source #

assertions ∷ [Assertion (DijkstraBBODY era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraBBODY era) → String Source #

(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) (DijkstraCERT era), Embed (EraRule "POOL" era) (DijkstraCERT era), Embed (EraRule "GOVCERT" era) (DijkstraCERT era), TxCert era ~ DijkstraTxCert era, EraCertState era) ⇒ STS (DijkstraCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraCERT era)] Source #

assertions ∷ [Assertion (DijkstraCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraCERT era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOV era)] Source #

assertions ∷ [Assertion (DijkstraGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOV era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraGOVCERT era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraLEDGER era) → String Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraMEMPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraMEMPOOL era)] Source #

assertions ∷ [Assertion (DijkstraMEMPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraMEMPOOL era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERT era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBCERTS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBCERTS era)] Source #

assertions ∷ [Assertion (DijkstraSUBCERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBCERTS era) → String Source #

(EraGov era, EraCertState era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era) ⇒ STS (DijkstraSUBDELEG era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBDELEG era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBDELEG era)] Source #

assertions ∷ [Assertion (DijkstraSUBDELEG era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBDELEG era) → String Source #

(EraGov era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era) ⇒ STS (DijkstraSUBGOV era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOV era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOV era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOV era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOV era) → String Source #

(EraGov era, EraCertState era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era) ⇒ STS (DijkstraSUBGOVCERT era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBGOVCERT era)] Source #

assertions ∷ [Assertion (DijkstraSUBGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBGOVCERT era) → String Source #

(EraTx era, ConwayEraTxBody era, ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, EraRule "SUBGOV" era ~ DijkstraSUBGOV era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, EraRule "SUBCERTS" era ~ DijkstraSUBCERTS era, EraRule "SUBCERT" era ~ DijkstraSUBCERT era, EraRule "SUBDELEG" era ~ DijkstraSUBDELEG era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era, EraRule "SUBGOVCERT" era ~ DijkstraSUBGOVCERT era, Embed (EraRule "SUBGOV" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBUTXOW" era) (DijkstraSUBLEDGER era), Embed (EraRule "SUBCERTS" era) (DijkstraSUBCERTS era), TxCert era ~ DijkstraTxCert era) ⇒ STS (DijkstraSUBLEDGER era) Source #

Instance details

Associated Types

type State (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type State (DijkstraSUBLEDGER era) = LedgerState era
type Signal (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Signal (DijkstraSUBLEDGER era) = Tx 'SubTx era
type Environment (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Environment (DijkstraSUBLEDGER era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type BaseM (DijkstraSUBLEDGER era) = ShelleyBase
type Event (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type Event (DijkstraSUBLEDGER era) = Void
type PredicateFailure (DijkstraSUBLEDGER era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger type PredicateFailure (DijkstraSUBLEDGER era) = DijkstraSubLedgerPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGER era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGER era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGER era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGER era) → String Source #

(ConwayEraGov era, ConwayEraCertState era, EraRule "SUBLEDGERS" era ~ DijkstraSUBLEDGERS era, EraRule "SUBLEDGER" era ~ DijkstraSUBLEDGER era, Embed (EraRule "SUBLEDGER" era) (DijkstraSUBLEDGERS era)) ⇒ STS (DijkstraSUBLEDGERS era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

Associated Types

type State (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type State (DijkstraSUBLEDGERS era) = LedgerState era
type Signal (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Signal (DijkstraSUBLEDGERS era) = OMap TxId (Tx 'SubTx era)
type Environment (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Environment (DijkstraSUBLEDGERS era) = LedgerEnv era
type BaseM (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type BaseM (DijkstraSUBLEDGERS era) = ShelleyBase
type Event (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type Event (DijkstraSUBLEDGERS era) = Void
type PredicateFailure (DijkstraSUBLEDGERS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers type PredicateFailure (DijkstraSUBLEDGERS era) = DijkstraSubLedgersPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBLEDGERS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBLEDGERS era)] Source #

assertions ∷ [Assertion (DijkstraSUBLEDGERS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBLEDGERS era) → String Source #

(EraGov era, EraRule "SUBPOOL" era ~ DijkstraSUBPOOL era) ⇒ STS (DijkstraSUBPOOL era) Source #

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraSUBPOOL era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBPOOL era)] Source #

assertions ∷ [Assertion (DijkstraSUBPOOL era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBPOOL era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXOS" era) (DijkstraSUBUTXO era)) ⇒ STS (DijkstraSUBUTXO era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type State (DijkstraSUBUTXO era) = UTxOState era
type Signal (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Signal (DijkstraSUBUTXO era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Environment (DijkstraSUBUTXO era) = UtxoEnv era
type BaseM (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type BaseM (DijkstraSUBUTXO era) = ShelleyBase
type Event (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type Event (DijkstraSUBUTXO era) = Void
type PredicateFailure (DijkstraSUBUTXO era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo type PredicateFailure (DijkstraSUBUTXO era) = DijkstraSubUtxoPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXO era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXO era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era) ⇒ STS (DijkstraSUBUTXOS era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type State (DijkstraSUBUTXOS era) = UTxOState era
type Signal (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Signal (DijkstraSUBUTXOS era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Environment (DijkstraSUBUTXOS era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type BaseM (DijkstraSUBUTXOS era) = ShelleyBase
type Event (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type Event (DijkstraSUBUTXOS era) = Void
type PredicateFailure (DijkstraSUBUTXOS era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxos type PredicateFailure (DijkstraSUBUTXOS era) = DijkstraSubUtxosPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOS era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOS era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOS era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOS era) → String Source #

(ConwayEraGov era, EraRule "SUBUTXO" era ~ DijkstraSUBUTXO era, EraRule "SUBUTXOW" era ~ DijkstraSUBUTXOW era, EraRule "SUBUTXOS" era ~ DijkstraSUBUTXOS era, Embed (EraRule "SUBUTXO" era) (DijkstraSUBUTXOW era)) ⇒ STS (DijkstraSUBUTXOW era) Source #

Instance details

Associated Types

type State (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type State (DijkstraSUBUTXOW era) = UTxOState era
type Signal (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Signal (DijkstraSUBUTXOW era) = Tx 'SubTx era
type Environment (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Environment (DijkstraSUBUTXOW era) = UtxoEnv era
type BaseM (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type BaseM (DijkstraSUBUTXOW era) = ShelleyBase
type Event (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type Event (DijkstraSUBUTXOW era) = Void
type PredicateFailure (DijkstraSUBUTXOW era)
Instance details Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow type PredicateFailure (DijkstraSUBUTXOW era) = DijkstraSubUtxowPredFailure era

Methods

initialRules ∷ [InitialRule (DijkstraSUBUTXOW era)] Source #

transitionRules ∷ [TransitionRule (DijkstraSUBUTXOW era)] Source #

assertions ∷ [Assertion (DijkstraSUBUTXOW era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraSUBUTXOW era) → String Source #

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

Instance details

Associated Types

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

Methods

initialRules ∷ [InitialRule (DijkstraUTXO era)] Source #

transitionRules ∷ [TransitionRule (DijkstraUTXO era)] Source #

assertions ∷ [Assertion (DijkstraUTXO era)] Source #

renderAssertionViolation ∷ AssertionViolation (DijkstraUTXO era) → String Source #

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

Instance details