Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.RewardProvenance

Synopsis

data RewardProvenance c = RewardProvenance {
- spe ∷ !Word64
- blocks ∷ !(BlocksMade c)
- maxLL ∷ !Coin
- deltaR1 ∷ !Coin
- deltaR2 ∷ !Coin
- r ∷ !Coin
- totalStake ∷ !Coin
- blocksCount ∷ !Integer
- d ∷ !Rational
- expBlocks ∷ !Integer
- eta ∷ !Rational
- rPot ∷ !Coin
- deltaT1 ∷ !Coin
- activeStake ∷ !Coin
- pools ∷ !(Map (KeyHash 'StakePool c) (RewardProvenancePool c))
- desirabilities ∷ !(Map (KeyHash 'StakePool c) Desirability)
}
data RewardProvenancePool c = RewardProvenancePool {
- poolBlocksP ∷ !Natural
- sigmaP ∷ !Rational
- sigmaAP ∷ !Rational
- ownerStakeP ∷ !Coin
- poolParamsP ∷ !(PoolParams c)
- pledgeRatioP ∷ !Rational
- maxPP ∷ !Coin
- appPerfP ∷ !Rational
- poolRP ∷ !Coin
- lRewardP ∷ !Coin
}
data Desirability = Desirability {
- desirabilityScore ∷ !Double
- hitRateEstimate ∷ !Double
}

Documentation

data RewardProvenance c Source #

RewardProvenenace captures some of the intermediate calculations when computing the staking reward distribution. Most of these fields are simple scalar values, computed from the current State, and are fixed before we start to compute the distribution. Two of them are aggregates computed when we compute the distribution (pools and desirabilities).

For more background, see "Figure 48: The Reward Calculation" and "Figure 51: Reward Update Creation" of the the formal specification. The variable names here align with those in the specification. See also Section 5 of the https://github.com/intersectmbo/cardano-ledger/releases/latest/download/shelley-delegation.pdf

Constructors

RewardProvenance

Fields

spe ∷ !Word64
The number of slots per epoch.
blocks ∷ !(BlocksMade c)
A map from pool ID (the key hash of the stake pool operator's verification key) to the number of blocks made in the given epoch.
maxLL ∷ !Coin
The maximum Lovelace supply. On mainnet, this value is equal to 45 * 10^15 (45 billion ADA).
deltaR1 ∷ !Coin
The maximum amount of Lovelace which can be removed from the reserves to be given out as rewards for the given epoch.
deltaR2 ∷ !Coin
The difference between the total Lovelace that could have been distributed as rewards this epoch (which is r) and what was actually distributed.
r ∷ !Coin
The total Lovelace available for rewards for the given epoch, equal to rPot less deltaT1.
totalStake ∷ !Coin
The maximum Lovelace supply (maxLL) less the current value of the reserves.
blocksCount ∷ !Integer
The total number of blocks produced during the given epoch.
d ∷ !Rational
The decentralization parameter.
expBlocks ∷ !Integer
The number of blocks expected to be produced during the given epoch.
eta ∷ !Rational
The ratio of the number of blocks actually made versus the number of blocks that were expected.
rPot ∷ !Coin
The reward pot for the given epoch, equal to deltaR1 plus the fee pot.
deltaT1 ∷ !Coin
The amount of Lovelace taken from the treasury for the given epoch.
activeStake ∷ !Coin
The amount of Lovelace that is delegated during the given epoch.
pools ∷ !(Map (KeyHash 'StakePool c) (RewardProvenancePool c))
Individual stake pool provenance.
desirabilities ∷ !(Map (KeyHash 'StakePool c) Desirability)
A map from pool ID to the desirability score. See the stake pool ranking document.

Instances

Instances details

Crypto c ⇒ FromJSON (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods parseJSON ∷ Value → Parser (RewardProvenance c) Source # parseJSONList ∷ Value → Parser [RewardProvenance c] Source # omittedField ∷ Maybe (RewardProvenance c) Source #
Crypto c ⇒ ToJSON (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods toJSON ∷ RewardProvenance c → Value Source # toEncoding ∷ RewardProvenance c → Encoding Source # toJSONList ∷ [RewardProvenance c] → Value Source # toEncodingList ∷ [RewardProvenance c] → Encoding Source # omitField ∷ RewardProvenance c → Bool Source #
Generic (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Associated Types type Rep (RewardProvenance c) ∷ Type → Type Source # Methods from ∷ RewardProvenance c → Rep (RewardProvenance c) x Source # to ∷ Rep (RewardProvenance c) x → RewardProvenance c Source #
Show (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods showsPrec ∷ Int → RewardProvenance c → ShowS Source # show ∷ RewardProvenance c → String Source # showList ∷ [RewardProvenance c] → ShowS Source #
Crypto c ⇒ DecCBOR (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods decCBOR ∷ Decoder s (RewardProvenance c) Source # dropCBOR ∷ Proxy (RewardProvenance c) → Decoder s () Source # label ∷ Proxy (RewardProvenance c) → Text Source #
Crypto c ⇒ EncCBOR (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods encCBOR ∷ RewardProvenance c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardProvenance c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardProvenance c] → Size Source #
Default (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods def ∷ RewardProvenance c Source #
NFData (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods rnf ∷ RewardProvenance c → () Source #
Eq (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods (==) ∷ RewardProvenance c → RewardProvenance c → Bool Source # (/=) ∷ RewardProvenance c → RewardProvenance c → Bool Source #
NoThunks (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods noThunks ∷ Context → RewardProvenance c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardProvenance c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardProvenance c) → String Source #
type Rep (RewardProvenance c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance type Rep (RewardProvenance c) = D1 ('MetaData "RewardProvenance" "Cardano.Ledger.Shelley.RewardProvenance" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "RewardProvenance" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "spe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Just "blocks") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade c))) :: (S1 ('MetaSel ('Just "maxLL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "deltaR1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :: ((S1 ('MetaSel ('Just "deltaR2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "r") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "totalStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "blocksCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))) :: (((S1 ('MetaSel ('Just "d") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Just "expBlocks") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "eta") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Just "rPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :: ((S1 ('MetaSel ('Just "deltaT1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "activeStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "pools") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) (RewardProvenancePool c))) :*: S1 ('MetaSel ('Just "desirabilities") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) Desirability)))))))

data RewardProvenancePool c Source #

Provenance for an individual stake pool's reward calculation.

Constructors

RewardProvenancePool

Fields

poolBlocksP ∷ !Natural
The number of blocks the pool produced.
sigmaP ∷ !Rational
The stake pool's stake share (portion of the total stake).
sigmaAP ∷ !Rational
The stake pool's active stake share (portion of the active stake).
ownerStakeP ∷ !Coin
The number of Lovelace owned by the stake pool owners. If this value is not at least as large as the pledgeRatioP, the stake pool will not earn any rewards for the given epoch.
poolParamsP ∷ !(PoolParams c)
The stake pool's registered parameters.
pledgeRatioP ∷ !Rational
The stake pool's pledge.
maxPP ∷ !Coin
The maximum number of Lovelace this stake pool can earn.
appPerfP ∷ !Rational
The stake pool's apparent performance. See Section 5.5.2 of the https://github.com/intersectmbo/cardano-ledger/releases/latest/download/shelley-delegation.pdf
poolRP ∷ !Coin
The total Lovelace earned by the stake pool.
lRewardP ∷ !Coin
The total Lovelace earned by the stake pool leader.

Instances

Instances details

Crypto c ⇒ FromJSON (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods parseJSON ∷ Value → Parser (RewardProvenancePool c) Source # parseJSONList ∷ Value → Parser [RewardProvenancePool c] Source # omittedField ∷ Maybe (RewardProvenancePool c) Source #
Crypto c ⇒ ToJSON (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods toJSON ∷ RewardProvenancePool c → Value Source # toEncoding ∷ RewardProvenancePool c → Encoding Source # toJSONList ∷ [RewardProvenancePool c] → Value Source # toEncodingList ∷ [RewardProvenancePool c] → Encoding Source # omitField ∷ RewardProvenancePool c → Bool Source #
Generic (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Associated Types type Rep (RewardProvenancePool c) ∷ Type → Type Source # Methods from ∷ RewardProvenancePool c → Rep (RewardProvenancePool c) x Source # to ∷ Rep (RewardProvenancePool c) x → RewardProvenancePool c Source #
Show (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods showsPrec ∷ Int → RewardProvenancePool c → ShowS Source # show ∷ RewardProvenancePool c → String Source # showList ∷ [RewardProvenancePool c] → ShowS Source #
Crypto c ⇒ DecCBOR (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods decCBOR ∷ Decoder s (RewardProvenancePool c) Source # dropCBOR ∷ Proxy (RewardProvenancePool c) → Decoder s () Source # label ∷ Proxy (RewardProvenancePool c) → Text Source #
Crypto c ⇒ EncCBOR (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods encCBOR ∷ RewardProvenancePool c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardProvenancePool c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardProvenancePool c] → Size Source #
Crypto c ⇒ Default (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods def ∷ RewardProvenancePool c Source #
NFData (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods rnf ∷ RewardProvenancePool c → () Source #
Eq (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods (==) ∷ RewardProvenancePool c → RewardProvenancePool c → Bool Source # (/=) ∷ RewardProvenancePool c → RewardProvenancePool c → Bool Source #
NoThunks (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods noThunks ∷ Context → RewardProvenancePool c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardProvenancePool c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardProvenancePool c) → String Source #
type Rep (RewardProvenancePool c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance type Rep (RewardProvenancePool c) = D1 ('MetaData "RewardProvenancePool" "Cardano.Ledger.Shelley.RewardProvenance" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "RewardProvenancePool" 'PrefixI 'True) (((S1 ('MetaSel ('Just "poolBlocksP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "sigmaP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)) :: (S1 ('MetaSel ('Just "sigmaAP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: (S1 ('MetaSel ('Just "ownerStakeP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "poolParamsP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams c))))) :: ((S1 ('MetaSel ('Just "pledgeRatioP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Just "maxPP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "appPerfP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: (S1 ('MetaSel ('Just "poolRP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "lRewardP") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))))

data Desirability Source #

The desirability score of a stake pool, as described in "Reward Sharing Schemes for Stake Pools". Additionally, the hit rate estimation described in the stake pool ranking document is included.

Constructors

Desirability
Fields desirabilityScore ∷ !Double hitRateEstimate ∷ !Double

Instances

Instances details

FromJSON Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods parseJSON ∷ Value → Parser Desirability Source # parseJSONList ∷ Value → Parser [Desirability] Source # omittedField ∷ Maybe Desirability Source #
ToJSON Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods toJSON ∷ Desirability → Value Source # toEncoding ∷ Desirability → Encoding Source # toJSONList ∷ [Desirability] → Value Source # toEncodingList ∷ [Desirability] → Encoding Source # omitField ∷ Desirability → Bool Source #
Generic Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Associated Types type Rep Desirability ∷ Type → Type Source # Methods from ∷ Desirability → Rep Desirability x Source # to ∷ Rep Desirability x → Desirability Source #
Show Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods showsPrec ∷ Int → Desirability → ShowS Source # show ∷ Desirability → String Source # showList ∷ [Desirability] → ShowS Source #
DecCBOR Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods decCBOR ∷ Decoder s Desirability Source # dropCBOR ∷ Proxy Desirability → Decoder s () Source # label ∷ Proxy Desirability → Text Source #
EncCBOR Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods encCBOR ∷ Desirability → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Desirability → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Desirability] → Size Source #
NFData Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods rnf ∷ Desirability → () Source #
Eq Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods (==) ∷ Desirability → Desirability → Bool Source # (/=) ∷ Desirability → Desirability → Bool Source #
NoThunks Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance Methods noThunks ∷ Context → Desirability → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Desirability → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Desirability → String Source #
type Rep Desirability Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardProvenance type Rep Desirability = D1 ('MetaData "Desirability" "Cardano.Ledger.Shelley.RewardProvenance" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "Desirability" 'PrefixI 'True) (S1 ('MetaSel ('Just "desirabilityScore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "hitRateEstimate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))