cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Certs

Synopsis

Documentation

data ConwayCERTS era Source #

Instances

Instances details
(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)) ⇒ STS (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type State (ConwayCERTS era) Source #

type Signal (ConwayCERTS era) Source #

type Environment (ConwayCERTS era) Source #

type BaseM (ConwayCERTS era) ∷ TypeType Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) Source #

(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(EraTx era, ConwayEraTxBody era, ConwayEraPParams era, ConwayEraGov era, Embed (EraRule "CERT" era) (ConwayCERTS era), State (EraRule "CERT" era) ~ CertState era, Environment (EraRule "CERT" era) ~ CertEnv era, Signal (EraRule "CERT" era) ~ TxCert era, PredicateFailure (EraRule "CERTS" era) ~ ConwayCertsPredFailure era, Event (EraRule "CERTS" era) ~ ConwayCertsEvent era, EraRule "CERTS" era ~ ConwayCERTS era) ⇒ Embed (ConwayCERTS era) (ConwayLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type BaseM (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Environment (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Event (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Signal (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Signal (ConwayCERTS era) = Seq (TxCert era)
type State (ConwayCERTS era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type State (ConwayCERTS era) = CertState era

data ConwayCertsPredFailure era Source #

Constructors

WithdrawalsNotInRewardsCERTS !(Map (RewardAccount (EraCrypto era)) Coin)

Withdrawals that are missing or do not withdrawal the entire amount

CertFailure !(PredicateFailure (EraRule "CERT" era))

CERT rule subtransition Failures

Instances

Instances details
InjectRuleFailure "BBODY" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

InjectRuleFailure "CERTS" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

InjectRuleFailure "LEDGER" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

InjectRuleFailure "LEDGERS" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsPredFailure era) ∷ TypeType Source #

Show (PredicateFailure (EraRule "CERT" era)) ⇒ Show (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ DecCBOR (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

(Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) ⇒ EncCBOR (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

NFData (PredicateFailure (EraRule "CERT" era)) ⇒ NFData (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnfConwayCertsPredFailure era → () Source #

Eq (PredicateFailure (EraRule "CERT" era)) ⇒ Eq (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

NoThunks (PredicateFailure (EraRule "CERT" era)) ⇒ NoThunks (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsPredFailure era) = D1 ('MetaData "ConwayCertsPredFailure" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "WithdrawalsNotInRewardsCERTS" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin))) :+: C1 ('MetaCons "CertFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "CERT" era)))))

newtype ConwayCertsEvent era Source #

Constructors

CertEvent (Event (EraRule "CERT" era)) 

Instances

Instances details
Generic (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Associated Types

type Rep (ConwayCertsEvent era) ∷ TypeType Source #

NFData (Event (EraRule "CERT" era)) ⇒ NFData (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

rnfConwayCertsEvent era → () Source #

Eq (Event (EraRule "CERT" era)) ⇒ Eq (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type Rep (ConwayCertsEvent era) = D1 ('MetaData "ConwayCertsEvent" "Cardano.Ledger.Conway.Rules.Certs" "cardano-ledger-conway-1.16.0.1-inplace" 'True) (C1 ('MetaCons "CertEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "CERT" era)))))

updateDormantDRepExpiry Source #

Arguments

EpochNo

Current Epoch

VState era 
VState era 

Update dormant expiry for all DReps that are active. And also reset the numDormantEpochs counter.

Orphan instances

InjectRuleFailure "CERTS" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "CERTS" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "CERTS" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "CERTS" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

(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)) ⇒ STS (ConwayCERTS era) Source # 
Instance details

Associated Types

type State (ConwayCERTS era) Source #

type Signal (ConwayCERTS era) Source #

type Environment (ConwayCERTS era) Source #

type BaseM (ConwayCERTS era) ∷ TypeType Source #

type Event (ConwayCERTS era) Source #

type PredicateFailure (ConwayCERTS era) Source #

(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source # 
Instance details