cardano-ledger-shelley-0.1.0.0
Safe Haskell None
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

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

Instances

Instances details
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 #

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 #

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 #

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 #

Crypto c => ToCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: Pulser c -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Pulser c) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Pulser c] -> Size Source #

Crypto c => ToCBOR ( RewardAns c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: RewardAns c -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( RewardAns c) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RewardAns c] -> Size Source #

Crypto c => FromCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( Pulser c) Source #

label :: Proxy ( Pulser c) -> Text Source #

Crypto c => FromCBOR ( RewardAns c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( RewardAns c) Source #

label :: Proxy ( RewardAns c) -> Text 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 crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

noThunks :: Context -> RewardAns crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> RewardAns crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( RewardAns crypto) -> 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-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 KeyHashPoolProvenance c = Map ( KeyHash ' StakePool c) ( RewardProvenancePool c) Source #

The provenance we collect

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

The type of RewardPulser we pulse on.

data RewardUpdate crypto Source #

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

Constructors

RewardUpdate

Fields

Instances

Instances details
Eq ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

(==) :: RewardUpdate crypto -> RewardUpdate crypto -> Bool Source #

(/=) :: RewardUpdate crypto -> RewardUpdate crypto -> Bool Source #

Show ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

showsPrec :: Int -> RewardUpdate crypto -> ShowS Source #

show :: RewardUpdate crypto -> String Source #

showList :: [ RewardUpdate crypto] -> ShowS Source #

Generic ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep ( RewardUpdate crypto) :: Type -> Type Source #

Methods

from :: RewardUpdate crypto -> Rep ( RewardUpdate crypto) x Source #

to :: Rep ( RewardUpdate crypto) x -> RewardUpdate crypto Source #

NFData ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: RewardUpdate crypto -> () Source #

Crypto crypto => ToCBOR ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: RewardUpdate crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( RewardUpdate crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RewardUpdate crypto] -> Size Source #

Crypto crypto => FromCBOR ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( RewardUpdate crypto) Source #

label :: Proxy ( RewardUpdate crypto) -> Text Source #

NoThunks ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

noThunks :: Context -> RewardUpdate crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> RewardUpdate crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( RewardUpdate crypto) -> String Source #

type Rep ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ( RewardUpdate crypto) = D1 (' MetaData "RewardUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 crypto) ( Set ( Reward crypto)))) :*: ( S1 (' MetaSel (' Just "deltaF") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 DeltaCoin ) :*: S1 (' MetaSel (' Just "nonMyopic") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( NonMyopic crypto))))))

emptyRewardUpdate :: RewardUpdate crypto Source #

data RewardSnapShot crypto Source #

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

Constructors

RewardSnapShot

Fields

Instances

Instances details
HasField "_protocolVersion" ( RewardSnapShot crypto) ProtVer Source #

RewardSnapShot can act as a Proxy for PParams when only the protocol version is needed.

Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

getField :: RewardSnapShot crypto -> ProtVer Source #

Eq ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

(==) :: RewardSnapShot crypto -> RewardSnapShot crypto -> Bool Source #

(/=) :: RewardSnapShot crypto -> RewardSnapShot crypto -> Bool Source #

Show ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

showsPrec :: Int -> RewardSnapShot crypto -> ShowS Source #

show :: RewardSnapShot crypto -> String Source #

showList :: [ RewardSnapShot crypto] -> ShowS Source #

Generic ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep ( RewardSnapShot crypto) :: Type -> Type Source #

Methods

from :: RewardSnapShot crypto -> Rep ( RewardSnapShot crypto) x Source #

to :: Rep ( RewardSnapShot crypto) x -> RewardSnapShot crypto Source #

NFData ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: RewardSnapShot crypto -> () Source #

Crypto crypto => ToCBOR ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: RewardSnapShot crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( RewardSnapShot crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RewardSnapShot crypto] -> Size Source #

Crypto crypto => FromCBOR ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( RewardSnapShot crypto) Source #

label :: Proxy ( RewardSnapShot crypto) -> Text Source #

Typeable crypto => NoThunks ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

noThunks :: Context -> RewardSnapShot crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> RewardSnapShot crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( RewardSnapShot crypto) -> String Source #

type Rep ( RewardSnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ( RewardSnapShot crypto) = D1 (' MetaData "RewardSnapShot" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 crypto)) :*: 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 crypto) Likelihood )) :*: S1 (' MetaSel (' Just "rewLeaders") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( Credential ' Staking crypto) ( Set ( Reward crypto))))))))

data FreeVars crypto Source #

Constructors

FreeVars

Fields

Instances

Instances details
HasField "_protocolVersion" ( FreeVars crypto) ProtVer Source #

FreeVars can act as a Proxy for PParams when only the protocol version is needed.

Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

getField :: FreeVars crypto -> ProtVer Source #

Eq ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

(==) :: FreeVars crypto -> FreeVars crypto -> Bool Source #

(/=) :: FreeVars crypto -> FreeVars crypto -> Bool Source #

Show ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

showsPrec :: Int -> FreeVars crypto -> ShowS Source #

show :: FreeVars crypto -> String Source #

showList :: [ FreeVars crypto] -> ShowS Source #

Generic ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep ( FreeVars crypto) :: Type -> Type Source #

Methods

from :: FreeVars crypto -> Rep ( FreeVars crypto) x Source #

to :: Rep ( FreeVars crypto) x -> FreeVars crypto Source #

NFData ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: FreeVars crypto -> () Source #

Crypto crypto => ToCBOR ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: FreeVars crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( FreeVars crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ FreeVars crypto] -> Size Source #

Crypto crypto => FromCBOR ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( FreeVars crypto) Source #

label :: Proxy ( FreeVars crypto) -> Text Source #

Typeable crypto => NoThunks ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

noThunks :: Context -> FreeVars crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> FreeVars crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( FreeVars crypto) -> String Source #

type Rep ( FreeVars crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ( FreeVars crypto) = D1 (' MetaData "FreeVars" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "FreeVars" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "delegs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VMap VB VB ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto))) :*: S1 (' MetaSel (' Just "addrsRew") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Set ( Credential ' Staking crypto)))) :*: ( S1 (' MetaSel (' Just "totalStake") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Integer ) :*: ( S1 (' MetaSel (' Just "pp_pv") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ProtVer ) :*: S1 (' MetaSel (' Just "poolRewardInfo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' StakePool crypto) ( PoolRewardInfo crypto)))))))

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
NFData ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: Pulser c -> () Source #

Crypto c => ToCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: Pulser c -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Pulser c) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Pulser c] -> Size Source #

