Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.EpochBoundary

Description

This modules implements the necessary functions for the changes that can happen at epoch boundaries.

Synopsis

newtype Stake = Stake {
- unStake ∷ VMap VB VP (Credential 'Staking) (CompactForm Coin)
}
sumAllStake ∷ Stake → Coin
sumAllStakeCompact ∷ Stake → CompactForm Coin
sumStakePerPool ∷ VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Map (KeyHash 'StakePool) Coin
data SnapShot = SnapShot {
- ssStake ∷ !Stake
- ssDelegations ∷ !(VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))
- ssPoolParams ∷ !(VMap VB VB (KeyHash 'StakePool) PoolParams)
}
data SnapShots = SnapShots {
- ssStakeMark ∷ SnapShot
- ssStakeMarkPoolDistr ∷ PoolDistr
- ssStakeSet ∷ !SnapShot
- ssStakeGo ∷ !SnapShot
- ssFee ∷ !Coin
}
emptySnapShot ∷ SnapShot
emptySnapShots ∷ SnapShots
poolStake ∷ KeyHash 'StakePool → VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Stake
maxPool ∷ EraPParams era ⇒ PParams era → Coin → Rational → Rational → Coin
maxPool' ∷ NonNegativeInterval → Word16 → Coin → Rational → Rational → Coin
calculatePoolDistr ∷ SnapShot → PoolDistr
calculatePoolDistr' ∷ (KeyHash 'StakePool → Bool) → SnapShot → PoolDistr
calculatePoolStake ∷ (KeyHash 'StakePool → Bool) → VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Map (KeyHash 'StakePool) Word64
ssStakeMarkL ∷ Lens' SnapShots SnapShot
ssStakeMarkPoolDistrL ∷ Lens' SnapShots PoolDistr
ssStakeSetL ∷ Lens' SnapShots SnapShot
ssStakeGoL ∷ Lens' SnapShots SnapShot
ssFeeL ∷ Lens' SnapShots Coin
ssStakeL ∷ Lens' SnapShot Stake
ssStakeDistrL ∷ Lens' SnapShot (VMap VB VP (Credential 'Staking) (CompactForm Coin))
ssDelegationsL ∷ Lens' SnapShot (VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))
ssPoolParamsL ∷ Lens' SnapShot (VMap VB VB (KeyHash 'StakePool) PoolParams)

Documentation

newtype Stake Source #

Type of stake as map from hash key to coins associated.

Constructors

Stake
Fields unStake ∷ VMap VB VP (Credential 'Staking) (CompactForm Coin)

Instances

Instances details

ToJSON Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods toJSON ∷ Stake → Value Source # toEncoding ∷ Stake → Encoding Source # toJSONList ∷ [Stake] → Value Source # toEncodingList ∷ [Stake] → Encoding Source # omitField ∷ Stake → Bool Source #
Generic Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Rep Stake ∷ Type → Type Source # Methods from ∷ Stake → Rep Stake x Source # to ∷ Rep Stake x → Stake Source #
Show Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods showsPrec ∷ Int → Stake → ShowS Source # show ∷ Stake → String Source # showList ∷ [Stake] → ShowS Source #
DecShareCBOR Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Share Stake Source # Methods getShare ∷ Stake → Share Stake Source # decShareCBOR ∷ Share Stake → Decoder s Stake Source # decSharePlusCBOR ∷ StateT (Share Stake) (Decoder s) Stake Source #
EncCBOR Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods encCBOR ∷ Stake → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Stake → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Stake] → Size Source #
NFData Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods rnf ∷ Stake → () Source #
Eq Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods (==) ∷ Stake → Stake → Bool Source # (/=) ∷ Stake → Stake → Bool Source #
NoThunks Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods noThunks ∷ Context → Stake → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Stake → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Stake → String Source #
type Rep Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Rep Stake = D1 ('MetaData "Stake" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential 'Staking) (CompactForm Coin)))))
type Share Stake Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Share Stake = Share (VMap VB VP (Credential 'Staking) (CompactForm Coin))

sumAllStake ∷ Stake → Coin Source #

sumAllStakeCompact ∷ Stake → CompactForm Coin Source #

sumStakePerPool ∷ VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Map (KeyHash 'StakePool) Coin Source #

data SnapShot Source #

Snapshot of the stake distribution.

Constructors

SnapShot
Fields ssStake ∷ !Stake ssDelegations ∷ !(VMap VB VB (Credential 'Staking) (KeyHash 'StakePool)) ssPoolParams ∷ !(VMap VB VB (KeyHash 'StakePool) PoolParams)

Instances

Instances details

ToJSON SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods toJSON ∷ SnapShot → Value Source # toEncoding ∷ SnapShot → Encoding Source # toJSONList ∷ [SnapShot] → Value Source # toEncodingList ∷ [SnapShot] → Encoding Source # omitField ∷ SnapShot → Bool Source #
Generic SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Rep SnapShot ∷ Type → Type Source # Methods from ∷ SnapShot → Rep SnapShot x Source # to ∷ Rep SnapShot x → SnapShot Source #
Show SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods showsPrec ∷ Int → SnapShot → ShowS Source # show ∷ SnapShot → String Source # showList ∷ [SnapShot] → ShowS Source #
DecShareCBOR SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Share SnapShot Source # Methods getShare ∷ SnapShot → Share SnapShot Source # decShareCBOR ∷ Share SnapShot → Decoder s SnapShot Source # decSharePlusCBOR ∷ StateT (Share SnapShot) (Decoder s) SnapShot Source #
EncCBOR SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods encCBOR ∷ SnapShot → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SnapShot → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SnapShot] → Size Source #
NFData SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods rnf ∷ SnapShot → () Source #
Eq SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods (==) ∷ SnapShot → SnapShot → Bool Source # (/=) ∷ SnapShot → SnapShot → Bool Source #
NoThunks SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods noThunks ∷ Context → SnapShot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SnapShot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SnapShot → String Source #
type Rep SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Rep SnapShot = D1 ('MetaData "SnapShot" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SnapShot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Stake) :: (S1 ('MetaSel ('Just "ssDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))) :: S1 ('MetaSel ('Just "ssPoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash 'StakePool) PoolParams)))))
type Share SnapShot Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Share SnapShot = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool))

