Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Rewards

Synopsis

data RewardType
- = MemberReward
- | LeaderReward
data Reward c = Reward {
- rewardType ∷ !RewardType
- rewardPool ∷ !(KeyHash 'StakePool c)
- rewardAmount ∷ !Coin
}

Documentation

data RewardType Source #

The staking rewards in Cardano are all either:

member rewards - rewards given to a registered stake credential which has delegated to a stake pool, or
leader rewards - rewards given to a registered stake pool (in particular, given to the stake credential in the stake pool registration certificate).

See Figure 47, "Functions used in the Reward Splitting", of the formal specification for more details.

Constructors

MemberReward
LeaderReward

Instances

Instances details

ToJSON RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods toJSON ∷ RewardType → Value Source # toEncoding ∷ RewardType → Encoding Source # toJSONList ∷ [RewardType] → Value Source # toEncodingList ∷ [RewardType] → Encoding Source # omitField ∷ RewardType → Bool Source #
Bounded RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods minBound ∷ RewardType Source # maxBound ∷ RewardType Source #
Enum RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods succ ∷ RewardType → RewardType Source # pred ∷ RewardType → RewardType Source # toEnum ∷ Int → RewardType Source # fromEnum ∷ RewardType → Int Source # enumFrom ∷ RewardType → [RewardType] Source # enumFromThen ∷ RewardType → RewardType → [RewardType] Source # enumFromTo ∷ RewardType → RewardType → [RewardType] Source # enumFromThenTo ∷ RewardType → RewardType → RewardType → [RewardType] Source #
Generic RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep RewardType ∷ Type → Type Source # Methods from ∷ RewardType → Rep RewardType x Source # to ∷ Rep RewardType x → RewardType Source #
Show RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → RewardType → ShowS Source # show ∷ RewardType → String Source # showList ∷ [RewardType] → ShowS Source #
DecCBOR RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods decCBOR ∷ Decoder s RewardType Source # dropCBOR ∷ Proxy RewardType → Decoder s () Source # label ∷ Proxy RewardType → Text Source #
EncCBOR RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods encCBOR ∷ RewardType → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy RewardType → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardType] → Size Source #
NFData RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ RewardType → () Source #
Eq RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ RewardType → RewardType → Bool Source # (/=) ∷ RewardType → RewardType → Bool Source #
Ord RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods compare ∷ RewardType → RewardType → Ordering Source # (<) ∷ RewardType → RewardType → Bool Source # (<=) ∷ RewardType → RewardType → Bool Source # (>) ∷ RewardType → RewardType → Bool Source # (>=) ∷ RewardType → RewardType → Bool Source # max ∷ RewardType → RewardType → RewardType Source # min ∷ RewardType → RewardType → RewardType Source #
NoThunks RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods noThunks ∷ Context → RewardType → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardType → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RewardType → String Source #
type Rep RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards type Rep RewardType = D1 ('MetaData "RewardType" "Cardano.Ledger.Rewards" "cardano-ledger-core-1.12.0.0-inplace" 'False) (C1 ('MetaCons "MemberReward" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeaderReward" 'PrefixI 'False) (U1 ∷ Type → Type))

data Reward c Source #

The Reward type captures:

if the reward is a member or leader reward
the stake pool ID associated with the reward
the number of Lovelace in the reward

Constructors

Reward
Fields rewardType ∷ !RewardType rewardPool ∷ !(KeyHash 'StakePool c) rewardAmount ∷ !Coin

Instances

Instances details

Crypto c ⇒ ToJSON (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods toJSON ∷ Reward c → Value Source # toEncoding ∷ Reward c → Encoding Source # toJSONList ∷ [Reward c] → Value Source # toEncodingList ∷ [Reward c] → Encoding Source # omitField ∷ Reward c → Bool Source #
Generic (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep (Reward c) ∷ Type → Type Source # Methods from ∷ Reward c → Rep (Reward c) x Source # to ∷ Rep (Reward c) x → Reward c Source #
Show (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → Reward c → ShowS Source # show ∷ Reward c → String Source # showList ∷ [Reward c] → ShowS Source #
Crypto c ⇒ DecCBOR (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods decCBOR ∷ Decoder s (Reward c) Source # dropCBOR ∷ Proxy (Reward c) → Decoder s () Source # label ∷ Proxy (Reward c) → Text Source #
Crypto c ⇒ EncCBOR (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods encCBOR ∷ Reward c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Reward c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Reward c] → Size Source #
NFData (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ Reward c → () Source #
Eq (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ Reward c → Reward c → Bool Source # (/=) ∷ Reward c → Reward c → Bool Source #
Ord (Reward c) Source #	Note that this Ord instance is chosen to align precisely with the Allegra reward aggregation, as given by the function `aggregateRewards` so that `findMax` returns the expected value.
Instance details Defined in Cardano.Ledger.Rewards Methods compare ∷ Reward c → Reward c → Ordering Source # (<) ∷ Reward c → Reward c → Bool Source # (<=) ∷ Reward c → Reward c → Bool Source # (>) ∷ Reward c → Reward c → Bool Source # (>=) ∷ Reward c → Reward c → Bool Source # max ∷ Reward c → Reward c → Reward c Source # min ∷ Reward c → Reward c → Reward c Source #
NoThunks (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards Methods noThunks ∷ Context → Reward c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Reward c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Reward c) → String Source #
type Rep (Reward c) Source #
Instance details Defined in Cardano.Ledger.Rewards type Rep (Reward c) = D1 ('MetaData "Reward" "Cardano.Ledger.Rewards" "cardano-ledger-core-1.12.0.0-inplace" 'False) (C1 ('MetaCons "Reward" 'PrefixI 'True) (S1 ('MetaSel ('Just "rewardType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardType) :: (S1 ('MetaSel ('Just "rewardPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :: S1 ('MetaSel ('Just "rewardAmount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))