Crypto c => FromCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( Pulser c) Source #

label :: Proxy ( Pulser c) -> Text Source #

Pulsable ( RewardPulser crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

done :: forall (m :: Type -> Type ) ans. RewardPulser crypto m ans -> Bool Source #

current :: forall (m :: Type -> Type ) ans. RewardPulser crypto m ans -> ans Source #

pulseM :: Monad m => RewardPulser crypto m ans -> m ( RewardPulser crypto m ans) Source #

completeM :: Monad m => RewardPulser crypto m ans -> m ans 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 #

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 #

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 #

clearRecent :: RewardAns c -> RewardAns c Source #

data PulsingRewUpdate crypto Source #

The state used in the STS rules

Constructors

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

Instances

Instances details
Eq ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

(==) :: PulsingRewUpdate crypto -> PulsingRewUpdate crypto -> Bool Source #

(/=) :: PulsingRewUpdate crypto -> PulsingRewUpdate crypto -> Bool Source #

Show ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

showsPrec :: Int -> PulsingRewUpdate crypto -> ShowS Source #

show :: PulsingRewUpdate crypto -> String Source #

showList :: [ PulsingRewUpdate crypto] -> ShowS Source #

Generic ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep ( PulsingRewUpdate crypto) :: Type -> Type Source #

Methods

from :: PulsingRewUpdate crypto -> Rep ( PulsingRewUpdate crypto) x Source #

to :: Rep ( PulsingRewUpdate crypto) x -> PulsingRewUpdate crypto Source #

NFData ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: PulsingRewUpdate crypto -> () Source #

Crypto crypto => ToCBOR ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

toCBOR :: PulsingRewUpdate crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PulsingRewUpdate crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PulsingRewUpdate crypto] -> Size Source #

Crypto crypto => FromCBOR ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

fromCBOR :: Decoder s ( PulsingRewUpdate crypto) Source #

label :: Proxy ( PulsingRewUpdate crypto) -> Text Source #

Typeable crypto => NoThunks ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

noThunks :: Context -> PulsingRewUpdate crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> PulsingRewUpdate crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( PulsingRewUpdate crypto) -> String Source #

type Rep ( PulsingRewUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ( PulsingRewUpdate crypto) = D1 (' MetaData "PulsingRewUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "Pulsing" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardSnapShot crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Pulser crypto))) :+: C1 (' MetaCons "Complete" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardUpdate crypto))))