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

Cardano.Ledger.Conway.Rules.GovCert

Documentation

data ConwayGOVCERT era Source #

Instances

Instances details
(ConwayEraPParams era, State (EraRule "GOVCERT" era) ~ VState era, Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, EraRule "GOVCERT" era ~ ConwayGOVCERT era, Eq (PredicateFailure (EraRule "GOVCERT" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ STS (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type BaseM (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Environment (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Event (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Event (ConwayGOVCERT era) = Void
type PredicateFailure (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Signal (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type State (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type State (ConwayGOVCERT era) = VState era

data ConwayGovCertPredFailure era Source #

Constructors

ConwayDRepAlreadyRegistered !(Credential 'DRepRole (EraCrypto era)) 
ConwayDRepNotRegistered !(Credential 'DRepRole (EraCrypto era)) 
ConwayDRepIncorrectDeposit !Coin !Coin 
ConwayCommitteeHasPreviouslyResigned !(Credential 'ColdCommitteeRole (EraCrypto era)) 
ConwayDRepIncorrectRefund !Coin !Coin 
ConwayCommitteeIsUnknown !(Credential 'ColdCommitteeRole (EraCrypto era))

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" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

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

Defined in Cardano.Ledger.Conway.Rules.Cert

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertPredFailure era) ∷ TypeType Source #

Show (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

(Typeable era, Crypto (EraCrypto era)) ⇒ DecCBOR (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

(Typeable era, Crypto (EraCrypto era)) ⇒ EncCBOR (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

NFData (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

rnfConwayGovCertPredFailure era → () Source #

Eq (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

NoThunks (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertPredFailure era) = D1 ('MetaData "ConwayGovCertPredFailure" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era)))) :+: C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "ConwayCommitteeIsUnknown" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole (EraCrypto era)))))))

data ConwayGovCertEnv era Source #

Instances

Instances details
Generic (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertEnv era) ∷ TypeType Source #

EraPParams era ⇒ Show (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

EraPParams era ⇒ NFData (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

rnfConwayGovCertEnv era → () Source #

EraPParams era ⇒ Eq (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Rep (ConwayGovCertEnv era) = D1 ('MetaData "ConwayGovCertEnv" "Cardano.Ledger.Conway.Rules.GovCert" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "ConwayGovCertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgcePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgceCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "cgceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era))))))

updateDRepExpiry Source #

Arguments

EpochInterval

DRepActivity PParam

EpochNo

Current epoch

EpochNo

The count of the dormant epochs

DRepState c 
DRepState c 

Orphan instances