Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.NewEpoch

Contents

Orphan instances

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 Associated Types type State (ConwayNEWEPOCH era) Source # type Signal (ConwayNEWEPOCH era) Source # type Environment (ConwayNEWEPOCH era) Source # type BaseM (ConwayNEWEPOCH era) ∷ Type → Type Source # type Event (ConwayNEWEPOCH era) Source # type PredicateFailure (ConwayNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source # assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(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 Methods wrapFailed ∷ PredicateFailure (ConwayNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ConwayNEWEPOCH era) → Event (ShelleyTICK era) Source #
type BaseM (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type BaseM (ConwayNEWEPOCH era) = ShelleyBase
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 Event (ConwayNEWEPOCH era) = ConwayNewEpochEvent era
type PredicateFailure (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type Signal (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type Signal (ConwayNEWEPOCH era) = EpochNo
type State (ConwayNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch type State (ConwayNEWEPOCH era) = NewEpochState era

newtype ConwayNewEpochPredFailure era Source #

Constructors

CorruptRewardUpdate (RewardUpdate (EraCrypto era))

Instances

Instances details

Generic (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type Rep (ConwayNewEpochPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayNewEpochPredFailure era → Rep (ConwayNewEpochPredFailure era) x Source # to ∷ Rep (ConwayNewEpochPredFailure era) x → ConwayNewEpochPredFailure era Source #
(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "RATIFY" era))) ⇒ Show (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods showsPrec ∷ Int → ConwayNewEpochPredFailure era → ShowS Source # show ∷ ConwayNewEpochPredFailure era → String Source # showList ∷ [ConwayNewEpochPredFailure era] → ShowS Source #
NFData (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods rnf ∷ ConwayNewEpochPredFailure era → () Source #
Eq (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Methods (==) ∷ ConwayNewEpochPredFailure era → ConwayNewEpochPredFailure era → Bool Source # (/=) ∷ ConwayNewEpochPredFailure era → ConwayNewEpochPredFailure era → Bool Source #
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.14.0.0-inplace" 'True) (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RewardUpdate (EraCrypto era)))))

data ConwayNewEpochEvent era Source #

Constructors

DeltaRewardEvent !(Event (EraRule "RUPD" era))
RestrainedRewards !EpochNo !(Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))) !(Set (Credential 'Staking (EraCrypto era)))
TotalRewardEvent !EpochNo !(Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))
EpochEvent !(Event (EraRule "EPOCH" era))
TotalAdaPotsEvent !AdaPots

Instances

Instances details

Generic (ConwayNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.NewEpoch Associated Types type Rep (ConwayNewEpochEvent era) ∷ Type → Type Source # Methods from ∷ ConwayNewEpochEvent era → Rep (ConwayNewEpochEvent era) x Source # to ∷ Rep (ConwayNewEpochEvent era) x → ConwayNewEpochEvent era 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 rnf ∷ ConwayNewEpochEvent 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 Methods (==) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool Source # (/=) ∷ ConwayNewEpochEvent era → ConwayNewEpochEvent era → Bool Source #
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.14.0.0-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "RUPD" era)))) :+: C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking (EraCrypto era))))))) :+: (C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Event (EraRule "EPOCH" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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 Associated Types type State (ConwayNEWEPOCH era) Source # type Signal (ConwayNEWEPOCH era) Source # type Environment (ConwayNEWEPOCH era) Source # type BaseM (ConwayNEWEPOCH era) ∷ Type → Type Source # type Event (ConwayNEWEPOCH era) Source # type PredicateFailure (ConwayNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ConwayNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ConwayNEWEPOCH era)] Source # assertions ∷ [Assertion (ConwayNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayNEWEPOCH era) → String Source #
(STS (ConwayEPOCH era), Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ Embed (ConwayEPOCH era) (ConwayNEWEPOCH era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayEPOCH era) → PredicateFailure (ConwayNEWEPOCH era) Source # wrapEvent ∷ Event (ConwayEPOCH era) → Event (ConwayNEWEPOCH era) Source #
(STS (ConwayNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ConwayNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Embed (ConwayNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ConwayNEWEPOCH era) → Event (ShelleyTICK era) Source #