Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.LedgerState

Contents

Genesis State
Validation
DelegationState
Epoch boundary
Decay
Remove Bootstrap Redeem Addresses
Lenses from Types
Lenses from CertState
Lenses from SnapShot(s)

Description

This module implements the operation rules for treating UTxO transactions (Tx) as state transformations on a ledger state (LedgerState), as specified in A Simplified Formal Specification of a UTxO Ledger.

Synopsis

data AccountState = AccountState {
- asTreasury ∷ !Coin
- asReserves ∷ !Coin
}
data CertState era = CertState {
- certVState ∷ !(VState era)
- certPState ∷ !(PState era)
- certDState ∷ !(DState era)
}
data DState era = DState {
- dsUnified ∷ !(UMap (EraCrypto era))
- dsFutureGenDelegs ∷ !(Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
- dsGenDelegs ∷ !(GenDelegs (EraCrypto era))
- dsIRewards ∷ !(InstantaneousRewards (EraCrypto era))
}
data VState era = VState {
- vsDReps ∷ !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
- vsCommitteeState ∷ !(CommitteeState era)
- vsNumDormantEpochs ∷ !EpochNo
}
rewards ∷ DState era → UView (EraCrypto era) (Credential 'Staking (EraCrypto era)) RDPair
delegations ∷ DState era → UView (EraCrypto era) (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))
ptrsMap ∷ DState era → Map Ptr (Credential 'Staking (EraCrypto era))
data EpochState era = EpochState {
- esAccountState ∷ !AccountState
- esLState ∷ !(LedgerState era)
- esSnapshots ∷ !(SnapShots (EraCrypto era))
- esNonMyopic ∷ !(NonMyopic (EraCrypto era))
}
data PulsingRewUpdate c
- = Pulsing !(RewardSnapShot c) !(Pulser c)
- | Complete !(RewardUpdate c)
data FutureGenDeleg c = FutureGenDeleg {
- fGenDelegSlot ∷ !SlotNo
- fGenDelegGenKeyHash ∷ !(KeyHash 'Genesis c)
}
data InstantaneousRewards c = InstantaneousRewards {
- iRReserves ∷ !(Map (Credential 'Staking c) Coin)
- iRTreasury ∷ !(Map (Credential 'Staking c) Coin)
- deltaReserves ∷ !DeltaCoin
- deltaTreasury ∷ !DeltaCoin
}
data LedgerState era = LedgerState {
- lsUTxOState ∷ !(UTxOState era)
- lsCertState ∷ !(CertState era)
}
data PState era = PState {
- psStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psRetiring ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
- psDeposits ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) Coin)
}
type RewardAccounts c = Map (Credential 'Staking c) Coin
data RewardUpdate c = RewardUpdate {
- deltaT ∷ !DeltaCoin
- deltaR ∷ !DeltaCoin
- rs ∷ !(Map (Credential 'Staking c) (Set (Reward c)))
- deltaF ∷ !DeltaCoin
- nonMyopic ∷ !(NonMyopic 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 UTxOState era = UTxOState {
- utxosUtxo ∷ !(UTxO era)
- utxosDeposited ∷ Coin
- utxosFees ∷ !Coin
- utxosGovState ∷ !(GovState era)
- utxosStakeDistr ∷ !(IncrementalStake (EraCrypto era))
- utxosDonation ∷ !Coin
}
smartUTxOState ∷ EraTxOut era ⇒ PParams era → UTxO era → Coin → Coin → GovState era → Coin → UTxOState era
data IncrementalStake c = IStake {
- credMap ∷ !(Map (Credential 'Staking c) (CompactForm Coin))
- ptrMap ∷ !(Map Ptr (CompactForm Coin))
}
genesisState ∷ ∀ era. EraGov era ⇒ Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)) → UTxO era → LedgerState era
consumed ∷ EraUTxO era ⇒ PParams era → CertState era → UTxO era → TxBody era → Value era
produced ∷ EraUTxO era ⇒ PParams era → CertState era → TxBody era → Value era
payPoolDeposit ∷ EraPParams era ⇒ KeyHash 'StakePool (EraCrypto era) → PParams era → PState era → PState era
refundPoolDeposit ∷ KeyHash 'StakePool (EraCrypto era) → PState era → (Coin, PState era)
totalObligation ∷ EraGov era ⇒ CertState era → GovState era → Coin
allObligations ∷ EraGov era ⇒ CertState era → GovState era → Obligations
incrementalStakeDistr ∷ ∀ era. EraPParams era ⇒ PParams era → IncrementalStake (EraCrypto era) → DState era → PState era → SnapShot (EraCrypto era)
updateStakeDistribution ∷ EraTxOut era ⇒ PParams era → IncrementalStake (EraCrypto era) → UTxO era → UTxO era → IncrementalStake (EraCrypto era)
applyRUpd ∷ EraGov era ⇒ RewardUpdate (EraCrypto era) → EpochState era → EpochState era
applyRUpdFiltered ∷ EraGov era ⇒ RewardUpdate (EraCrypto era) → EpochState era → (EpochState era, FilteredRewards era)
filterAllRewards ∷ EraGov era ⇒ Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))) → EpochState era → FilteredRewards era
data FilteredRewards era = FilteredRewards {
- frRegistered ∷ !(Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))
- frShelleyIgnored ∷ Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))
- frUnregistered ∷ Set (Credential 'Staking (EraCrypto era))
- frTotalUnregistered ∷ Coin
}
createRUpd ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → ShelleyBase (RewardUpdate (EraCrypto era))
completeRupd ∷ PulsingRewUpdate c → ShelleyBase (RewardUpdate c, RewardEvent c)
startStep ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → PulsingRewUpdate (EraCrypto era)
pulseStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c)
completeStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c)
data NewEpochState era = NewEpochState !EpochNo !(BlocksMade (EraCrypto era)) !(BlocksMade (EraCrypto era)) !(EpochState era) !(StrictMaybe (PulsingRewUpdate (EraCrypto era))) !(PoolDistr (EraCrypto era)) !(StashedAVVMAddresses era)
type family StashedAVVMAddresses era where ...
stashedAVVMAddresses ∷ NewEpochState era → StashedAVVMAddresses era
getGKeys ∷ NewEpochState era → Set (KeyHash 'Genesis (EraCrypto era))
updateNES ∷ EraGov era ⇒ NewEpochState era → BlocksMade (EraCrypto era) → LedgerState era → NewEpochState era
circulation ∷ EpochState era → Coin → Coin
decayFactor ∷ Float
returnRedeemAddrsToReserves ∷ ∀ era. EraTxOut era ⇒ EpochState era → EpochState era
updateNonMyopic ∷ NonMyopic c → Coin → Map (KeyHash 'StakePool c) Likelihood → NonMyopic c
emptyRewardUpdate ∷ RewardUpdate c
pvCanFollow ∷ ProtVer → ProtVer → Bool
availableAfterMIR ∷ MIRPot → AccountState → InstantaneousRewards c → Coin
data ShelleyGovState era = ShelleyGovState {
- sgsCurProposals ∷ !(ProposedPPUpdates era)
- sgsFutureProposals ∷ !(ProposedPPUpdates era)
- sgsCurPParams ∷ !(PParams era)
- sgsPrevPParams ∷ !(PParams era)
- sgsFuturePParams ∷ !(FuturePParams era)
}
nesPdL ∷ Lens' (NewEpochState era) (PoolDistr (EraCrypto era))
nesEsL ∷ Lens' (NewEpochState era) (EpochState era)
unifiedL ∷ Lens' (NewEpochState era) (UMap (EraCrypto era))
nesELL ∷ Lens' (NewEpochState era) EpochNo
nesBprevL ∷ Lens' (NewEpochState era) (Map (KeyHash 'StakePool (EraCrypto era)) Natural)
nesBcurL ∷ Lens' (NewEpochState era) (Map (KeyHash 'StakePool (EraCrypto era)) Natural)
nesRuL ∷ Lens' (NewEpochState era) (StrictMaybe (PulsingRewUpdate (EraCrypto era)))
nesStashedAVVMAddressesL ∷ Lens' (NewEpochState era) (StashedAVVMAddresses era)
nesEpochStateL ∷ Lens' (NewEpochState era) (EpochState era)
esAccountStateL ∷ Lens' (EpochState era) AccountState
esSnapshotsL ∷ Lens' (EpochState era) (SnapShots (EraCrypto era))
esLStateL ∷ Lens' (EpochState era) (LedgerState era)
esNonMyopicL ∷ Lens' (EpochState era) (NonMyopic (EraCrypto era))
curPParamsEpochStateL ∷ EraGov era ⇒ Lens' (EpochState era) (PParams era)
prevPParamsEpochStateL ∷ EraGov era ⇒ Lens' (EpochState era) (PParams era)
futurePParamsEpochStateL ∷ EraGov era ⇒ Lens' (EpochState era) (FuturePParams era)
asTreasuryL ∷ Lens' AccountState Coin
asReservesL ∷ Lens' AccountState Coin
lsUTxOStateL ∷ Lens' (LedgerState era) (UTxOState era)
lsCertStateL ∷ Lens' (LedgerState era) (CertState era)
utxosUtxoL ∷ Lens' (UTxOState era) (UTxO era)
utxosDepositedL ∷ Lens' (UTxOState era) Coin
utxosFeesL ∷ Lens' (UTxOState era) Coin
utxosGovStateL ∷ Lens' (UTxOState era) (GovState era)
utxosStakeDistrL ∷ Lens' (UTxOState era) (IncrementalStake (EraCrypto era))
utxosDonationL ∷ Lens' (UTxOState era) Coin
epochStateGovStateL ∷ Lens' (EpochState era) (GovState era)
epochStateStakeDistrL ∷ Lens' (EpochState era) (VMap VB VP (Credential 'Staking (EraCrypto era)) (CompactForm Coin))
epochStateUMapL ∷ Lens' (EpochState era) (UMap (EraCrypto era))
epochStatePoolParamsL ∷ Lens' (EpochState era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
epochStateRegDrepL ∷ Lens' (EpochState era) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
epochStateIncrStakeDistrL ∷ Lens' (EpochState era) (Map (Credential 'Staking (EraCrypto era)) (CompactForm Coin))
epochStateDonationL ∷ Lens' (EpochState era) Coin
newEpochStateGovStateL ∷ Lens' (NewEpochState era) (GovState era)
epochStateTreasuryL ∷ Lens' (EpochState era) Coin
certDStateL ∷ Lens' (CertState era) (DState era)
certPStateL ∷ Lens' (CertState era) (PState era)
certVStateL ∷ Lens' (CertState era) (VState era)
dsUnifiedL ∷ Lens' (DState era) (UMap (EraCrypto era))
dsGenDelegsL ∷ Lens' (DState era) (GenDelegs (EraCrypto era))
dsIRewardsL ∷ Lens' (DState era) (InstantaneousRewards (EraCrypto era))
dsFutureGenDelegsL ∷ Lens' (DState era) (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
psStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
psFutureStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
psRetiringL ∷ Lens' (PState era) (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
psDepositsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
vsDRepsL ∷ Lens' (VState era) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
vsCommitteeStateL ∷ Lens' (VState era) (CommitteeState era)
credMapL ∷ Lens' (IncrementalStake c) (Map (Credential 'Staking c) (CompactForm Coin))
ptrMapL ∷ Lens' (IncrementalStake c) (Map Ptr (CompactForm Coin))
ssStakeMarkL ∷ Lens' (SnapShots c) (SnapShot c)
ssStakeMarkPoolDistrL ∷ Lens' (SnapShots c) (PoolDistr c)
ssStakeSetL ∷ Lens' (SnapShots c) (SnapShot c)
ssStakeGoL ∷ Lens' (SnapShots c) (SnapShot c)
ssFeeL ∷ Lens' (SnapShots c) Coin
ssStakeL ∷ Lens' (SnapShot c) (Stake c)
ssStakeDistrL ∷ Lens' (SnapShot c) (VMap VB VP (Credential 'Staking c) (CompactForm Coin))
ssDelegationsL ∷ Lens' (SnapShot c) (VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c))
ssPoolParamsL ∷ Lens' (SnapShot c) (VMap VB VB (KeyHash 'StakePool c) (PoolParams c))

