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

Cardano.Ledger.Conway.Rules.Cert

Documentation

data ConwayCERT era Source #

Instances

Instances details
(Era era, State (EraRule "DELEG" era) ~ DState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ VState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type State (ConwayCERT era) Source #

type Signal (ConwayCERT era) Source #

type Environment (ConwayCERT era) Source #

type BaseM (ConwayCERT era) ∷ TypeType Source #

type Event (ConwayCERT era) Source #

type PredicateFailure (ConwayCERT 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

(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(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

(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type BaseM (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Environment (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Environment (ConwayCERT era) = CertEnv era
type Event (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type PredicateFailure (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Signal (ConwayCERT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

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

Defined in Cardano.Ledger.Conway.Rules.Cert

type State (ConwayCERT era) = CertState era

data ConwayCertPredFailure era Source #

Constructors

DelegFailure (PredicateFailure (EraRule "DELEG" era)) 
PoolFailure (PredicateFailure (EraRule "POOL" era)) 
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era)) 

Instances

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

Defined in Cardano.Ledger.Conway.Rules.Bbody

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

Defined in Cardano.Ledger.Conway.Rules.Cert

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

Defined in Cardano.Ledger.Conway.Rules.Certs

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

Defined in Cardano.Ledger.Conway.Rules.Ledger

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

Defined in Cardano.Ledger.Conway.Rules.Ledgers

Generic (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (ConwayCertPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Show (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ DecCBOR (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(Typeable era, EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ EncCBOR (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NFData (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfConwayCertPredFailure era → () Source #

(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Eq (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

(NoThunks (PredicateFailure (EraRule "DELEG" era)), NoThunks (PredicateFailure (EraRule "POOL" era)), NoThunks (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NoThunks (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOVCERT" era))))))

data ConwayCertEvent era Source #

Constructors

DelegEvent (Event (EraRule "DELEG" era)) 
PoolEvent (Event (EraRule "POOL" era)) 
GovCertEvent (Event (EraRule "GOVCERT" era)) 

Instances

Instances details
Generic (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (ConwayCertEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfConwayCertEvent era → () Source #

(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" era))))))

data CertEnv era Source #

Instances

Instances details
Generic (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

Associated Types

type Rep (CertEnv era) ∷ TypeType Source #

Methods

fromCertEnv era → Rep (CertEnv era) x Source #

toRep (CertEnv era) x → CertEnv era Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

showsPrecIntCertEnv era → ShowS Source #

showCertEnv era → String Source #

showList ∷ [CertEnv era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

rnfCertEnv era → () Source #

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

Defined in Cardano.Ledger.Conway.Rules.Cert

Methods

(==)CertEnv era → CertEnv era → Bool Source #

(/=)CertEnv era → CertEnv era → Bool Source #

type Rep (CertEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ceSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "ceCurrentCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "ceCommitteeProposals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (GovPurposeId 'CommitteePurpose era) (GovActionState era)))))))

Orphan instances

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

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

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

(Era era, State (EraRule "DELEG" era) ~ DState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ VState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source # 
Instance details

Associated Types

type State (ConwayCERT era) Source #

type Signal (ConwayCERT era) Source #

type Environment (ConwayCERT era) Source #

type BaseM (ConwayCERT era) ∷ TypeType Source #

type Event (ConwayCERT era) Source #

type PredicateFailure (ConwayCERT era) Source #

(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source # 
Instance details

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

(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source # 
Instance details