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

type AccountState = ChainAccountState Source #

Deprecated: In favor of ChainAccountState

casTreasuryL ∷ Lens' ChainAccountState Coin Source #

casReservesL ∷ Lens' ChainAccountState Coin Source #

treasuryL ∷ CanSetChainAccountState t ⇒ Lens' (t era) Coin Source #

reservesL ∷ CanSetChainAccountState t ⇒ Lens' (t era) Coin Source #

class (Era era, ToJSON (CertState era), EncCBOR (CertState era), DecShareCBOR (CertState era), Share (CertState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), Default (CertState era), NoThunks (CertState era), NFData (CertState era), Show (CertState era), Eq (CertState era)) ⇒ EraCertState era where Source #

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

Associated Types

type CertState era = (r ∷ Type) | r → era Source #

Methods

certDStateL ∷ Lens' (CertState era) (DState era) Source #

certPStateL ∷ Lens' (CertState era) (PState era) Source #

obligationCertState ∷ CertState era → Obligations Source #

Calculate total possible refunds in the system that are related to certificates

There is an invariant that the sum of all the fields should be the same as the utxosDeposited field of the UTxOState. Note that this does not depend upon the current values of the Key and Pool deposits of the PParams.

certsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → CertState era → TxBody era → Coin Source #

Compute the total deposits from the Certs of a TxBody.

This is the contribution of a TxBody towards the deposit pot (utxosDeposit field of the UTxOState) of the system

certsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → CertState era → TxBody era → Coin Source #

Compute the total refunds from the Certs of a TxBody.

This is the contribution of a TxBody towards the total Obligations of the system See Obligations and obligationCertState for more information.

data CommitteeAuthorization Source #

Constructors

CommitteeHotCredential !(Credential 'HotCommitteeRole)	Member authorized with a Hot credential acting on behalf of their Cold credential
CommitteeMemberResigned !(StrictMaybe Anchor)	Member resigned with a potential explanation in Anchor

Instances

Instances details

ToJSON CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods toJSON ∷ CommitteeAuthorization → Value Source # toEncoding ∷ CommitteeAuthorization → Encoding Source # toJSONList ∷ [CommitteeAuthorization] → Value Source # toEncodingList ∷ [CommitteeAuthorization] → Encoding Source # omitField ∷ CommitteeAuthorization → Bool Source #
Generic CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Rep CommitteeAuthorization ∷ Type → Type # Methods from ∷ CommitteeAuthorization → Rep CommitteeAuthorization x # to ∷ Rep CommitteeAuthorization x → CommitteeAuthorization #
Show CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → CommitteeAuthorization → ShowS # show ∷ CommitteeAuthorization → String # showList ∷ [CommitteeAuthorization] → ShowS #
DecCBOR CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods decCBOR ∷ Decoder s CommitteeAuthorization Source # dropCBOR ∷ Proxy CommitteeAuthorization → Decoder s () Source # label ∷ Proxy CommitteeAuthorization → Text Source #
EncCBOR CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods encCBOR ∷ CommitteeAuthorization → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CommitteeAuthorization → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeAuthorization] → Size Source #
NFData CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods rnf ∷ CommitteeAuthorization → () #
Eq CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (==) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # (/=) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool #
Ord CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods compare ∷ CommitteeAuthorization → CommitteeAuthorization → Ordering # (<) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # (<=) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # (>) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # (>=) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # max ∷ CommitteeAuthorization → CommitteeAuthorization → CommitteeAuthorization # min ∷ CommitteeAuthorization → CommitteeAuthorization → CommitteeAuthorization #
NoThunks CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods noThunks ∷ Context → CommitteeAuthorization → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CommitteeAuthorization → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CommitteeAuthorization → String Source #
type Rep CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.State.CertState type Rep CommitteeAuthorization = D1 ('MetaData "CommitteeAuthorization" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeHotCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: C1 ('MetaCons "CommitteeMemberResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))

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
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 GenDelegPair)
Future genesis key delegations
dsGenDelegs ∷ !GenDelegs
Genesis key delegations
dsIRewards ∷ !InstantaneousRewards
Instantaneous Rewards

Instances

Instances details

ToJSON (DState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Rep (DState era) ∷ Type → Type # Methods from ∷ DState era → Rep (DState era) x # to ∷ Rep (DState era) x → DState era #
Show (DState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → DState era → ShowS # show ∷ DState era → String # showList ∷ [DState era] → ShowS #
DecShareCBOR (DState era) Source #
Instance details Defined in Cardano.Ledger.State.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 (DState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods def ∷ DState era Source #
NFData (DState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods rnf ∷ DState era → () #
Eq (DState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (==) ∷ DState era → DState era → Bool # (/=) ∷ DState era → DState era → Bool #
NoThunks (DState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UMap) :: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FutureGenDeleg GenDelegPair))) :: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstantaneousRewards))))
type Share (DState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Share (DState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole))

data PState era Source #

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

Constructors

PState

Fields

