Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.RewardUpdate

Description

How to compute the reward update compuation. Also, how to spread the compuation over many blocks, once the chain reaches a stability point.

Synopsis

type RewardEvent c = Map (Credential 'Staking c) (Set (Reward c))
data RewardAns c = RewardAns {
- accumRewardAns ∷ !(Map (Credential 'Staking c) (Reward c))
- recentRewardAns ∷ !(RewardEvent c)
}
type Pulser c = RewardPulser c ShelleyBase (RewardAns c)
data RewardUpdate c = RewardUpdate {
- deltaT ∷ !DeltaCoin
- deltaR ∷ !DeltaCoin
- rs ∷ !(Map (Credential 'Staking c) (Set (Reward c)))
- deltaF ∷ !DeltaCoin
- nonMyopic ∷ !(NonMyopic c)
}
emptyRewardUpdate ∷ RewardUpdate c
data RewardSnapShot c = RewardSnapShot {
- rewFees ∷ !Coin
- rewProtocolVersion ∷ !ProtVer
- rewNonMyopic ∷ !(NonMyopic c)
- rewDeltaR1 ∷ !Coin
- rewR ∷ !Coin
- rewDeltaT1 ∷ !Coin
- rewLikelihoods ∷ !(Map (KeyHash 'StakePool c) Likelihood)
- rewLeaders ∷ !(Map (Credential 'Staking c) (Set (Reward c)))
}
data FreeVars c = FreeVars {
- fvDelegs ∷ !(VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c))
- fvAddrsRew ∷ !(Set (Credential 'Staking c))
- fvTotalStake ∷ !Coin
- fvProtVer ∷ !ProtVer
- fvPoolRewardInfo ∷ !(Map (KeyHash 'StakePool c) (PoolRewardInfo c))
}
rewardStakePoolMember ∷ FreeVars c → RewardAns c → Credential 'Staking c → CompactForm Coin → RewardAns c
data RewardPulser c (m ∷ Type → Type) ans where
- RSLP ∷ (ans ~ RewardAns c, m ~ ShelleyBase) ⇒ !Int → !(FreeVars c) → !(VMap VB VP (Credential 'Staking c) (CompactForm Coin)) → !ans → RewardPulser c m ans
clearRecent ∷ RewardAns c → RewardAns c
data PulsingRewUpdate c
- = Pulsing !(RewardSnapShot c) !(Pulser c)
- | Complete !(RewardUpdate c)

Documentation

type RewardEvent c = Map (Credential 'Staking c) (Set (Reward c)) Source #

data RewardAns c Source #

The result of reward calculation is a pair of aggregate Maps. One for the accumulated answer, and one for the answer since the last pulse

Constructors

RewardAns
Fields accumRewardAns ∷ !(Map (Credential 'Staking c) (Reward c)) recentRewardAns ∷ !(RewardEvent c)

Instances

Instances details

Generic (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (RewardAns c) ∷ Type → Type Source # Methods from ∷ RewardAns c → Rep (RewardAns c) x Source # to ∷ Rep (RewardAns c) x → RewardAns c Source #
Show (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → RewardAns c → ShowS Source # show ∷ RewardAns c → String Source # showList ∷ [RewardAns c] → ShowS Source #
Crypto c ⇒ DecCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (Pulser c) Source # dropCBOR ∷ Proxy (Pulser c) → Decoder s () Source # label ∷ Proxy (Pulser c) → Text Source #
Crypto c ⇒ DecCBOR (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (RewardAns c) Source # dropCBOR ∷ Proxy (RewardAns c) → Decoder s () Source # label ∷ Proxy (RewardAns c) → Text Source #
Crypto c ⇒ EncCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ Pulser c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Pulser c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Pulser c] → Size Source #
Crypto c ⇒ EncCBOR (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ RewardAns c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardAns c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardAns c] → Size Source #
NFData (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ Pulser c → () Source #
NFData (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ RewardAns c → () Source #
Eq (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ RewardAns c → RewardAns c → Bool Source # (/=) ∷ RewardAns c → RewardAns c → Bool Source #
Typeable c ⇒ NoThunks (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Pulser c) → String Source #
NoThunks (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → RewardAns c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardAns c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardAns c) → String Source #
type Rep (RewardAns c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep (RewardAns c) = D1 ('MetaData "RewardAns" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "RewardAns" 'PrefixI 'True) (S1 ('MetaSel ('Just "accumRewardAns") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Reward c))) :*: S1 ('MetaSel ('Just "recentRewardAns") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardEvent c))))

type Pulser c = RewardPulser c ShelleyBase (RewardAns c) Source #

The type of RewardPulser we pulse on.

data RewardUpdate c Source #

The ultiate goal of a reward update computation. Aggregating rewards for each staking credential.

Constructors

RewardUpdate
Fields deltaT ∷ !DeltaCoin deltaR ∷ !DeltaCoin rs ∷ !(Map (Credential 'Staking c) (Set (Reward c))) deltaF ∷ !DeltaCoin nonMyopic ∷ !(NonMyopic c)

Instances

Instances details

Crypto c ⇒ ToJSON (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toJSON ∷ RewardUpdate c → Value Source # toEncoding ∷ RewardUpdate c → Encoding Source # toJSONList ∷ [RewardUpdate c] → Value Source # toEncodingList ∷ [RewardUpdate c] → Encoding Source # omitField ∷ RewardUpdate c → Bool Source #
Generic (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (RewardUpdate c) ∷ Type → Type Source # Methods from ∷ RewardUpdate c → Rep (RewardUpdate c) x Source # to ∷ Rep (RewardUpdate c) x → RewardUpdate c Source #
Show (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → RewardUpdate c → ShowS Source # show ∷ RewardUpdate c → String Source # showList ∷ [RewardUpdate c] → ShowS Source #
Crypto c ⇒ DecCBOR (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (RewardUpdate c) Source # dropCBOR ∷ Proxy (RewardUpdate c) → Decoder s () Source # label ∷ Proxy (RewardUpdate c) → Text Source #
Crypto c ⇒ EncCBOR (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ RewardUpdate c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardUpdate c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardUpdate c] → Size Source #
NFData (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ RewardUpdate c → () Source #
Eq (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ RewardUpdate c → RewardUpdate c → Bool Source # (/=) ∷ RewardUpdate c → RewardUpdate c → Bool Source #
NoThunks (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → RewardUpdate c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardUpdate c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardUpdate c) → String Source #
type Rep (RewardUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep (RewardUpdate c) = D1 ('MetaData "RewardUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "RewardUpdate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "deltaT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :: S1 ('MetaSel ('Just "deltaR") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin)) :: (S1 ('MetaSel ('Just "rs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Set (Reward c)))) :: (S1 ('MetaSel ('Just "deltaF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :: S1 ('MetaSel ('Just "nonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic c))))))

emptyRewardUpdate ∷ RewardUpdate c Source #

data RewardSnapShot c Source #

To complete the reward update, we need a snap shot of the EpochState particular to this computation

Constructors

RewardSnapShot
Fields rewFees ∷ !Coin rewProtocolVersion ∷ !ProtVer rewNonMyopic ∷ !(NonMyopic c) rewDeltaR1 ∷ !Coin rewR ∷ !Coin rewDeltaT1 ∷ !Coin rewLikelihoods ∷ !(Map (KeyHash 'StakePool c) Likelihood) rewLeaders ∷ !(Map (Credential 'Staking c) (Set (Reward c)))

Instances

Instances details

Generic (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (RewardSnapShot c) ∷ Type → Type Source # Methods from ∷ RewardSnapShot c → Rep (RewardSnapShot c) x Source # to ∷ Rep (RewardSnapShot c) x → RewardSnapShot c Source #
Show (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → RewardSnapShot c → ShowS Source # show ∷ RewardSnapShot c → String Source # showList ∷ [RewardSnapShot c] → ShowS Source #
Crypto c ⇒ DecCBOR (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (RewardSnapShot c) Source # dropCBOR ∷ Proxy (RewardSnapShot c) → Decoder s () Source # label ∷ Proxy (RewardSnapShot c) → Text Source #
Crypto c ⇒ EncCBOR (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ RewardSnapShot c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardSnapShot c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardSnapShot c] → Size Source #
NFData (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ RewardSnapShot c → () Source #
Eq (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ RewardSnapShot c → RewardSnapShot c → Bool Source # (/=) ∷ RewardSnapShot c → RewardSnapShot c → Bool Source #
Typeable c ⇒ NoThunks (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → RewardSnapShot c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardSnapShot c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardSnapShot c) → String Source #
type Rep (RewardSnapShot c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep (RewardSnapShot c) = D1 ('MetaData "RewardSnapShot" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "RewardSnapShot" 'PrefixI 'True) (((S1 ('MetaSel ('Just "rewFees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "rewProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer)) :: (S1 ('MetaSel ('Just "rewNonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic c)) :: S1 ('MetaSel ('Just "rewDeltaR1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :: ((S1 ('MetaSel ('Just "rewR") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "rewDeltaT1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "rewLikelihoods") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) Likelihood)) :*: S1 ('MetaSel ('Just "rewLeaders") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Set (Reward c))))))))

data FreeVars c Source #

Constructors

FreeVars
Fields fvDelegs ∷ !(VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c)) fvAddrsRew ∷ !(Set (Credential 'Staking c)) fvTotalStake ∷ !Coin fvProtVer ∷ !ProtVer fvPoolRewardInfo ∷ !(Map (KeyHash 'StakePool c) (PoolRewardInfo c))

Instances

Instances details

Generic (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (FreeVars c) ∷ Type → Type Source # Methods from ∷ FreeVars c → Rep (FreeVars c) x Source # to ∷ Rep (FreeVars c) x → FreeVars c Source #
Show (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → FreeVars c → ShowS Source # show ∷ FreeVars c → String Source # showList ∷ [FreeVars c] → ShowS Source #
Crypto c ⇒ DecCBOR (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (FreeVars c) Source # dropCBOR ∷ Proxy (FreeVars c) → Decoder s () Source # label ∷ Proxy (FreeVars c) → Text Source #
Crypto c ⇒ EncCBOR (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ FreeVars c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (FreeVars c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [FreeVars c] → Size Source #
NFData (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ FreeVars c → () Source #
Eq (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ FreeVars c → FreeVars c → Bool Source # (/=) ∷ FreeVars c → FreeVars c → Bool Source #
Typeable c ⇒ NoThunks (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → FreeVars c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FreeVars c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FreeVars c) → String Source #
type Rep (FreeVars c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep (FreeVars c) = D1 ('MetaData "FreeVars" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "FreeVars" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fvDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c))) :: S1 ('MetaSel ('Just "fvAddrsRew") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking c)))) :: (S1 ('MetaSel ('Just "fvTotalStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: (S1 ('MetaSel ('Just "fvProtVer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :: S1 ('MetaSel ('Just "fvPoolRewardInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) (PoolRewardInfo c)))))))

rewardStakePoolMember ∷ FreeVars c → RewardAns c → Credential 'Staking c → CompactForm Coin → RewardAns c Source #

The function to call on each reward update pulse. Called by the pulser.

data RewardPulser c (m ∷ Type → Type) ans where Source #

The type of a Pulser which uses rewardStakePoolMember as its underlying function. rewardStakePool will be partially applied to the component of type (FreeVars c) when pulsing. Note that we use two type equality (~) constraints to fix both the monad m and the ans type, to the context where we will use the type as a Pulser. The type must have m and ans as its last two parameters so we can make a Pulsable instance. RSPL = Reward Serializable Listbased Pulser

Constructors

RSLP ∷ (ans ~ RewardAns c, m ~ ShelleyBase) ⇒ !Int → !(FreeVars c) → !(VMap VB VP (Credential 'Staking c) (CompactForm Coin)) → !ans → RewardPulser c m ans

Instances

Instances details

Pulsable (RewardPulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods done ∷ ∀ (m ∷ Type → Type) ans. RewardPulser c m ans → Bool Source # current ∷ ∀ (m ∷ Type → Type) ans. RewardPulser c m ans → ans Source # pulseM ∷ Monad m ⇒ RewardPulser c m ans → m (RewardPulser c m ans) Source # completeM ∷ Monad m ⇒ RewardPulser c m ans → m ans Source #
Crypto c ⇒ DecCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (Pulser c) Source # dropCBOR ∷ Proxy (Pulser c) → Decoder s () Source # label ∷ Proxy (Pulser c) → Text Source #
Crypto c ⇒ EncCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ Pulser c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Pulser c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Pulser c] → Size Source #
NFData (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ Pulser c → () Source #
Typeable c ⇒ NoThunks (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Pulser c) → String Source #
Show ans ⇒ Show (RewardPulser c m ans) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → RewardPulser c m ans → ShowS Source # show ∷ RewardPulser c m ans → String Source # showList ∷ [RewardPulser c m ans] → ShowS Source #
Eq ans ⇒ Eq (RewardPulser c m ans) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ RewardPulser c m ans → RewardPulser c m ans → Bool Source # (/=) ∷ RewardPulser c m ans → RewardPulser c m ans → Bool Source #

clearRecent ∷ RewardAns c → RewardAns c Source #

data PulsingRewUpdate c Source #

The state used in the STS rules

Constructors

Pulsing !(RewardSnapShot c) !(Pulser c)
Complete !(RewardUpdate c)

Instances

Instances details

Crypto c ⇒ ToJSON (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toJSON ∷ PulsingRewUpdate c → Value Source # toEncoding ∷ PulsingRewUpdate c → Encoding Source # toJSONList ∷ [PulsingRewUpdate c] → Value Source # toEncodingList ∷ [PulsingRewUpdate c] → Encoding Source # omitField ∷ PulsingRewUpdate c → Bool Source #
Generic (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (PulsingRewUpdate c) ∷ Type → Type Source # Methods from ∷ PulsingRewUpdate c → Rep (PulsingRewUpdate c) x Source # to ∷ Rep (PulsingRewUpdate c) x → PulsingRewUpdate c Source #
Show (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → PulsingRewUpdate c → ShowS Source # show ∷ PulsingRewUpdate c → String Source # showList ∷ [PulsingRewUpdate c] → ShowS Source #
Crypto c ⇒ DecCBOR (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (PulsingRewUpdate c) Source # dropCBOR ∷ Proxy (PulsingRewUpdate c) → Decoder s () Source # label ∷ Proxy (PulsingRewUpdate c) → Text Source #
Crypto c ⇒ EncCBOR (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ PulsingRewUpdate c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PulsingRewUpdate c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PulsingRewUpdate c] → Size Source #
NFData (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ PulsingRewUpdate c → () Source #
Eq (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ PulsingRewUpdate c → PulsingRewUpdate c → Bool Source # (/=) ∷ PulsingRewUpdate c → PulsingRewUpdate c → Bool Source #
Typeable c ⇒ NoThunks (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → PulsingRewUpdate c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PulsingRewUpdate c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PulsingRewUpdate c) → String Source #
type Rep (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep (PulsingRewUpdate c) = D1 ('MetaData "PulsingRewUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "Pulsing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardSnapShot c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Pulser c))) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate c))))