cardano-ledger-conway-1.14.0.0: 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

Associated Types

type State (ConwayGOVCERT era) Source #

type Signal (ConwayGOVCERT era) Source #

type Environment (ConwayGOVCERT era) Source #

type BaseM (ConwayGOVCERT era) ∷ Type → Type Source #

type Event (ConwayGOVCERT era) Source #

type PredicateFailure (ConwayGOVCERT era) Source #

Methods

initialRules ∷ [InitialRule (ConwayGOVCERT era)] Source #

transitionRules ∷ [TransitionRule (ConwayGOVCERT era)] Source #

assertions ∷ [Assertion (ConwayGOVCERT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayGOVCERT era) → String Source #

(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

Methods

wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source #

wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #

type BaseM (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type BaseM (ConwayGOVCERT era) = ShelleyBase
type Environment (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Environment (ConwayGOVCERT era) = ConwayGovCertEnv era
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 PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type Signal (ConwayGOVCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type Signal (ConwayGOVCERT era) = ConwayGovCert (EraCrypto era)
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 

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Certs

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "GOVCERT" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Methods

injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #

Generic (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertPredFailure era) ∷ Type → Type Source #

Methods

from ∷ ConwayGovCertPredFailure era → Rep (ConwayGovCertPredFailure era) x Source #

to ∷ Rep (ConwayGovCertPredFailure era) x → ConwayGovCertPredFailure era Source #

Show (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

showsPrec ∷ Int → ConwayGovCertPredFailure era → ShowS Source #

show ∷ ConwayGovCertPredFailure era → String Source #

showList ∷ [ConwayGovCertPredFailure era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

decCBOR ∷ Decoder s (ConwayGovCertPredFailure era) Source #

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

label ∷ Proxy (ConwayGovCertPredFailure era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

encCBOR ∷ ConwayGovCertPredFailure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovCertPredFailure era) → Size Source #

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

NFData (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

rnf ∷ ConwayGovCertPredFailure era → () Source #

Eq (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

(==) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool Source #

(/=) ∷ ConwayGovCertPredFailure era → ConwayGovCertPredFailure era → Bool Source #

NoThunks (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

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

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

showTypeOf ∷ Proxy (ConwayGovCertPredFailure era) → String Source #

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.14.0.0-inplace" 'False) ((C1 ('MetaCons "ConwayDRepAlreadyRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era)))) :+: C1 ('MetaCons "ConwayDRepNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayDRepIncorrectDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: (C1 ('MetaCons "ConwayCommitteeHasPreviouslyResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole (EraCrypto era)))) :+: C1 ('MetaCons "ConwayDRepIncorrectRefund" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))

data ConwayGovCertEnv era Source #

Constructors

ConwayGovCertEnv 

Fields

Instances

Instances details
Generic (ConwayGovCertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

Associated Types

type Rep (ConwayGovCertEnv era) ∷ Type → Type Source #

Methods

from ∷ ConwayGovCertEnv era → Rep (ConwayGovCertEnv era) x Source #

to ∷ Rep (ConwayGovCertEnv era) x → ConwayGovCertEnv era Source #

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

showsPrec ∷ Int → ConwayGovCertEnv era → ShowS Source #

show ∷ ConwayGovCertEnv era → String Source #

showList ∷ [ConwayGovCertEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.GovCert

Methods

(==) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool Source #

(/=) ∷ ConwayGovCertEnv era → ConwayGovCertEnv era → Bool Source #

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.14.0.0-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)))

Orphan instances