psStakePoolParams ∷ !(Map (KeyHash 'StakePool) PoolParams)
The stake pool parameters.
psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool) PoolParams)
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) EpochNo)
A map of retiring stake pools to the epoch when they retire.
psDeposits ∷ !(Map (KeyHash 'StakePool) Coin)
A map of the deposits for each pool

Instances

Instances details

ToJSON (PState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Rep (PState era) ∷ Type → Type # Methods from ∷ PState era → Rep (PState era) x # to ∷ Rep (PState era) x → PState era #
Show (PState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → PState era → ShowS # show ∷ PState era → String # showList ∷ [PState era] → ShowS #
(Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods decCBOR ∷ Decoder s (PState era) Source # dropCBOR ∷ Proxy (PState era) → Decoder s () Source # label ∷ Proxy (PState era) → Text Source #
DecShareCBOR (PState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.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 era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods def ∷ PState era Source #
NFData (PState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods rnf ∷ PState era → () #
Eq (PState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (==) ∷ PState era → PState era → Bool # (/=) ∷ PState era → PState era → Bool #
NoThunks (PState era) Source #
Instance details Defined in Cardano.Ledger.State.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) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams)) :: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams))) :: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) Coin)))))
type Share (PState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Share (PState era) = Interns (KeyHash 'StakePool)

data InstantaneousRewards 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) Coin) iRTreasury ∷ !(Map (Credential 'Staking) Coin) deltaReserves ∷ !DeltaCoin deltaTreasury ∷ !DeltaCoin

Instances

Instances details

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

data FutureGenDeleg Source #

Constructors

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

Instances

Instances details

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

data Anchor Source #

Constructors

Anchor
Fields anchorUrl ∷ !Url anchorDataHash ∷ !(SafeHash AnchorData)

Instances

Instances details

FromJSON Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Anchor Source # parseJSONList ∷ Value → Parser [Anchor] Source # omittedField ∷ Maybe Anchor Source #
ToJSON Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ Anchor → Value Source # toEncoding ∷ Anchor → Encoding Source # toJSONList ∷ [Anchor] → Value Source # toEncodingList ∷ [Anchor] → Encoding Source # omitField ∷ Anchor → Bool Source #
Generic Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Anchor ∷ Type → Type # Methods from ∷ Anchor → Rep Anchor x # to ∷ Rep Anchor x → Anchor #
Show Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → Anchor → ShowS # show ∷ Anchor → String # showList ∷ [Anchor] → ShowS #
DecCBOR Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s Anchor Source # dropCBOR ∷ Proxy Anchor → Decoder s () Source # label ∷ Proxy Anchor → Text Source #
EncCBOR Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ Anchor → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Anchor → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Anchor] → Size Source #
Default Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods def ∷ Anchor Source #
NFData Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ Anchor → () #
Eq Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ Anchor → Anchor → Bool # (/=) ∷ Anchor → Anchor → Bool #
Ord Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ Anchor → Anchor → Ordering # (<) ∷ Anchor → Anchor → Bool # (<=) ∷ Anchor → Anchor → Bool # (>) ∷ Anchor → Anchor → Bool # (>=) ∷ Anchor → Anchor → Bool # max ∷ Anchor → Anchor → Anchor # min ∷ Anchor → Anchor → Anchor #
NoThunks Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Anchor → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Anchor → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Anchor → String Source #
type Rep Anchor Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData))))

data DRepState Source #

Constructors

