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

Cardano.Ledger.Conway.Rules.NewEpoch

Documentation

data ConwayNEWEPOCH era Source #

Instances

Instances details
(EraTxOut era, ConwayEraGov era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), 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))) ⇒ STS (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type BaseM (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Environment (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Environment (ConwayNEWEPOCH era) = ()
type Event (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Signal (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type State (ConwayNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

newtype ConwayNewEpochPredFailure era Source #

Instances

Instances details
Generic (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

type Rep (ConwayNewEpochPredFailure era) ∷ TypeType Source #

(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ Show (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

NFData (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

rnfConwayNewEpochPredFailure era → () Source #

Eq (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochPredFailure era) = D1 ('MetaData "ConwayNewEpochPredFailure" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.16.0.1-inplace" 'True) (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RewardUpdate (EraCrypto era)))))

data ConwayNewEpochEvent era Source #

Instances

Instances details
Generic (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Associated Types

type Rep (ConwayNewEpochEvent era) ∷ TypeType Source #

(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

Methods

rnfConwayNewEpochEvent era → () Source #

(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type Rep (ConwayNewEpochEvent era) = D1 ('MetaData "ConwayNewEpochEvent" "Cardano.Ledger.Conway.Rules.NewEpoch" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "RUPD" era)))) :+: C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking (EraCrypto era))))))) :+: (C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "EPOCH" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AdaPots)))))

Orphan instances

(EraTxOut era, ConwayEraGov era, Embed (EraRule "EPOCH" era) (ConwayNEWEPOCH era), Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era), 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))) ⇒ STS (ConwayNEWEPOCH era) Source # 
Instance details

(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source # 
Instance details

(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source # 
Instance details