Documentation

data AccountState Source #

Constructors

AccountState
Fields asTreasury ∷ !Coin asReserves ∷ !Coin

Instances

Instances details

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

data CertState era Source #

The state associated with the DELPL rule, which combines the DELEG rule and the POOL rule.

Constructors

CertState
Fields certVState ∷ !(VState era) certPState ∷ !(PState era) certDState ∷ !(DState era)

Instances

Instances details

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

data DState era Source #

The state used by the DELEG rule, which roughly tracks stake delegation and some governance features.

Constructors

DState

Fields

dsUnified ∷ !(UMap (EraCrypto era))
Unified Reward Maps. This contains the reward map (which is the source of truth regarding the registered stake credentials, the deposit map, the delegation map, and the stake credential pointer map.
dsFutureGenDelegs ∷ !(Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
Future genesis key delegations
dsGenDelegs ∷ !(GenDelegs (EraCrypto era))
Genesis key delegations
dsIRewards ∷ !(InstantaneousRewards (EraCrypto era))
Instantaneous Rewards

Instances

Instances details

Era era ⇒ ToJSON (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods toJSON ∷ DState era → Value Source # toEncoding ∷ DState era → Encoding Source # toJSONList ∷ [DState era] → Value Source # toEncodingList ∷ [DState era] → Encoding Source # omitField ∷ DState era → Bool Source #
Generic (DState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (DState era) ∷ Type → Type Source # Methods from ∷ DState era → Rep (DState era) x Source # to ∷ Rep (DState era) x → DState era Source #
Show (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → DState era → ShowS Source # show ∷ DState era → String Source # showList ∷ [DState era] → ShowS Source #
(Era era, DecShareCBOR (InstantaneousRewards (EraCrypto era))) ⇒ DecShareCBOR (DState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Share (DState era) Source # Methods getShare ∷ DState era → Share (DState era) Source # decShareCBOR ∷ Share (DState era) → Decoder s (DState era) Source # decSharePlusCBOR ∷ StateT (Share (DState era)) (Decoder s) (DState era) Source #
(Era era, EncCBOR (InstantaneousRewards (EraCrypto era))) ⇒ EncCBOR (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods encCBOR ∷ DState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DState era] → Size Source #
Default (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ DState era Source #
NFData (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ DState era → () Source #
Eq (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ DState era → DState era → Bool Source # (/=) ∷ DState era → DState era → Bool Source #
NoThunks (DState era)
Instance details Defined in Cardano.Ledger.CertState Methods noThunks ∷ Context → DState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DState era) → String Source #
type Rep (DState era)
Instance details Defined in Cardano.Ledger.CertState type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.16.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UMap (EraCrypto era))) :: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era))))) :: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenDelegs (EraCrypto era))) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InstantaneousRewards (EraCrypto era))))))
type Share (DState era)
Instance details Defined in Cardano.Ledger.CertState type Share (DState era) = (Interns (Credential 'Staking (EraCrypto era)), Interns (KeyHash 'StakePool (EraCrypto era)))