DRepState
Fields drepExpiry ∷ !EpochNo drepAnchor ∷ !(StrictMaybe Anchor) drepDeposit ∷ !Coin drepDelegs ∷ !(Set (Credential 'Staking))

Instances

Instances details

FromJSON DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods parseJSON ∷ Value → Parser DRepState Source # parseJSONList ∷ Value → Parser [DRepState] Source # omittedField ∷ Maybe DRepState Source #
ToJSON DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSON ∷ DRepState → Value Source # toEncoding ∷ DRepState → Encoding Source # toJSONList ∷ [DRepState] → Value Source # toEncodingList ∷ [DRepState] → Encoding Source # omitField ∷ DRepState → Bool Source #
Generic DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep DRepState ∷ Type → Type # Methods from ∷ DRepState → Rep DRepState x # to ∷ Rep DRepState x → DRepState #
Show DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods showsPrec ∷ Int → DRepState → ShowS # show ∷ DRepState → String # showList ∷ [DRepState] → ShowS #
DecCBOR DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods decCBOR ∷ Decoder s DRepState Source # dropCBOR ∷ Proxy DRepState → Decoder s () Source # label ∷ Proxy DRepState → Text Source #
DecShareCBOR DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Share DRepState Source # Methods getShare ∷ DRepState → Share DRepState Source # decShareCBOR ∷ Share DRepState → Decoder s DRepState Source # decSharePlusCBOR ∷ StateT (Share DRepState) (Decoder s) DRepState Source #
EncCBOR DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods encCBOR ∷ DRepState → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy DRepState → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRepState] → Size Source #
NFData DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods rnf ∷ DRepState → () #
Eq DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods (==) ∷ DRepState → DRepState → Bool # (/=) ∷ DRepState → DRepState → Bool #
Ord DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods compare ∷ DRepState → DRepState → Ordering # (<) ∷ DRepState → DRepState → Bool # (<=) ∷ DRepState → DRepState → Bool # (>) ∷ DRepState → DRepState → Bool # (>=) ∷ DRepState → DRepState → Bool # max ∷ DRepState → DRepState → DRepState # min ∷ DRepState → DRepState → DRepState #
NoThunks DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Methods noThunks ∷ Context → DRepState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DRepState → String Source #
type Rep DRepState Source #
Instance details Defined in Cardano.Ledger.DRep type Rep DRepState = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "DRepState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "drepExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: S1 ('MetaSel ('Just "drepAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :: (S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))
type Share DRepState Source #
Instance details Defined in Cardano.Ledger.DRep type Share DRepState = Interns (Credential 'Staking)

data DRep Source #

Constructors

DRepKeyHash !(KeyHash 'DRepRole)
DRepScriptHash !ScriptHash
DRepAlwaysAbstain
DRepAlwaysNoConfidence

Bundled Patterns

pattern DRepCredential ∷ Credential 'DRepRole → DRep

Instances

Instances details

FromJSON DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods parseJSON ∷ Value → Parser DRep Source # parseJSONList ∷ Value → Parser [DRep] Source # omittedField ∷ Maybe DRep Source #
FromJSONKey DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods fromJSONKey ∷ FromJSONKeyFunction DRep Source # fromJSONKeyList ∷ FromJSONKeyFunction [DRep] Source #
ToJSON DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSON ∷ DRep → Value Source # toEncoding ∷ DRep → Encoding Source # toJSONList ∷ [DRep] → Value Source # toEncodingList ∷ [DRep] → Encoding Source # omitField ∷ DRep → Bool Source #
ToJSONKey DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSONKey ∷ ToJSONKeyFunction DRep Source # toJSONKeyList ∷ ToJSONKeyFunction [DRep] Source #
Generic DRep Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep DRep ∷ Type → Type # Methods from ∷ DRep → Rep DRep x # to ∷ Rep DRep x → DRep #
Show DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods showsPrec ∷ Int → DRep → ShowS # show ∷ DRep → String # showList ∷ [DRep] → ShowS #
DecCBOR DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods decCBOR ∷ Decoder s DRep Source # dropCBOR ∷ Proxy DRep → Decoder s () Source # label ∷ Proxy DRep → Text Source #
DecShareCBOR DRep Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Share DRep Source # Methods getShare ∷ DRep → Share DRep Source # decShareCBOR ∷ Share DRep → Decoder s DRep Source # decSharePlusCBOR ∷ StateT (Share DRep) (Decoder s) DRep Source #
EncCBOR DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods encCBOR ∷ DRep → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy DRep → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRep] → Size Source #
NFData DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods rnf ∷ DRep → () #
Eq DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods (==) ∷ DRep → DRep → Bool # (/=) ∷ DRep → DRep → Bool #
Ord DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods compare ∷ DRep → DRep → Ordering # (<) ∷ DRep → DRep → Bool # (<=) ∷ DRep → DRep → Bool # (>) ∷ DRep → DRep → Bool # (>=) ∷ DRep → DRep → Bool # max ∷ DRep → DRep → DRep # min ∷ DRep → DRep → DRep #
NoThunks DRep Source #
Instance details Defined in Cardano.Ledger.DRep Methods noThunks ∷ Context → DRep → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRep → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DRep → String Source #
type Rep DRep Source #
Instance details Defined in Cardano.Ledger.DRep type Rep DRep = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.18.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 ∷ Type → Type)))
type Share DRep Source #
Instance details Defined in Cardano.Ledger.DRep type Share DRep = Interns (Credential 'DRepRole)

newtype CommitteeState era Source #

Constructors

CommitteeState
Fields csCommitteeCreds ∷ Map (Credential 'ColdCommitteeRole) CommitteeAuthorization

Instances

Instances details

ToJSON (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods toJSON ∷ CommitteeState era → Value Source # toEncoding ∷ CommitteeState era → Encoding Source # toJSONList ∷ [CommitteeState era] → Value Source # toEncodingList ∷ [CommitteeState era] → Encoding Source # omitField ∷ CommitteeState era → Bool Source #
Generic (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Rep (CommitteeState era) ∷ Type → Type # Methods from ∷ CommitteeState era → Rep (CommitteeState era) x # to ∷ Rep (CommitteeState era) x → CommitteeState era #
Show (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → CommitteeState era → ShowS # show ∷ CommitteeState era → String # showList ∷ [CommitteeState era] → ShowS #
Era era ⇒ ToCBOR (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods toCBOR ∷ CommitteeState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeState era] → Size Source #
Era era ⇒ DecCBOR (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods decCBOR ∷ Decoder s (CommitteeState era) Source # dropCBOR ∷ Proxy (CommitteeState era) → Decoder s () Source # label ∷ Proxy (CommitteeState era) → Text Source #
Era era ⇒ DecShareCBOR (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Share (CommitteeState era) Source # Methods getShare ∷ CommitteeState era → Share (CommitteeState era) Source # decShareCBOR ∷ Share (CommitteeState era) → Decoder s (CommitteeState era) Source # decSharePlusCBOR ∷ StateT (Share (CommitteeState era)) (Decoder s) (CommitteeState era) Source #
Typeable era ⇒ EncCBOR (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods encCBOR ∷ CommitteeState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeState era] → Size Source #
Default (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods def ∷ CommitteeState era Source #
NFData (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods rnf ∷ CommitteeState era → () #
Eq (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (==) ∷ CommitteeState era → CommitteeState era → Bool # (/=) ∷ CommitteeState era → CommitteeState era → Bool #
Ord (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods compare ∷ CommitteeState era → CommitteeState era → Ordering # (<) ∷ CommitteeState era → CommitteeState era → Bool # (<=) ∷ CommitteeState era → CommitteeState era → Bool # (>) ∷ CommitteeState era → CommitteeState era → Bool # (>=) ∷ CommitteeState era → CommitteeState era → Bool # max ∷ CommitteeState era → CommitteeState era → CommitteeState era # min ∷ CommitteeState era → CommitteeState era → CommitteeState era #
NoThunks (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods noThunks ∷ Context → CommitteeState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CommitteeState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CommitteeState era) → String Source #
type Rep (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Rep (CommitteeState era) = D1 ('MetaData "CommitteeState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.18.0.0-inplace" 'True) (C1 ('MetaCons "CommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization))))
type Share (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.State.CertState type Share (CommitteeState era) = Interns (Credential 'HotCommitteeRole)

authorizedHotCommitteeCredentials ∷ CommitteeState era → Set (Credential 'HotCommitteeRole) Source #

Extract all unique hot credential authorizations for the current committee. Note that there is no unique mapping from Hot to Cold credential, therefore we produce a Set, instead of a Map.

data AnchorData Source #

Instances

Instances details

SafeToHash AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods originalBytes ∷ AnchorData → ByteString Source # originalBytesSize ∷ AnchorData → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AnchorData → SafeHash i Source #
Eq AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ AnchorData → AnchorData → Bool # (/=) ∷ AnchorData → AnchorData → Bool #
HashAnnotated AnchorData AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods hashAnnotated ∷ AnchorData → SafeHash AnchorData Source #

lookupDepositDState ∷ DState era → StakeCredential → Maybe Coin Source #

Function that looks up the deposit for currently delegated staking credential

lookupRewardDState ∷ DState era → StakeCredential → Maybe Coin Source #

Function that looks up curret reward for the delegated staking credential.

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

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

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

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

payPoolDeposit ∷ EraPParams era ⇒ KeyHash 'StakePool → 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 → PState era → (Coin, PState era) Source #

data Obligations Source #

A composite of all the Deposits the system is obligated to eventually pay back.

Constructors

Obligations
Fields oblStake ∷ !Coin oblPool ∷ !Coin oblDRep ∷ !Coin oblProposal ∷ !Coin

Instances

Instances details

Monoid Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods mempty ∷ Obligations # mappend ∷ Obligations → Obligations → Obligations # mconcat ∷ [Obligations] → Obligations #
Semigroup Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (<>) ∷ Obligations → Obligations → Obligations # sconcat ∷ NonEmpty Obligations → Obligations # stimes ∷ Integral b ⇒ b → Obligations → Obligations #
Generic Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Associated Types type Rep Obligations ∷ Type → Type # Methods from ∷ Obligations → Rep Obligations x # to ∷ Rep Obligations x → Obligations #
Show Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → Obligations → ShowS # show ∷ Obligations → String # showList ∷ [Obligations] → ShowS #
NFData Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods rnf ∷ Obligations → () #
Eq Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods (==) ∷ Obligations → Obligations → Bool # (/=) ∷ Obligations → Obligations → Bool #
Ord Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState Methods compare ∷ Obligations → Obligations → Ordering # (<) ∷ Obligations → Obligations → Bool # (<=) ∷ Obligations → Obligations → Bool # (>) ∷ Obligations → Obligations → Bool # (>=) ∷ Obligations → Obligations → Bool # max ∷ Obligations → Obligations → Obligations # min ∷ Obligations → Obligations → Obligations #
type Rep Obligations Source #
Instance details Defined in Cardano.Ledger.State.CertState type Rep Obligations = D1 ('MetaData "Obligations" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "Obligations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oblStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "oblPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "oblDRep") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "oblProposal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

sumObligation ∷ Obligations → Coin Source #

dsUnifiedL ∷ Lens' (DState era) UMap Source #

dsGenDelegsL ∷ Lens' (DState era) GenDelegs Source #

dsIRewardsL ∷ Lens' (DState era) InstantaneousRewards Source #

dsFutureGenDelegsL ∷ Lens' (DState era) (Map FutureGenDeleg GenDelegPair) Source #

psStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) PoolParams) Source #

psFutureStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) PoolParams) Source #

psRetiringL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) EpochNo) Source #

psDepositsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) Coin) Source #

class CanGetUTxO t where Source #

Minimal complete definition

Nothing

Methods

utxoG ∷ SimpleGetter (t era) (UTxO era) Source #

default utxoG ∷ CanSetUTxO t ⇒ SimpleGetter (t era) (UTxO era) Source #

Instances

Instances details

CanGetUTxO UTxO Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoG ∷ SimpleGetter (UTxO era) (UTxO era) Source #

class CanGetUTxO t ⇒ CanSetUTxO t where Source #

Methods

utxoL ∷ Lens' (t era) (UTxO era) Source #

Instances

Instances details

CanSetUTxO UTxO Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoL ∷ Lens' (UTxO era) (UTxO era) Source #

Primitives

newtype UTxO era Source #

The unspent transaction outputs.

Constructors

UTxO
Fields unUTxO ∷ Map TxIn (TxOut era)

Instances

Instances details

CanGetUTxO UTxO Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoG ∷ SimpleGetter (UTxO era) (UTxO era) Source #
CanSetUTxO UTxO Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoL ∷ Lens' (UTxO era) (UTxO era) Source #
ToJSON (TxOut era) ⇒ ToJSON (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods toJSON ∷ UTxO era → Value Source # toEncoding ∷ UTxO era → Encoding Source # toJSONList ∷ [UTxO era] → Value Source # toEncodingList ∷ [UTxO era] → Encoding Source # omitField ∷ UTxO era → Bool Source #
Era era ⇒ Monoid (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods mempty ∷ UTxO era # mappend ∷ UTxO era → UTxO era → UTxO era # mconcat ∷ [UTxO era] → UTxO era #
Semigroup (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods (<>) ∷ UTxO era → UTxO era → UTxO era # sconcat ∷ NonEmpty (UTxO era) → UTxO era # stimes ∷ Integral b ⇒ b → UTxO era → UTxO era #
Generic (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Rep (UTxO era) ∷ Type → Type # Methods from ∷ UTxO era → Rep (UTxO era) x # to ∷ Rep (UTxO era) x → UTxO era #
Show (TxOut era) ⇒ Show (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods showsPrec ∷ Int → UTxO era → ShowS # show ∷ UTxO era → String # showList ∷ [UTxO era] → ShowS #
(DecCBOR (TxOut era), Era era) ⇒ FromCBOR (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods fromCBOR ∷ Decoder s (UTxO era) Source # label ∷ Proxy (UTxO era) → Text Source #
(EncCBOR (TxOut era), Era era) ⇒ ToCBOR (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods toCBOR ∷ UTxO era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #
(Era era, DecCBOR (TxOut era)) ⇒ DecCBOR (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods decCBOR ∷ Decoder s (UTxO era) Source # dropCBOR ∷ Proxy (UTxO era) → Decoder s () Source # label ∷ Proxy (UTxO era) → Text Source #
(DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ DecShareCBOR (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Share (UTxO era) Source # Methods getShare ∷ UTxO era → Share (UTxO era) Source # decShareCBOR ∷ Share (UTxO era) → Decoder s (UTxO era) Source # decSharePlusCBOR ∷ StateT (Share (UTxO era)) (Decoder s) (UTxO era) Source #
(Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods encCBOR ∷ UTxO era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #
Default (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods def ∷ UTxO era Source #
(Era era, NFData (TxOut era)) ⇒ NFData (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods rnf ∷ UTxO era → () #
(Era era, Eq (TxOut era)) ⇒ Eq (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods (==) ∷ UTxO era → UTxO era → Bool # (/=) ∷ UTxO era → UTxO era → Bool #
NoThunks (TxOut era) ⇒ NoThunks (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods noThunks ∷ Context → UTxO era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTxO era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UTxO era) → String Source #
type Rep (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO type Rep (UTxO era) = D1 ('MetaData "UTxO" "Cardano.Ledger.State.UTxO" "cardano-ledger-core-1.18.0.0-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn (TxOut era)))))
type Share (UTxO era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO type Share (UTxO era) = Interns (Credential 'Staking)

class EraTx era ⇒ EraUTxO era where Source #

Associated Types

type ScriptsNeeded era = (r ∷ Type) | r → era Source #

A customizable type on per era basis for the information required to find all scripts needed for the transaction.

Methods

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

getConsumedValue Source #

Arguments

∷ PParams era
→ (Credential 'Staking → Maybe Coin)	Function that can lookup current delegation deposits
→ (Credential 'DRepRole → Maybe Coin)	Function that can lookup current drep deposits
→ UTxO era
→ TxBody era
→ Value era

Calculate all the value that is being consumed by the transaction.

getProducedValue Source #

Arguments

∷ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether a pool with a supplied PoolStakeId is already registered.
→ TxBody era
→ Value era

getScriptsProvided Source #

Arguments

∷ UTxO era	For some era it is necessary to look into the UTxO to find all of the available scripts for the transaction
→ Tx era
→ ScriptsProvided era

Initial eras will look into witness set to find all of the available scripts, but starting with Babbage we can look for available scripts in the UTxO using reference inputs.

getScriptsNeeded ∷ UTxO era → TxBody era → ScriptsNeeded era Source #

Produce all the information required for figuring out which scripts are required for the transaction to be valid, once those scripts are evaluated

getScriptsHashesNeeded ∷ ScriptsNeeded era → Set ScriptHash Source #

Extract the set of all script hashes that are needed for script validation.

getWitsVKeyNeeded ∷ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness) Source #

Extract all of the KeyHash witnesses that are required for validating the transaction

getMinFeeTxUtxo ∷ PParams era → Tx era → UTxO era → Coin Source #

Minimum fee computation, excluding witnesses and including ref scripts size

newtype ScriptsProvided era Source #

The only reason it is a newtype instead of just a Map is becuase for later eras is expensive to compute the actual map, so we want to use the type safety guidance to avoid redundant work.

Constructors

ScriptsProvided
Fields unScriptsProvided ∷ Map ScriptHash (Script era)

Instances

Instances details

Generic (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Rep (ScriptsProvided era) ∷ Type → Type # Methods from ∷ ScriptsProvided era → Rep (ScriptsProvided era) x # to ∷ Rep (ScriptsProvided era) x → ScriptsProvided era #
(Era era, Show (Script era)) ⇒ Show (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods showsPrec ∷ Int → ScriptsProvided era → ShowS # show ∷ ScriptsProvided era → String # showList ∷ [ScriptsProvided era] → ShowS #
(Era era, NFData (Script era)) ⇒ NFData (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods rnf ∷ ScriptsProvided era → () #
(Era era, Eq (Script era)) ⇒ Eq (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods (==) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (/=) ∷ ScriptsProvided era → ScriptsProvided era → Bool #
(Era era, Ord (Script era)) ⇒ Ord (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO Methods compare ∷ ScriptsProvided era → ScriptsProvided era → Ordering # (<) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (<=) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (>) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (>=) ∷ ScriptsProvided era → ScriptsProvided era → Bool # max ∷ ScriptsProvided era → ScriptsProvided era → ScriptsProvided era # min ∷ ScriptsProvided era → ScriptsProvided era → ScriptsProvided era #
type Rep (ScriptsProvided era) Source #
Instance details Defined in Cardano.Ledger.State.UTxO type Rep (ScriptsProvided era) = D1 ('MetaData "ScriptsProvided" "Cardano.Ledger.State.UTxO" "cardano-ledger-core-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ScriptsProvided" 'PrefixI 'True) (S1 ('MetaSel ('Just "unScriptsProvided") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptHash (Script era)))))

Functions

txins ∷ EraTxBody era ⇒ TxBody era → Set TxIn Source #

Compute the UTxO inputs of a transaction. txins has the same problems as txouts, see notes below.

txinLookup ∷ TxIn → UTxO era → Maybe (TxOut era) Source #

Lookup a txin for a given UTxO collection

txInsFilter Source #

Arguments

∷ UTxO era	Source `UTxO`
→ Set TxIn	Which of the `TxIn`s you would like to keep.
→ UTxO era

Filter out TxIn's from the UTxO map

txouts ∷ ∀ era. EraTxBody era ⇒ TxBody era → UTxO era Source #

Compute the transaction outputs of a transaction.

balance ∷ EraTxOut era ⇒ UTxO era → Value era Source #

Determine the total balance contained in the UTxO.

coinBalance ∷ EraTxOut era ⇒ UTxO era → Coin Source #

Determine the total Ada only balance contained in the UTxO. This is equivalent to `coin . balance`, but it will be more efficient

sumAllValue ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Value era Source #

Sum all the value in any Foldable with TxOuts

sumAllCoin ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Coin Source #

Sum all the Coins in any Foldable with with TxOuts. Care should be taken since it is susceptible to integer overflow, therefore make sure this function is not applied to unvalidated TxOuts

areAllAdaOnly ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Bool Source #

Check whether any of the supplied TxOuts contain any MultiAssets. Returns True if non of them do.

verifyWitVKey ∷ Hash HASH EraIndependentTxBody → WitVKey kr → Bool Source #

Verify a transaction body witness

getScriptHash ∷ Addr → Maybe ScriptHash Source #

Extract script hash from value address with script.

data IndividualPoolStake Source #

The IndividualPoolStake contains all the stake controlled by a single stake pool (the combination of owners and delegates) for a given epoch, and also the hash of the stake pool's registered VRF key.

When a stake pool produces a block, the header contains the full VRF verification key and VRF value for leader election. We check the VRF key against the value in IndividualPoolStake and we check the VRF value using the epoch nonce and the relative stake of the pool as given in IndividualPoolStake. The stake is relative to the total amount of active stake in the network. Stake is active if it is both registered and delegated to a registered stake pool.

Constructors

IndividualPoolStake
Fields individualPoolStake ∷ !Rational Pool stake distribution. This is a ratio of `individualTotalPoolStake`/`pdTotalActiveStake` individualTotalPoolStake ∷ !(CompactForm Coin) Total stake delegated to this pool. In addition to all the stake that is part of `individualPoolStake` we also add proposal-deposits to this field. individualPoolStakeVrf ∷ !(VRFVerKeyHash 'StakePoolVRF)

Instances

Instances details

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

data PoolDistr Source #

A map of stake pool IDs (the hash of the stake pool operator's verification key) to IndividualPoolStake. Also holds absolute values necessary for the calculations in the computeDRepDistr.

Constructors

PoolDistr
Fields unPoolDistr ∷ !(Map (KeyHash 'StakePool) IndividualPoolStake) pdTotalActiveStake ∷ !(CompactForm Coin) Total stake delegated to registered stake pools. In addition to the stake considered for the `individualPoolStake` Rational, we add proposal-deposits to this field.

Instances

Instances details

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

poolDistrDistrL ∷ Lens' PoolDistr (Map (KeyHash 'StakePool) IndividualPoolStake) Source #

poolDistrTotalL ∷ Lens' PoolDistr (CompactForm Coin) Source #

individualTotalPoolStakeL ∷ Lens' IndividualPoolStake (CompactForm Coin) Source #

newtype Stake Source #

Type of stake as map from staking credential to coins associated. Any staking credential that has no stake will not appear in this Map, even if it is registered. For this reason, this data type should not be used for infering whether credential is registered or not.

Constructors

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

Instances

Instances details

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

sumAllStake ∷ Stake → Coin Source #

sumAllStakeCompact ∷ Stake → CompactForm Coin Source #

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

Compute amount of stake each pool has. Any registered stake pool that has no stake will not be inlcuded in the resulting map

data SnapShot Source #

Snapshot of the stake distribution.

Constructors

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

Instances

Instances details

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

data SnapShots Source #

Snapshots of the stake distribution.

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

Constructors

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

Instances

Instances details

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

emptySnapShot ∷ SnapShot Source #

emptySnapShots ∷ SnapShots Source #

poolStake ∷ KeyHash 'StakePool → VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Stake Source #

Get stake of one pool

maxPool ∷ EraPParams era ⇒ PParams era → Coin → Rational → Rational → Coin Source #

Version of maxPool` that extracts ppA0L and ppNOptL from a PParams

maxPool' ∷ NonNegativeInterval → NonZero Word16 → Coin → Rational → Rational → Coin Source #

Calculate maximal pool reward

calculatePoolDistr ∷ SnapShot → PoolDistr Source #

calculatePoolDistr' ∷ (KeyHash 'StakePool → Bool) → SnapShot → PoolDistr Source #

calculatePoolStake ∷ (KeyHash 'StakePool → Bool) → VMap VB VB (Credential 'Staking) (KeyHash 'StakePool) → Stake → Map (KeyHash 'StakePool) Word64 Source #

Sum up the Coin (as CompactForm Coin = Word64) for each StakePool

ssStakeMarkL ∷ Lens' SnapShots SnapShot Source #

ssStakeMarkPoolDistrL ∷ Lens' SnapShots PoolDistr Source #

ssStakeSetL ∷ Lens' SnapShots SnapShot Source #

ssStakeGoL ∷ Lens' SnapShots SnapShot Source #

ssFeeL ∷ Lens' SnapShots Coin Source #

ssStakeL ∷ Lens' SnapShot Stake Source #

ssStakeDistrL ∷ Lens' SnapShot (VMap VB VP (Credential 'Staking) (CompactForm Coin)) Source #

ssDelegationsL ∷ Lens' SnapShot (VMap VB VB (Credential 'Staking) (KeyHash 'StakePool)) Source #

ssPoolParamsL ∷ Lens' SnapShot (VMap VB VB (KeyHash 'StakePool) PoolParams) Source #

class (Era era, Eq (InstantStake era), Show (InstantStake era), Monoid (InstantStake era), Default (InstantStake era), NFData (InstantStake era), NoThunks (InstantStake era), ToJSON (InstantStake era), EncCBOR (InstantStake era), DecShareCBOR (InstantStake era), Share (InstantStake era) ~ Interns (Credential 'Staking)) ⇒ EraStake era where Source #

Associated Types

type InstantStake era = (r ∷ Type) | r → era Source #

This is the current stake in the system. The important part of this stake is that not all of it is active. Any stake credential that is not registred will not contribute to the active stake, however it will be part of the instant stake. Throughout an epoch it is not relevant which part of the stake is active, because it is only when we take the snaphot that we resolve all the active stake.

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO era → InstantStake era → InstantStake era Source #

Add new UTxO to the InstantStake. This is invoked for every new TxOut that is added to the ledger state

deleteInstantStake ∷ UTxO era → InstantStake era → InstantStake era Source #

Delete spent UTxO from the InstantStake. This is invoked for every TxOut that is removed from the ledger state

resolveInstantStake ∷ InstantStake era → UMap → Stake Source #

Using known stake credential registrations and delegations resolve the instant stake into a Stake that will be used for SnapShot creation by snapShotFromInstantStake.

class CanGetInstantStake t where Source #

Minimal complete definition

Nothing

Methods

instantStakeG ∷ SimpleGetter (t era) (InstantStake era) Source #

default instantStakeG ∷ CanSetInstantStake t ⇒ SimpleGetter (t era) (InstantStake era) Source #

class CanGetInstantStake t ⇒ CanSetInstantStake t where Source #

Methods

instantStakeL ∷ Lens' (t era) (InstantStake era) Source #

snapShotFromInstantStake ∷ EraStake era ⇒ InstantStake era → DState era → PState era → SnapShot Source #

resolveActiveInstantStakeCredentials ∷ EraStake era ⇒ InstantStake era → UMap → Map (Credential 'Staking) (CompactForm Coin) Source #

This is the total active stake including the rewards, but ignoring all the stake coming from the pointers. Where "active" stake means any stake credential that is registered and delegated to a stake pool.

class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) ⇒ EraGov era where Source #

Minimal complete definition

curPParamsGovStateL, prevPParamsGovStateL, futurePParamsGovStateL, obligationGovState

Associated Types

type GovState era = (r ∷ Type) | r → era Source #

Methods

emptyGovState ∷ GovState era Source #

Construct empty governance state

curPParamsGovStateL ∷ Lens' (GovState era) (PParams era) Source #

Lens for accessing current protocol parameters

prevPParamsGovStateL ∷ Lens' (GovState era) (PParams era) Source #

Lens for accessing the previous protocol parameters

futurePParamsGovStateL ∷ Lens' (GovState era) (FuturePParams era) Source #

Lens for accessing the future protocol parameters.

This lens will produce DefinitePParamsUpdate whenever we are absolutely sure that the new PParams will be updated. Which means there will be no chance of a DefinitePParamsUpdate value until we are past the point of no return, which is 2 stability windows before the end of the epoch. This lens is mostly intended for ledger usage and nextEpochUpdatedPParams should be used instead whenever definite results are desired.

obligationGovState ∷ GovState era → Obligations Source #

data FuturePParams era Source #

Constructors

NoPParamsUpdate	This indicates that there is definitely not going to be an update to PParams expected at the next epoch boundary.
DefinitePParamsUpdate !(PParams era)	This case specifies the PParams that will be adopted at the next epoch boundary.
PotentialPParamsUpdate (Maybe (PParams era))	With this case there is no guarantee that these will be the new PParams, users should not rely on this value to be computed efficiently and should use `nextEpochPParams` instead. The field is lazy on purpose, since we truly need to compute this field only towards the end of the epoch, which is done by `solidifyFuturePParams` two stability windows before the end of the epoch.

Instances

Instances details

ToJSON (PParams era) ⇒ ToJSON (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods toJSON ∷ FuturePParams era → Value Source # toEncoding ∷ FuturePParams era → Encoding Source # toJSONList ∷ [FuturePParams era] → Value Source # toEncodingList ∷ [FuturePParams era] → Encoding Source # omitField ∷ FuturePParams era → Bool Source #
Generic (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Associated Types type Rep (FuturePParams era) ∷ Type → Type # Methods from ∷ FuturePParams era → Rep (FuturePParams era) x # to ∷ Rep (FuturePParams era) x → FuturePParams era #
Show (PParams era) ⇒ Show (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods showsPrec ∷ Int → FuturePParams era → ShowS # show ∷ FuturePParams era → String # showList ∷ [FuturePParams era] → ShowS #
(Typeable era, DecCBOR (PParams era)) ⇒ DecCBOR (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods decCBOR ∷ Decoder s (FuturePParams era) Source # dropCBOR ∷ Proxy (FuturePParams era) → Decoder s () Source # label ∷ Proxy (FuturePParams era) → Text Source #
(Typeable era, EncCBOR (PParams era)) ⇒ EncCBOR (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods encCBOR ∷ FuturePParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (FuturePParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [FuturePParams era] → Size Source #
Default (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods def ∷ FuturePParams era Source #
NFData (PParams era) ⇒ NFData (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods rnf ∷ FuturePParams era → () #
Eq (PParams era) ⇒ Eq (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods (==) ∷ FuturePParams era → FuturePParams era → Bool # (/=) ∷ FuturePParams era → FuturePParams era → Bool #
NoThunks (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance Methods noThunks ∷ Context → FuturePParams era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FuturePParams era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FuturePParams era) → String Source #
type Rep (FuturePParams era) Source #
Instance details Defined in Cardano.Ledger.State.Governance type Rep (FuturePParams era) = D1 ('MetaData "FuturePParams" "Cardano.Ledger.State.Governance" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "NoPParamsUpdate" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DefinitePParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :+: C1 ('MetaCons "PotentialPParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (PParams era))))))

solidifyFuturePParams ∷ FuturePParams era → FuturePParams era Source #

nextEpochPParams ∷ EraGov era ⇒ GovState era → PParams era Source #

This function is guaranteed to produce PParams that will be adopted at the next epoch boundary, whenever this function is applied to the GovState that was produced by ledger at any point that is two stability windows before the end of the epoch. If you need to know if there were actual changes to those PParams then use nextEpochUpdatedPParams instead.

nextEpochUpdatedPParams ∷ EraGov era ⇒ GovState era → StrictMaybe (PParams era) Source #

This function is guaranteed to return updated PParams when it is called during the last two stability windows of the epoch and there were proposals to update PParams that all relevant parties reached consensus on. In other words whenever there is a definite update to PParams coming on the epoch boundary those PParams will be returned, otherwise it will return Nothing. This function is inexpensive and can be invoked at any time without danger of forcing some suspended computation.

knownFuturePParams ∷ FuturePParams era → Maybe (PParams era) Source #

Return new PParams only when it is known that there was an update proposed and it is guaranteed to be applied

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result