Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.NewEpoch

Contents

Orphan instances

Synopsis

data ShelleyNEWEPOCH era
data ShelleyNewEpochPredFailure era
- = EpochFailure (PredicateFailure (EraRule "EPOCH" era))
- | CorruptRewardUpdate !(RewardUpdate (EraCrypto era))
- | MirFailure (PredicateFailure (EraRule "MIR" era))
data ShelleyNewEpochEvent era
- = 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))
- | MirEvent (Event (EraRule "MIR" era))
- | TotalAdaPotsEvent AdaPots
type family PredicateFailure a
updateRewards ∷ EraGov era ⇒ EpochState era → EpochNo → RewardUpdate (EraCrypto era) → Rule (ShelleyNEWEPOCH era) 'Transition (EpochState era)
calculatePoolDistr ∷ SnapShot c → PoolDistr c
calculatePoolDistr' ∷ (KeyHash 'StakePool c → Bool) → SnapShot c → PoolDistr c

Documentation

data ShelleyNEWEPOCH era Source #

Instances

Instances details

(EraTxOut era, EraGov era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" 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 (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types type State (ShelleyNEWEPOCH era) Source # type Signal (ShelleyNEWEPOCH era) Source # type Environment (ShelleyNEWEPOCH era) Source # type BaseM (ShelleyNEWEPOCH era) ∷ Type → Type Source # type Event (ShelleyNEWEPOCH era) Source # type PredicateFailure (ShelleyNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ShelleyNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWEPOCH era)] Source # assertions ∷ [Assertion (ShelleyNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWEPOCH era) → String Source #
(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source #
(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source #
(STS (ShelleyNEWEPOCH era), PredicateFailure (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochPredFailure era, Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyNEWEPOCH era) → Event (ShelleyTICK era) Source #
type BaseM (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type BaseM (ShelleyNEWEPOCH era) = ShelleyBase
type Environment (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Environment (ShelleyNEWEPOCH era) = ()
type Event (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Event (ShelleyNEWEPOCH era) = ShelleyNewEpochEvent era
type PredicateFailure (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type Signal (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Signal (ShelleyNEWEPOCH era) = EpochNo
type State (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State (ShelleyNEWEPOCH era) = NewEpochState era

data ShelleyNewEpochPredFailure era Source #

Constructors

EpochFailure (PredicateFailure (EraRule "EPOCH" era))
CorruptRewardUpdate !(RewardUpdate (EraCrypto era))
MirFailure (PredicateFailure (EraRule "MIR" era))

Instances

Instances details

Generic (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types type Rep (ShelleyNewEpochPredFailure era) ∷ Type → Type Source # Methods from ∷ ShelleyNewEpochPredFailure era → Rep (ShelleyNewEpochPredFailure era) x Source # to ∷ Rep (ShelleyNewEpochPredFailure era) x → ShelleyNewEpochPredFailure era Source #
(Show (PredicateFailure (EraRule "EPOCH" era)), Show (PredicateFailure (EraRule "MIR" era))) ⇒ Show (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods showsPrec ∷ Int → ShelleyNewEpochPredFailure era → ShowS Source # show ∷ ShelleyNewEpochPredFailure era → String Source # showList ∷ [ShelleyNewEpochPredFailure era] → ShowS Source #
(NFData (PredicateFailure (EraRule "EPOCH" era)), NFData (PredicateFailure (EraRule "MIR" era))) ⇒ NFData (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods rnf ∷ ShelleyNewEpochPredFailure era → () Source #
(Eq (PredicateFailure (EraRule "EPOCH" era)), Eq (PredicateFailure (EraRule "MIR" era))) ⇒ Eq (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods (==) ∷ ShelleyNewEpochPredFailure era → ShelleyNewEpochPredFailure era → Bool Source # (/=) ∷ ShelleyNewEpochPredFailure era → ShelleyNewEpochPredFailure era → Bool Source #
(NoThunks (PredicateFailure (EraRule "EPOCH" era)), NoThunks (PredicateFailure (EraRule "MIR" era))) ⇒ NoThunks (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods noThunks ∷ Context → ShelleyNewEpochPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyNewEpochPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyNewEpochPredFailure era) → String Source #
type Rep (ShelleyNewEpochPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Rep (ShelleyNewEpochPredFailure era) = D1 ('MetaData "ShelleyNewEpochPredFailure" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "EpochFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "CorruptRewardUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate (EraCrypto era)))) :+: C1 ('MetaCons "MirFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "MIR" era))))))

data ShelleyNewEpochEvent 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))
MirEvent (Event (EraRule "MIR" era))
TotalAdaPotsEvent AdaPots

Instances

Instances details

Generic (ShelleyNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types type Rep (ShelleyNewEpochEvent era) ∷ Type → Type Source # Methods from ∷ ShelleyNewEpochEvent era → Rep (ShelleyNewEpochEvent era) x Source # to ∷ Rep (ShelleyNewEpochEvent era) x → ShelleyNewEpochEvent era Source #
(NFData (Event (EraRule "EPOCH" era)), NFData (Event (EraRule "MIR" era)), NFData (Event (EraRule "RUPD" era))) ⇒ NFData (ShelleyNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods rnf ∷ ShelleyNewEpochEvent era → () Source #
(Eq (Event (EraRule "EPOCH" era)), Eq (Event (EraRule "MIR" era)), Eq (Event (EraRule "RUPD" era))) ⇒ Eq (ShelleyNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods (==) ∷ ShelleyNewEpochEvent era → ShelleyNewEpochEvent era → Bool Source # (/=) ∷ ShelleyNewEpochEvent era → ShelleyNewEpochEvent era → Bool Source #
type Rep (ShelleyNewEpochEvent era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Rep (ShelleyNewEpochEvent era) = D1 ('MetaData "ShelleyNewEpochEvent" "Cardano.Ledger.Shelley.Rules.NewEpoch" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) ((C1 ('MetaCons "DeltaRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "RUPD" era)))) :+: (C1 ('MetaCons "RestrainedRewards" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (Credential 'Staking (EraCrypto era)))))) :+: C1 ('MetaCons "TotalRewardEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))))))) :+: (C1 ('MetaCons "EpochEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "EPOCH" era)))) :+: (C1 ('MetaCons "MirEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "MIR" era)))) :+: C1 ('MetaCons "TotalAdaPotsEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdaPots)))))

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

type PredicateFailure (ShelleyBBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure (STUB e st si f m) = f

updateRewards ∷ EraGov era ⇒ EpochState era → EpochNo → RewardUpdate (EraCrypto era) → Rule (ShelleyNEWEPOCH era) 'Transition (EpochState era) Source #

calculatePoolDistr ∷ SnapShot c → PoolDistr c Source #

calculatePoolDistr' ∷ (KeyHash 'StakePool c → Bool) → SnapShot c → PoolDistr c Source #

Orphan instances

(EraTxOut era, EraGov era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" 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 (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (ShelleyNEWEPOCH era) Source #
Instance details Associated Types type State (ShelleyNEWEPOCH era) Source # type Signal (ShelleyNEWEPOCH era) Source # type Environment (ShelleyNEWEPOCH era) Source # type BaseM (ShelleyNEWEPOCH era) ∷ Type → Type Source # type Event (ShelleyNEWEPOCH era) Source # type PredicateFailure (ShelleyNEWEPOCH era) Source # Methods initialRules ∷ [InitialRule (ShelleyNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWEPOCH era)] Source # assertions ∷ [Assertion (ShelleyNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWEPOCH era) → String Source #
(STS (ShelleyEPOCH era), PredicateFailure (EraRule "EPOCH" era) ~ ShelleyEpochPredFailure era, Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source #
(EraGov era, Default (EpochState era), PredicateFailure (EraRule "MIR" era) ~ ShelleyMirPredFailure era, Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source #