Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.PoolRank

Synopsis

desirability ∷ (NonNegativeInterval, Natural) → Coin → PoolParams c → PerformanceEstimate → Coin → Double
newtype PerformanceEstimate = PerformanceEstimate {
- unPerformanceEstimate ∷ Double
}
data NonMyopic c = NonMyopic {
- likelihoodsNM ∷ !(Map (KeyHash 'StakePool c) Likelihood)
- rewardPotNM ∷ !Coin
}
getTopRankedPools ∷ EraPParams era ⇒ Coin → Coin → PParams era → Map (KeyHash 'StakePool c) (PoolParams c) → Map (KeyHash 'StakePool c) PerformanceEstimate → Set (KeyHash 'StakePool c)
getTopRankedPoolsVMap ∷ EraPParams era ⇒ Coin → Coin → PParams era → VMap VB VB (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)) → Map (KeyHash 'StakePool (EraCrypto era)) PerformanceEstimate → Set (KeyHash 'StakePool (EraCrypto era))
nonMyopicStake ∷ EraPParams era ⇒ PParams era → StakeShare → StakeShare → StakeShare → KeyHash 'StakePool c → Set (KeyHash 'StakePool c) → StakeShare
nonMyopicMemberRew ∷ EraPParams era ⇒ PParams era → Coin → PoolParams c → StakeShare → StakeShare → StakeShare → Set (KeyHash 'StakePool c) → PerformanceEstimate → Coin
percentile' ∷ Likelihood → PerformanceEstimate
newtype Histogram = Histogram {
- unHistogram ∷ StrictSeq LogWeight
}
newtype LogWeight = LogWeight {
- unLogWeight ∷ Float
}
likelihood ∷ Natural → Double → EpochSize → Likelihood
applyDecay ∷ Float → Likelihood → Likelihood
newtype Likelihood = Likelihood {
- unLikelihood ∷ StrictSeq LogWeight
}
leaderProbability ∷ ActiveSlotCoeff → Rational → UnitInterval → Double

Documentation

desirability ∷ (NonNegativeInterval, Natural) → Coin → PoolParams c → PerformanceEstimate → Coin → Double Source #

Desirability calculation for non-myopic utility, corresponding to f^~ in section 5.6.1 of "Design Specification for Delegation and Incentives in Cardano"

newtype PerformanceEstimate Source #

This is a estimate of the proportion of allowed blocks a pool will make in the future. It is used for ranking pools in delegation.

Constructors

PerformanceEstimate
Fields unPerformanceEstimate ∷ Double

Instances

Instances details

Generic PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Rep PerformanceEstimate ∷ Type → Type Source # Methods from ∷ PerformanceEstimate → Rep PerformanceEstimate x Source # to ∷ Rep PerformanceEstimate x → PerformanceEstimate Source #
Show PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods showsPrec ∷ Int → PerformanceEstimate → ShowS Source # show ∷ PerformanceEstimate → String Source # showList ∷ [PerformanceEstimate] → ShowS Source #
DecCBOR PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods decCBOR ∷ Decoder s PerformanceEstimate Source # dropCBOR ∷ Proxy PerformanceEstimate → Decoder s () Source # label ∷ Proxy PerformanceEstimate → Text Source #
EncCBOR PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods encCBOR ∷ PerformanceEstimate → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PerformanceEstimate → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PerformanceEstimate] → Size Source #
Eq PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (==) ∷ PerformanceEstimate → PerformanceEstimate → Bool Source # (/=) ∷ PerformanceEstimate → PerformanceEstimate → Bool Source #
NoThunks PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods noThunks ∷ Context → PerformanceEstimate → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerformanceEstimate → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PerformanceEstimate → String Source #
type Rep PerformanceEstimate Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Rep PerformanceEstimate = D1 ('MetaData "PerformanceEstimate" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "PerformanceEstimate" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerformanceEstimate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

data NonMyopic c Source #

Constructors

NonMyopic
Fields likelihoodsNM ∷ !(Map (KeyHash 'StakePool c) Likelihood) rewardPotNM ∷ !Coin

Instances

Instances details

Crypto crypto ⇒ ToJSON (NonMyopic crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods toJSON ∷ NonMyopic crypto → Value Source # toEncoding ∷ NonMyopic crypto → Encoding Source # toJSONList ∷ [NonMyopic crypto] → Value Source # toEncodingList ∷ [NonMyopic crypto] → Encoding Source # omitField ∷ NonMyopic crypto → Bool Source #
Generic (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Rep (NonMyopic c) ∷ Type → Type Source # Methods from ∷ NonMyopic c → Rep (NonMyopic c) x Source # to ∷ Rep (NonMyopic c) x → NonMyopic c Source #
Show (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods showsPrec ∷ Int → NonMyopic c → ShowS Source # show ∷ NonMyopic c → String Source # showList ∷ [NonMyopic c] → ShowS Source #
Crypto c ⇒ DecShareCBOR (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Share (NonMyopic c) Source # Methods getShare ∷ NonMyopic c → Share (NonMyopic c) Source # decShareCBOR ∷ Share (NonMyopic c) → Decoder s (NonMyopic c) Source # decSharePlusCBOR ∷ StateT (Share (NonMyopic c)) (Decoder s) (NonMyopic c) Source #
Crypto c ⇒ EncCBOR (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods encCBOR ∷ NonMyopic c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (NonMyopic c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [NonMyopic c] → Size Source #
Default (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods def ∷ NonMyopic c Source #
NFData (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods rnf ∷ NonMyopic c → () Source #
Eq (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (==) ∷ NonMyopic c → NonMyopic c → Bool Source # (/=) ∷ NonMyopic c → NonMyopic c → Bool Source #
NoThunks (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods noThunks ∷ Context → NonMyopic c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonMyopic c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NonMyopic c) → String Source #
type Rep (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Rep (NonMyopic c) = D1 ('MetaData "NonMyopic" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NonMyopic" 'PrefixI 'True) (S1 ('MetaSel ('Just "likelihoodsNM") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) Likelihood)) :*: S1 ('MetaSel ('Just "rewardPotNM") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))
type Share (NonMyopic c) Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Share (NonMyopic c) = Interns (KeyHash 'StakePool c)

getTopRankedPools ∷ EraPParams era ⇒ Coin → Coin → PParams era → Map (KeyHash 'StakePool c) (PoolParams c) → Map (KeyHash 'StakePool c) PerformanceEstimate → Set (KeyHash 'StakePool c) Source #

Computes the top ranked stake pools corresponding to section 5.6.1 of "Design Specification for Delegation and Incentives in Cardano"

getTopRankedPoolsVMap ∷ EraPParams era ⇒ Coin → Coin → PParams era → VMap VB VB (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)) → Map (KeyHash 'StakePool (EraCrypto era)) PerformanceEstimate → Set (KeyHash 'StakePool (EraCrypto era)) Source #

nonMyopicStake ∷ EraPParams era ⇒ PParams era → StakeShare → StakeShare → StakeShare → KeyHash 'StakePool c → Set (KeyHash 'StakePool c) → StakeShare Source #

Compute the Non-Myopic Pool Stake

This function implements non-myopic stake calculation in section 5.6.2 of "Design Specification for Delegation and Incentives in Cardano". Note that the protocol parameters are implicit in the design document. Additionally, instead of passing a rank r to compare with k, we pass the top k desirable pools and check for membership.

nonMyopicMemberRew ∷ EraPParams era ⇒ PParams era → Coin → PoolParams c → StakeShare → StakeShare → StakeShare → Set (KeyHash 'StakePool c) → PerformanceEstimate → Coin Source #

Compute the Non-Myopic Pool Member Reward

This function implements equation (3) in section 5.6.4 of "Design Specification for Delegation and Incentives in Cardano". Note that the protocol parameters and the reward pot are implicit in the design document. Additionally, instead of passing a rank r to compare with k, we pass the top k desirable pools and check for membership.

percentile' ∷ Likelihood → PerformanceEstimate Source #

newtype Histogram Source #

Constructors

Histogram
Fields unHistogram ∷ StrictSeq LogWeight

Instances

Instances details

Generic Histogram Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Rep Histogram ∷ Type → Type Source # Methods from ∷ Histogram → Rep Histogram x Source # to ∷ Rep Histogram x → Histogram Source #
Show Histogram Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods showsPrec ∷ Int → Histogram → ShowS Source # show ∷ Histogram → String Source # showList ∷ [Histogram] → ShowS Source #
Eq Histogram Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (==) ∷ Histogram → Histogram → Bool Source # (/=) ∷ Histogram → Histogram → Bool Source #
type Rep Histogram Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Rep Histogram = D1 ('MetaData "Histogram" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "Histogram" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHistogram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq LogWeight))))

newtype LogWeight Source #

Constructors

LogWeight
Fields unLogWeight ∷ Float

Instances

Instances details

FromJSON LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods parseJSON ∷ Value → Parser LogWeight Source # parseJSONList ∷ Value → Parser [LogWeight] Source # omittedField ∷ Maybe LogWeight Source #
ToJSON LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods toJSON ∷ LogWeight → Value Source # toEncoding ∷ LogWeight → Encoding Source # toJSONList ∷ [LogWeight] → Value Source # toEncodingList ∷ [LogWeight] → Encoding Source # omitField ∷ LogWeight → Bool Source #
Generic LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Rep LogWeight ∷ Type → Type Source # Methods from ∷ LogWeight → Rep LogWeight x Source # to ∷ Rep LogWeight x → LogWeight Source #
Num LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (+) ∷ LogWeight → LogWeight → LogWeight Source # (-) ∷ LogWeight → LogWeight → LogWeight Source # (*) ∷ LogWeight → LogWeight → LogWeight Source # negate ∷ LogWeight → LogWeight Source # abs ∷ LogWeight → LogWeight Source # signum ∷ LogWeight → LogWeight Source # fromInteger ∷ Integer → LogWeight Source #
Show LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods showsPrec ∷ Int → LogWeight → ShowS Source # show ∷ LogWeight → String Source # showList ∷ [LogWeight] → ShowS Source #
DecCBOR LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods decCBOR ∷ Decoder s LogWeight Source # dropCBOR ∷ Proxy LogWeight → Decoder s () Source # label ∷ Proxy LogWeight → Text Source #
EncCBOR LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods encCBOR ∷ LogWeight → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy LogWeight → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [LogWeight] → Size Source #
NFData LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods rnf ∷ LogWeight → () Source #
Eq LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (==) ∷ LogWeight → LogWeight → Bool Source # (/=) ∷ LogWeight → LogWeight → Bool Source #
Ord LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods compare ∷ LogWeight → LogWeight → Ordering Source # (<) ∷ LogWeight → LogWeight → Bool Source # (<=) ∷ LogWeight → LogWeight → Bool Source # (>) ∷ LogWeight → LogWeight → Bool Source # (>=) ∷ LogWeight → LogWeight → Bool Source # max ∷ LogWeight → LogWeight → LogWeight Source # min ∷ LogWeight → LogWeight → LogWeight Source #
NoThunks LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods noThunks ∷ Context → LogWeight → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LogWeight → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LogWeight → String Source #
type Rep LogWeight Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Rep LogWeight = D1 ('MetaData "LogWeight" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "LogWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLogWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float)))

likelihood ∷ Natural → Double → EpochSize → Likelihood Source #

applyDecay ∷ Float → Likelihood → Likelihood Source #

Decay previous likelihood

newtype Likelihood Source #

Constructors

Likelihood
Fields unLikelihood ∷ StrictSeq LogWeight

Instances

Instances details

ToJSON Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods toJSON ∷ Likelihood → Value Source # toEncoding ∷ Likelihood → Encoding Source # toJSONList ∷ [Likelihood] → Value Source # toEncodingList ∷ [Likelihood] → Encoding Source # omitField ∷ Likelihood → Bool Source #
Monoid Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods mempty ∷ Likelihood Source # mappend ∷ Likelihood → Likelihood → Likelihood Source # mconcat ∷ [Likelihood] → Likelihood Source #
Semigroup Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (<>) ∷ Likelihood → Likelihood → Likelihood Source # sconcat ∷ NonEmpty Likelihood → Likelihood Source # stimes ∷ Integral b ⇒ b → Likelihood → Likelihood Source #
Generic Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Associated Types type Rep Likelihood ∷ Type → Type Source # Methods from ∷ Likelihood → Rep Likelihood x Source # to ∷ Rep Likelihood x → Likelihood Source #
Show Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods showsPrec ∷ Int → Likelihood → ShowS Source # show ∷ Likelihood → String Source # showList ∷ [Likelihood] → ShowS Source #
DecCBOR Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods decCBOR ∷ Decoder s Likelihood Source # dropCBOR ∷ Proxy Likelihood → Decoder s () Source # label ∷ Proxy Likelihood → Text Source #
EncCBOR Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods encCBOR ∷ Likelihood → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Likelihood → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Likelihood] → Size Source #
NFData Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods rnf ∷ Likelihood → () Source #
Eq Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods (==) ∷ Likelihood → Likelihood → Bool Source # (/=) ∷ Likelihood → Likelihood → Bool Source #
Ord Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods compare ∷ Likelihood → Likelihood → Ordering Source # (<) ∷ Likelihood → Likelihood → Bool Source # (<=) ∷ Likelihood → Likelihood → Bool Source # (>) ∷ Likelihood → Likelihood → Bool Source # (>=) ∷ Likelihood → Likelihood → Bool Source # max ∷ Likelihood → Likelihood → Likelihood Source # min ∷ Likelihood → Likelihood → Likelihood Source #
NoThunks Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank Methods noThunks ∷ Context → Likelihood → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Likelihood → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Likelihood → String Source #
type Rep Likelihood Source #
Instance details Defined in Cardano.Ledger.Shelley.PoolRank type Rep Likelihood = D1 ('MetaData "Likelihood" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "Likelihood" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLikelihood") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq LogWeight))))

leaderProbability ∷ ActiveSlotCoeff → Rational → UnitInterval → Double Source #