data VState era Source #

The state that tracks the voting entities (DReps and Constitutional Committee members). In the formal ledger specification this type is called GState

Constructors

VState

Fields

vsDReps ∷ !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
vsCommitteeState ∷ !(CommitteeState era)
vsNumDormantEpochs ∷ !EpochNo
Number of contiguous epochs in which there are exactly zero active governance proposals to vote on. It is incremented in every EPOCH rule if the number of active governance proposals to vote on continues to be zero. It is reset to zero when a new governance action is successfully proposed. We need this counter in order to bump DRep expiries through dormant periods when DReps do not have an opportunity to vote on anything.

Instances

Instances details

Generic (VState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (VState era) ∷ Type → Type Source # Methods from ∷ VState era → Rep (VState era) x Source # to ∷ Rep (VState era) x → VState era Source #
Show (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → VState era → ShowS Source # show ∷ VState era → String Source # showList ∷ [VState era] → ShowS Source #
Era era ⇒ DecCBOR (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods decCBOR ∷ Decoder s (VState era) Source # dropCBOR ∷ Proxy (VState era) → Decoder s () Source # label ∷ Proxy (VState era) → Text Source #
Era era ⇒ DecShareCBOR (VState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Share (VState era) Source # Methods getShare ∷ VState era → Share (VState era) Source # decShareCBOR ∷ Share (VState era) → Decoder s (VState era) Source # decSharePlusCBOR ∷ StateT (Share (VState era)) (Decoder s) (VState era) Source #
Era era ⇒ EncCBOR (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods encCBOR ∷ VState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VState era] → Size Source #
Default (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ VState era Source #
Era era ⇒ NFData (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ VState era → () Source #
Eq (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ VState era → VState era → Bool Source # (/=) ∷ VState era → VState era → Bool Source #
Typeable (EraCrypto era) ⇒ NoThunks (VState era)
Instance details Defined in Cardano.Ledger.CertState Methods noThunks ∷ Context → VState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VState era) → String Source #
type Rep (VState era)
Instance details Defined in Cardano.Ledger.CertState type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.16.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))) :: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))))
type Share (VState era)
Instance details Defined in Cardano.Ledger.CertState type Share (VState era) = ()

rewards ∷ DState era → UView (EraCrypto era) (Credential 'Staking (EraCrypto era)) RDPair Source #

delegations ∷ DState era → UView (EraCrypto era) (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)) Source #