data SnapShots Source #

Snapshots of the stake distribution.

Note that ssStakeMark and ssStakeMarkPoolDistr are lazy on purpose since we only want to force the thunk after one stability window when we know that they are stable (so that we do not compute them if we do not have to). See more info in the Optimize TICKF ADR

Constructors

SnapShots
Fields ssStakeMark ∷ SnapShot ssStakeMarkPoolDistr ∷ PoolDistr ssStakeSet ∷ !SnapShot ssStakeGo ∷ !SnapShot ssFee ∷ !Coin

Instances

Instances details

ToJSON SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods toJSON ∷ SnapShots → Value Source # toEncoding ∷ SnapShots → Encoding Source # toJSONList ∷ [SnapShots] → Value Source # toEncodingList ∷ [SnapShots] → Encoding Source # omitField ∷ SnapShots → Bool Source #
Generic SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Rep SnapShots ∷ Type → Type Source # Methods from ∷ SnapShots → Rep SnapShots x Source # to ∷ Rep SnapShots x → SnapShots Source #
Show SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods showsPrec ∷ Int → SnapShots → ShowS Source # show ∷ SnapShots → String Source # showList ∷ [SnapShots] → ShowS Source #
DecCBOR SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods decCBOR ∷ Decoder s SnapShots Source # dropCBOR ∷ Proxy SnapShots → Decoder s () Source # label ∷ Proxy SnapShots → Text Source #
DecShareCBOR SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Associated Types type Share SnapShots Source # Methods getShare ∷ SnapShots → Share SnapShots Source # decShareCBOR ∷ Share SnapShots → Decoder s SnapShots Source # decSharePlusCBOR ∷ StateT (Share SnapShots) (Decoder s) SnapShots Source #
EncCBOR SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods encCBOR ∷ SnapShots → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SnapShots → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SnapShots] → Size Source #
Default SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods def ∷ SnapShots Source #
NFData SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods rnf ∷ SnapShots → () Source #
Eq SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods (==) ∷ SnapShots → SnapShots → Bool Source # (/=) ∷ SnapShots → SnapShots → Bool Source #
NoThunks SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary Methods noThunks ∷ Context → SnapShots → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SnapShots → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SnapShots → String Source #
type Rep SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Rep SnapShots = D1 ('MetaData "SnapShots" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SnapShots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeMark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapShot) :: S1 ('MetaSel ('Just "ssStakeMarkPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :: (S1 ('MetaSel ('Just "ssStakeSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :: (S1 ('MetaSel ('Just "ssStakeGo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :: S1 ('MetaSel ('Just "ssFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))
type Share SnapShots Source #
Instance details Defined in Cardano.Ledger.EpochBoundary type Share SnapShots = Share SnapShot