ptrsMap ∷ DState era → Map Ptr (Credential 'Staking (EraCrypto era)) Source #

get the actual ptrs map, we don't need a view

data EpochState era Source #

Constructors

EpochState

Fields

esAccountState ∷ !AccountState
esLState ∷ !(LedgerState era)
esSnapshots ∷ !(SnapShots (EraCrypto era))
esNonMyopic ∷ !(NonMyopic (EraCrypto era))
This field, esNonMyopic, does not appear in the formal spec and is not a part of the protocol. It is only used for providing data to the stake pool ranking calculation getNonMyopicMemberRewards. See https://github.com/intersectmbo/cardano-ledger/releases/latest/download/pool-ranking.pdf

Instances

Instances details

(EraTxOut era, EraGov era) ⇒ ToJSON (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ EpochState era → Value Source # toEncoding ∷ EpochState era → Encoding Source # toJSONList ∷ [EpochState era] → Value Source # toEncodingList ∷ [EpochState era] → Encoding Source # omitField ∷ EpochState era → Bool Source #
Generic (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Rep (EpochState era) ∷ Type → Type Source # Methods from ∷ EpochState era → Rep (EpochState era) x Source # to ∷ Rep (EpochState era) x → EpochState era Source #
(EraTxOut era, Show (GovState era)) ⇒ Show (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → EpochState era → ShowS Source # show ∷ EpochState era → String Source # showList ∷ [EpochState era] → ShowS Source #
(EraTxOut era, EraGov era) ⇒ FromCBOR (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods fromCBOR ∷ Decoder s (EpochState era) Source # label ∷ Proxy (EpochState era) → Text Source #
(EraTxOut era, EraGov era) ⇒ ToCBOR (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ EpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochState era] → Size Source #
(EraTxOut era, EraGov era) ⇒ DecCBOR (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods decCBOR ∷ Decoder s (EpochState era) Source # dropCBOR ∷ Proxy (EpochState era) → Decoder s () Source # label ∷ Proxy (EpochState era) → Text Source #
(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ EpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (EpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochState era] → Size Source #
Default (LedgerState era) ⇒ Default (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ EpochState era Source #
(EraTxOut era, NFData (GovState era)) ⇒ NFData (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ EpochState era → () Source #
(EraTxOut era, Eq (GovState era)) ⇒ Eq (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ EpochState era → EpochState era → Bool Source # (/=) ∷ EpochState era → EpochState era → Bool Source #
(EraTxOut era, NoThunks (GovState era)) ⇒ NoThunks (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods noThunks ∷ Context → EpochState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EpochState era) → String Source #
type Rep (EpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (EpochState era) = D1 ('MetaData "EpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "EpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "esAccountState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountState) :: S1 ('MetaSel ('Just "esLState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState era))) :: (S1 ('MetaSel ('Just "esSnapshots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SnapShots (EraCrypto era))) :*: S1 ('MetaSel ('Just "esNonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic (EraCrypto era))))))

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.15.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))))

data FutureGenDeleg c Source #

Constructors

FutureGenDeleg
Fields fGenDelegSlot ∷ !SlotNo fGenDelegGenKeyHash ∷ !(KeyHash 'Genesis c)

Instances

Instances details

Crypto c ⇒ ToJSON (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods toJSON ∷ FutureGenDeleg c → Value Source # toEncoding ∷ FutureGenDeleg c → Encoding Source # toJSONList ∷ [FutureGenDeleg c] → Value Source # toEncodingList ∷ [FutureGenDeleg c] → Encoding Source # omitField ∷ FutureGenDeleg c → Bool Source #
Generic (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (FutureGenDeleg c) ∷ Type → Type Source # Methods from ∷ FutureGenDeleg c → Rep (FutureGenDeleg c) x Source # to ∷ Rep (FutureGenDeleg c) x → FutureGenDeleg c Source #
Show (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → FutureGenDeleg c → ShowS Source # show ∷ FutureGenDeleg c → String Source # showList ∷ [FutureGenDeleg c] → ShowS Source #
Crypto c ⇒ DecCBOR (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods decCBOR ∷ Decoder s (FutureGenDeleg c) Source # dropCBOR ∷ Proxy (FutureGenDeleg c) → Decoder s () Source # label ∷ Proxy (FutureGenDeleg c) → Text Source #
Crypto c ⇒ EncCBOR (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods encCBOR ∷ FutureGenDeleg c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (FutureGenDeleg c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [FutureGenDeleg c] → Size Source #
NFData (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ FutureGenDeleg c → () Source #
Eq (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source # (/=) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source #
Ord (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods compare ∷ FutureGenDeleg c → FutureGenDeleg c → Ordering Source # (<) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source # (<=) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source # (>) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source # (>=) ∷ FutureGenDeleg c → FutureGenDeleg c → Bool Source # max ∷ FutureGenDeleg c → FutureGenDeleg c → FutureGenDeleg c Source # min ∷ FutureGenDeleg c → FutureGenDeleg c → FutureGenDeleg c Source #
NoThunks (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState Methods noThunks ∷ Context → FutureGenDeleg c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FutureGenDeleg c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FutureGenDeleg c) → String Source #
type Rep (FutureGenDeleg c)
Instance details Defined in Cardano.Ledger.CertState type Rep (FutureGenDeleg c) = D1 ('MetaData "FutureGenDeleg" "Cardano.Ledger.CertState" "cardano-ledger-core-1.16.0.0-inplace" 'False) (C1 ('MetaCons "FutureGenDeleg" 'PrefixI 'True) (S1 ('MetaSel ('Just "fGenDelegSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "fGenDelegGenKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis c))))

data InstantaneousRewards c Source #

InstantaneousRewards captures the pending changes to the ledger state caused by MIR certificates. It consists of two mappings, the rewards which will be paid out from the reserves and the rewards which will be paid out from the treasury. It also consists of two coin values which represent the transfer of coins from one pot to the other pot. NOTE that the following property should always hold: deltaReserves + deltaTreasury = 0

Constructors

InstantaneousRewards
Fields iRReserves ∷ !(Map (Credential 'Staking c) Coin) iRTreasury ∷ !(Map (Credential 'Staking c) Coin) deltaReserves ∷ !DeltaCoin deltaTreasury ∷ !DeltaCoin

Instances

Instances details

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

data LedgerState era Source #

The state associated with a Ledger.

Constructors

LedgerState
Fields lsUTxOState ∷ !(UTxOState era) The current unspent transaction outputs. lsCertState ∷ !(CertState era)

Instances

Instances details

(EraTxOut era, EraGov era) ⇒ ToJSON (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ LedgerState era → Value Source # toEncoding ∷ LedgerState era → Encoding Source # toJSONList ∷ [LedgerState era] → Value Source # toEncodingList ∷ [LedgerState era] → Encoding Source # omitField ∷ LedgerState era → Bool Source #
Generic (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Rep (LedgerState era) ∷ Type → Type Source # Methods from ∷ LedgerState era → Rep (LedgerState era) x Source # to ∷ Rep (LedgerState era) x → LedgerState era Source #
(EraTxOut era, Show (GovState era)) ⇒ Show (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → LedgerState era → ShowS Source # show ∷ LedgerState era → String Source # showList ∷ [LedgerState era] → ShowS Source #
(EraTxOut era, EraGov era) ⇒ FromCBOR (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods fromCBOR ∷ Decoder s (LedgerState era) Source # label ∷ Proxy (LedgerState era) → Text Source #
(EraTxOut era, EraGov era) ⇒ ToCBOR (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ LedgerState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LedgerState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LedgerState era] → Size Source #
(EraTxOut era, EraGov era) ⇒ DecShareCBOR (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Share (LedgerState era) Source # Methods getShare ∷ LedgerState era → Share (LedgerState era) Source # decShareCBOR ∷ Share (LedgerState era) → Decoder s (LedgerState era) Source # decSharePlusCBOR ∷ StateT (Share (LedgerState era)) (Decoder s) (LedgerState era) Source #
(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ LedgerState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (LedgerState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [LedgerState era] → Size Source #
Default (UTxOState era) ⇒ Default (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ LedgerState era Source #
(EraTxOut era, NFData (GovState era)) ⇒ NFData (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ LedgerState era → () Source #
(EraTxOut era, Eq (GovState era)) ⇒ Eq (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ LedgerState era → LedgerState era → Bool Source # (/=) ∷ LedgerState era → LedgerState era → Bool Source #
(EraTxOut era, NoThunks (GovState era)) ⇒ NoThunks (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods noThunks ∷ Context → LedgerState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState era) → String Source #
type Rep (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (LedgerState era) = D1 ('MetaData "LedgerState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "LedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "lsUTxOState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxOState era)) :*: S1 ('MetaSel ('Just "lsCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era))))
type Share (LedgerState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Share (LedgerState era) = (Interns (Credential 'Staking (EraCrypto era)), Interns (KeyHash 'StakePool (EraCrypto era)))

data PState era Source #

The state used by the POOL rule, which tracks stake pool information.

Constructors

PState

Fields

psStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
The stake pool parameters.
psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
The future stake pool parameters. Changes to existing stake pool parameters are staged in order to give delegators time to react to changes. See section 11.2, "Example Illustration of the Reward Cycle", of the Shelley Ledger Specification for a sequence diagram.
psRetiring ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
A map of retiring stake pools to the epoch when they retire.
psDeposits ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) Coin)
A map of the deposits for each pool

Instances

Instances details

Era era ⇒ ToJSON (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods toJSON ∷ PState era → Value Source # toEncoding ∷ PState era → Encoding Source # toJSONList ∷ [PState era] → Value Source # toEncodingList ∷ [PState era] → Encoding Source # omitField ∷ PState era → Bool Source #
Generic (PState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (PState era) ∷ Type → Type Source # Methods from ∷ PState era → Rep (PState era) x Source # to ∷ Rep (PState era) x → PState era Source #
Show (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → PState era → ShowS Source # show ∷ PState era → String Source # showList ∷ [PState era] → ShowS Source #
(Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods decCBOR ∷ Decoder s (PState era) Source # dropCBOR ∷ Proxy (PState era) → Decoder s () Source # label ∷ Proxy (PState era) → Text Source #
Era era ⇒ DecShareCBOR (PState era)
Instance details Defined in Cardano.Ledger.CertState Associated Types type Share (PState era) Source # Methods getShare ∷ PState era → Share (PState era) Source # decShareCBOR ∷ Share (PState era) → Decoder s (PState era) Source # decSharePlusCBOR ∷ StateT (Share (PState era)) (Decoder s) (PState era) Source #
Era era ⇒ EncCBOR (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods encCBOR ∷ PState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PState era] → Size Source #
Default (PState c)
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ PState c Source #
NFData (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ PState era → () Source #
Eq (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ PState era → PState era → Bool Source # (/=) ∷ PState era → PState era → Bool Source #
NoThunks (PState era)
Instance details Defined in Cardano.Ledger.CertState Methods noThunks ∷ Context → PState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PState era) → String Source #
type Rep (PState era)
Instance details Defined in Cardano.Ledger.CertState type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.16.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))) :: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))) :: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) Coin)))))
type Share (PState era)
Instance details Defined in Cardano.Ledger.CertState type Share (PState era) = Interns (KeyHash 'StakePool (EraCrypto era))

type RewardAccounts c = Map (Credential 'Staking c) Coin Source #

data RewardUpdate c Source #

The ultimate 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.15.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))))))

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.15.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 UTxOState era Source #

There is a serious invariant that we must maintain in the UTxOState. Given (UTxOState utxo _ _ _ istake) it must be the case that istake == (updateStakeDistribution (UTxO Map.empty) (UTxO Map.empty) utxo) Of course computing the RHS of the above equality can be very expensive, so we only use this route in the testing function smartUTxO. But we are very careful, wherever we update the UTxO, we carefully make INCREMENTAL changes to istake to maintain this invariant. This happens in the UTxO rule.

Constructors

UTxOState
Fields utxosUtxo ∷ !(UTxO era) utxosDeposited ∷ Coin This field is left lazy, because we only use it for assertions utxosFees ∷ !Coin utxosGovState ∷ !(GovState era) utxosStakeDistr ∷ !(IncrementalStake (EraCrypto era)) utxosDonation ∷ !Coin

Instances

Instances details

(EraTxOut era, EraGov era) ⇒ ToJSON (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ UTxOState era → Value Source # toEncoding ∷ UTxOState era → Encoding Source # toJSONList ∷ [UTxOState era] → Value Source # toEncodingList ∷ [UTxOState era] → Encoding Source # omitField ∷ UTxOState era → Bool Source #
Generic (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Rep (UTxOState era) ∷ Type → Type Source # Methods from ∷ UTxOState era → Rep (UTxOState era) x Source # to ∷ Rep (UTxOState era) x → UTxOState era Source #
(EraTxOut era, Show (GovState era)) ⇒ Show (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → UTxOState era → ShowS Source # show ∷ UTxOState era → String Source # showList ∷ [UTxOState era] → ShowS Source #
(EraTxOut era, EraGov era) ⇒ FromCBOR (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods fromCBOR ∷ Decoder s (UTxOState era) Source # label ∷ Proxy (UTxOState era) → Text Source #
(EraTxOut era, EraGov era) ⇒ ToCBOR (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ UTxOState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UTxOState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxOState era] → Size Source #
(EraTxOut era, EraGov era) ⇒ DecShareCBOR (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Share (UTxOState era) Source # Methods getShare ∷ UTxOState era → Share (UTxOState era) Source # decShareCBOR ∷ Share (UTxOState era) → Decoder s (UTxOState era) Source # decSharePlusCBOR ∷ StateT (Share (UTxOState era)) (Decoder s) (UTxOState era) Source #
(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ UTxOState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UTxOState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxOState era] → Size Source #
EraGov era ⇒ Default (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ UTxOState era Source #
(EraTxOut era, NFData (GovState era)) ⇒ NFData (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ UTxOState era → () Source #
(EraTxOut era, Eq (GovState era)) ⇒ Eq (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ UTxOState era → UTxOState era → Bool Source # (/=) ∷ UTxOState era → UTxOState era → Bool Source #
(NoThunks (UTxO era), NoThunks (GovState era), Era era) ⇒ NoThunks (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods noThunks ∷ Context → UTxOState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTxOState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UTxOState era) → String Source #
type Rep (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (UTxOState era) = D1 ('MetaData "UTxOState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "UTxOState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "utxosUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :: (S1 ('MetaSel ('Just "utxosDeposited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :: S1 ('MetaSel ('Just "utxosFees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :: (S1 ('MetaSel ('Just "utxosGovState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovState era)) :: (S1 ('MetaSel ('Just "utxosStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IncrementalStake (EraCrypto era))) :*: S1 ('MetaSel ('Just "utxosDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))
type Share (UTxOState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Share (UTxOState era) = Interns (Credential 'Staking (EraCrypto era))

smartUTxOState ∷ EraTxOut era ⇒ PParams era → UTxO era → Coin → Coin → GovState era → Coin → UTxOState era Source #

A valid (or self-consistent) UTxOState{utxosUtxo, utxosDeposited , utxosFees , utxosPpups , utxosStakeDistr} maintains an invariant between the utxosUtxo and utxosStakeDistr fields. the utxosStakeDistr field is the aggregation of Coin over the StakeReferences in the UTxO. It can be computed by a pure function from the _utxo field. In some situations, mostly unit or example tests, or when initializing a small UTxO, we want to create a UTxOState that computes the utxosStakeDistr from the utxosUtxo. This is aways safe to do, but if the utxosUtxo field is big, this can be very expensive, which defeats the purpose of memoizing the utxosStakeDistr field. So use of this function should be restricted to tests and initializations, where the invariant should be maintained.

TO IncrementalStake

data IncrementalStake c Source #

Incremental Stake, Stake along with possible missed coins from danging Ptrs. Transactions can use Ptrs to refer to a stake credential in a TxOut. The Ptr does not have to point to anything until the epoch boundary, when we compute rewards and aggregate staking information for ranking. This is unusual but legal. In a non incremental system, we use whatever legal Ptrs exist at the epoch boundary. Here we are computing things incrementally, so we need to remember Ptrs that might point to something by the time the epoch boundary is reached. When the epoch boundary is reached we resolve these pointers, to see if any have become non-dangling since the time they were first used in the incremental computation.

Constructors

IStake
Fields credMap ∷ !(Map (Credential 'Staking c) (CompactForm Coin)) ptrMap ∷ !(Map Ptr (CompactForm Coin))

Instances

Instances details

Crypto c ⇒ ToJSON (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ IncrementalStake c → Value Source # toEncoding ∷ IncrementalStake c → Encoding Source # toJSONList ∷ [IncrementalStake c] → Value Source # toEncodingList ∷ [IncrementalStake c] → Encoding Source # omitField ∷ IncrementalStake c → Bool Source #
Monoid (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods mempty ∷ IncrementalStake c Source # mappend ∷ IncrementalStake c → IncrementalStake c → IncrementalStake c Source # mconcat ∷ [IncrementalStake c] → IncrementalStake c Source #
Semigroup (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (<>) ∷ IncrementalStake c → IncrementalStake c → IncrementalStake c Source # sconcat ∷ NonEmpty (IncrementalStake c) → IncrementalStake c Source # stimes ∷ Integral b ⇒ b → IncrementalStake c → IncrementalStake c Source #
Generic (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Rep (IncrementalStake c) ∷ Type → Type Source # Methods from ∷ IncrementalStake c → Rep (IncrementalStake c) x Source # to ∷ Rep (IncrementalStake c) x → IncrementalStake c Source #
Show (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → IncrementalStake c → ShowS Source # show ∷ IncrementalStake c → String Source # showList ∷ [IncrementalStake c] → ShowS Source #
Crypto c ⇒ DecShareCBOR (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Share (IncrementalStake c) Source # Methods getShare ∷ IncrementalStake c → Share (IncrementalStake c) Source # decShareCBOR ∷ Share (IncrementalStake c) → Decoder s (IncrementalStake c) Source # decSharePlusCBOR ∷ StateT (Share (IncrementalStake c)) (Decoder s) (IncrementalStake c) Source #
Crypto c ⇒ EncCBOR (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ IncrementalStake c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (IncrementalStake c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [IncrementalStake c] → Size Source #
Default (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ IncrementalStake c Source #
NFData (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ IncrementalStake c → () Source #
Eq (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ IncrementalStake c → IncrementalStake c → Bool Source # (/=) ∷ IncrementalStake c → IncrementalStake c → Bool Source #
Ord (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods compare ∷ IncrementalStake c → IncrementalStake c → Ordering Source # (<) ∷ IncrementalStake c → IncrementalStake c → Bool Source # (<=) ∷ IncrementalStake c → IncrementalStake c → Bool Source # (>) ∷ IncrementalStake c → IncrementalStake c → Bool Source # (>=) ∷ IncrementalStake c → IncrementalStake c → Bool Source # max ∷ IncrementalStake c → IncrementalStake c → IncrementalStake c Source # min ∷ IncrementalStake c → IncrementalStake c → IncrementalStake c Source #
Group (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods invert ∷ IncrementalStake c → IncrementalStake c Source # (~~) ∷ IncrementalStake c → IncrementalStake c → IncrementalStake c Source # pow ∷ Integral x ⇒ IncrementalStake c → x → IncrementalStake c Source #
NoThunks (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods noThunks ∷ Context → IncrementalStake c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IncrementalStake c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IncrementalStake c) → String Source #
type Rep (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (IncrementalStake c) = D1 ('MetaData "IncrementalStake" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "IStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "credMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "ptrMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Ptr (CompactForm Coin)))))
type Share (IncrementalStake c) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Share (IncrementalStake c) = Interns (Credential 'Staking c)

Genesis State

genesisState ∷ ∀ era. EraGov era ⇒ Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)) → UTxO era → LedgerState era Source #

Creates the ledger state for an empty ledger which contains the specified transaction outputs.

Validation

consumed ∷ EraUTxO era ⇒ PParams era → CertState era → UTxO era → TxBody era → Value era Source #

For eras before Conway, VState is expected to have an empty Map for vsDReps, and so deposit summed up is zero.

produced ∷ EraUTxO era ⇒ PParams era → CertState era → TxBody era → Value era Source #

Compute the lovelace which are created by the transaction For eras before Conway, VState is expected to have an empty Map for vsDReps, and so deposit summed up is zero.

DelegationState

payPoolDeposit ∷ EraPParams era ⇒ KeyHash 'StakePool (EraCrypto era) → PParams era → PState era → PState era Source #

One only pays a deposit on the initial pool registration. So return the the Deposits unchanged if the keyhash already exists. There are legal situations where a pool may be registered multiple times.

refundPoolDeposit ∷ KeyHash 'StakePool (EraCrypto era) → PState era → (Coin, PState era) Source #

totalObligation ∷ EraGov era ⇒ CertState era → GovState era → Coin Source #

allObligations ∷ EraGov era ⇒ CertState era → GovState era → Obligations Source #

Epoch boundary

incrementalStakeDistr ∷ ∀ era. EraPParams era ⇒ PParams era → IncrementalStake (EraCrypto era) → DState era → PState era → SnapShot (EraCrypto era) Source #

This computes a Snapshot using IncrementalStake (which is an aggregate of the current UTxO) and UMap (which tracks Coin, SPoolUView, and Ptrs simultaneously). Note that logically: 1) IncrementalStake = (credStake, ptrStake) 2) UMap = (rewards, activeDelegs, ptrmap :: Map ptr cred)

Using this scheme the logic can do 3 things in one go, without touching the UTxO. 1) Resolve Pointers 2) Throw away things not actively delegated 3) Add up the coin

The Stake distribution function (Map cred coin) (the first component of a SnapShot) is defined by this SetAlgebra expression: (dom activeDelegs) ◁ (aggregate+ (credStake ∪ ptrStake ∪ rewards))

We can apply meaning preserving operations to get equivalent expressions

(dom activeDelegs) ◁ (aggregate+ (credStake ∪ ptrStake ∪ rewards)) aggregate+ (dom activeDelegs ◁ (credStake ∪ ptrStake ∪ rewards)) aggregate+ ((dom activeDelegs ◁ credStake) ∪ (dom activeDelegs ◁ ptrStake) ∪ (dom activeDelegs ◁ rewards))

We will compute this in several steps step1 = (dom activeDelegs ◁ credStake) ∪ (dom activeDelegs ◁ ptrStake) step2 = aggregate (dom activeDelegs ◁ rewards) step1 This function has a non-incremental analog, stakeDistr, mosty used in tests, which does use the UTxO.

updateStakeDistribution ∷ EraTxOut era ⇒ PParams era → IncrementalStake (EraCrypto era) → UTxO era → UTxO era → IncrementalStake (EraCrypto era) Source #

Incrementally add the inserts utxoAdd and the deletes utxoDel to the IncrementalStake.

applyRUpd ∷ EraGov era ⇒ RewardUpdate (EraCrypto era) → EpochState era → EpochState era Source #

Apply a RewardUpdate to the EpochState. Does several things 1) Adds reward coins to Rewards component of the UMap field of the DState, for actively delegated Stake 2) Adds to the Treasury of the AccountState for non-actively delegated stake 3) Adds fees to the UTxOState

applyRUpdFiltered ∷ EraGov era ⇒ RewardUpdate (EraCrypto era) → EpochState era → (EpochState era, FilteredRewards era) Source #

filterAllRewards ∷ EraGov era ⇒ Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))) → EpochState era → FilteredRewards era Source #

data FilteredRewards era Source #

Constructors

FilteredRewards

Fields

frRegistered ∷ !(Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))
These are registered, in the current Unified map of the CertState
frShelleyIgnored ∷ Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))
These are registered, but ignored in the ShelleyEra because of backward compatibility in non-Shelley Eras, this field will be Map.empty
frUnregistered ∷ Set (Credential 'Staking (EraCrypto era))
These are NOT registered in the current Unified map of the CertState
frTotalUnregistered ∷ Coin
Total Coin of the unregistered rewards. These will end up in the Treasury or Reserves.

Instances

Instances details

NFData (FilteredRewards era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.IncrementalStake Methods rnf ∷ FilteredRewards era → () Source #

createRUpd ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → ShelleyBase (RewardUpdate (EraCrypto era)) Source #

To create a reward update, run all 3 phases This function is not used in the rules, so it ignores RewardEvents

completeRupd ∷ PulsingRewUpdate c → ShelleyBase (RewardUpdate c, RewardEvent c) Source #

Phase 3 of reward update has several parts a) completeM the pulser (in case there are still computions to run) b) Combine the pulser provenance with the RewardProvenance c) Construct the final RewardUpdate d) Add the leader rewards to both the events and the computed Rewards

startStep ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → PulsingRewUpdate (EraCrypto era) Source #

pulseStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

Run the pulser for a bit. If is has nothing left to do, complete it.

completeStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

data NewEpochState era Source #

New Epoch state and environment

Constructors

NewEpochState !EpochNo !(BlocksMade (EraCrypto era)) !(BlocksMade (EraCrypto era)) !(EpochState era) !(StrictMaybe (PulsingRewUpdate (EraCrypto era))) !(PoolDistr (EraCrypto era)) !(StashedAVVMAddresses era)

Instances

Instances details

Generic (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types type Rep (NewEpochState era) ∷ Type → Type Source # Methods from ∷ NewEpochState era → Rep (NewEpochState era) x Source # to ∷ Rep (NewEpochState era) x → NewEpochState era Source #
(EraTxOut era, Show (StashedAVVMAddresses era), Show (GovState era)) ⇒ Show (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → NewEpochState era → ShowS Source # show ∷ NewEpochState era → String Source # showList ∷ [NewEpochState era] → ShowS Source #
(EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) ⇒ FromCBOR (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods fromCBOR ∷ Decoder s (NewEpochState era) Source # label ∷ Proxy (NewEpochState era) → Text Source #
(EraTxOut era, EraGov era, EncCBOR (StashedAVVMAddresses era)) ⇒ ToCBOR (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ NewEpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NewEpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NewEpochState era] → Size Source #
(EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) ⇒ DecCBOR (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods decCBOR ∷ Decoder s (NewEpochState era) Source # dropCBOR ∷ Proxy (NewEpochState era) → Decoder s () Source # label ∷ Proxy (NewEpochState era) → Text Source #
(EraTxOut era, EncCBOR (StashedAVVMAddresses era), EncCBOR (GovState era)) ⇒ EncCBOR (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ NewEpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (NewEpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [NewEpochState era] → Size Source #
(EraTxOut era, NFData (StashedAVVMAddresses era), NFData (GovState era)) ⇒ NFData (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ NewEpochState era → () Source #
(EraTxOut era, Eq (StashedAVVMAddresses era), Eq (GovState era)) ⇒ Eq (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ NewEpochState era → NewEpochState era → Bool Source # (/=) ∷ NewEpochState era → NewEpochState era → Bool Source #
(Era era, NoThunks (BlocksMade (EraCrypto era)), NoThunks (EpochState era), NoThunks (PulsingRewUpdate (EraCrypto era)), NoThunks (StashedAVVMAddresses era)) ⇒ NoThunks (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods noThunks ∷ Context → NewEpochState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NewEpochState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NewEpochState era) → String Source #
type Rep (NewEpochState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (NewEpochState era) = D1 ('MetaData "NewEpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "NewEpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nesEL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Just "nesBprev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade (EraCrypto era))) :: S1 ('MetaSel ('Just "nesBcur") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade (EraCrypto era))))) :: ((S1 ('MetaSel ('Just "nesEs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochState era)) :: S1 ('MetaSel ('Just "nesRu") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (PulsingRewUpdate (EraCrypto era))))) :: (S1 ('MetaSel ('Just "nesPd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolDistr (EraCrypto era))) :: S1 ('MetaSel ('Just "stashedAVVMAddresses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StashedAVVMAddresses era))))))

type family StashedAVVMAddresses era where ... Source #

Equations

StashedAVVMAddresses (ShelleyEra c) = UTxO (ShelleyEra c)
StashedAVVMAddresses _ = ()

stashedAVVMAddresses ∷ NewEpochState era → StashedAVVMAddresses era Source #

AVVM addresses to be removed at the end of the Shelley era. Note that the existence of this field is a hack, related to the transition of UTxO to disk. We remove AVVM addresses from the UTxO on the Shelley/Allegra boundary. However, by this point the UTxO will be moved to disk, and hence doing a scan of the UTxO for AVVM addresses will be expensive. Our solution to this is to do a scan of the UTxO on the Byron/Shelley boundary (since Byron UTxO are still on disk), stash the results here, and then remove them at the Shelley/Allegra boundary.

This is very much an awkward implementation hack, and hence we hide it from as many places as possible.

getGKeys ∷ NewEpochState era → Set (KeyHash 'Genesis (EraCrypto era)) Source #

updateNES ∷ EraGov era ⇒ NewEpochState era → BlocksMade (EraCrypto era) → LedgerState era → NewEpochState era Source #

Update new epoch state

circulation ∷ EpochState era → Coin → Coin Source #

Calculate the current circulation

This is used in the rewards calculation, and for API endpoints for pool ranking.

Decay

decayFactor ∷ Float Source #

Remove Bootstrap Redeem Addresses

returnRedeemAddrsToReserves ∷ ∀ era. EraTxOut era ⇒ EpochState era → EpochState era Source #

updateNonMyopic ∷ NonMyopic c → Coin → Map (KeyHash 'StakePool c) Likelihood → NonMyopic c Source #

emptyRewardUpdate ∷ RewardUpdate c Source #

pvCanFollow Source #

Arguments

∷ ProtVer	Previous protocol version
→ ProtVer	New protocol version
→ Bool

Check whether the new protocol version is a legitimate version bump with respect to the previous one.

availableAfterMIR ∷ MIRPot → AccountState → InstantaneousRewards c → Coin Source #

This function returns the coin balance of a given pot, either the reserves or the treasury, after the instantaneous rewards and pot transfers are accounted for.

data ShelleyGovState era Source #

Constructors

ShelleyGovState
Fields sgsCurProposals ∷ !(ProposedPPUpdates era) sgsFutureProposals ∷ !(ProposedPPUpdates era) sgsCurPParams ∷ !(PParams era) sgsPrevPParams ∷ !(PParams era) sgsFuturePParams ∷ !(FuturePParams era) Prediction of parameter changes that might happen on the epoch boundary.

Instances

Instances details

EraPParams era ⇒ ToJSON (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods toJSON ∷ ShelleyGovState era → Value Source # toEncoding ∷ ShelleyGovState era → Encoding Source # toJSONList ∷ [ShelleyGovState era] → Value Source # toEncodingList ∷ [ShelleyGovState era] → Encoding Source # omitField ∷ ShelleyGovState era → Bool Source #
Generic (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type Rep (ShelleyGovState era) ∷ Type → Type Source # Methods from ∷ ShelleyGovState era → Rep (ShelleyGovState era) x Source # to ∷ Rep (ShelleyGovState era) x → ShelleyGovState era Source #
(Show (PParamsUpdate era), Show (PParams era)) ⇒ Show (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods showsPrec ∷ Int → ShelleyGovState era → ShowS Source # show ∷ ShelleyGovState era → String Source # showList ∷ [ShelleyGovState era] → ShowS Source #
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods fromCBOR ∷ Decoder s (ShelleyGovState era) Source # label ∷ Proxy (ShelleyGovState era) → Text Source #
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods toCBOR ∷ ShelleyGovState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source #
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods decCBOR ∷ Decoder s (ShelleyGovState era) Source # dropCBOR ∷ Proxy (ShelleyGovState era) → Decoder s () Source # label ∷ Proxy (ShelleyGovState era) → Text Source #
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Associated Types type Share (ShelleyGovState era) Source # Methods getShare ∷ ShelleyGovState era → Share (ShelleyGovState era) Source # decShareCBOR ∷ Share (ShelleyGovState era) → Decoder s (ShelleyGovState era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyGovState era)) (Decoder s) (ShelleyGovState era) Source #
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods encCBOR ∷ ShelleyGovState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source #
EraPParams era ⇒ Default (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods def ∷ ShelleyGovState era Source #
(NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods rnf ∷ ShelleyGovState era → () Source #
(Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods (==) ∷ ShelleyGovState era → ShelleyGovState era → Bool Source # (/=) ∷ ShelleyGovState era → ShelleyGovState era → Bool Source #
(NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance Methods noThunks ∷ Context → ShelleyGovState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyGovState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyGovState era) → String Source #
type Rep (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))
type Share (ShelleyGovState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Governance type Share (ShelleyGovState era) = ()