Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.CertState

Synopsis

data CertState era = CertState {
- certVState ∷ !(VState era)
- certPState ∷ !(PState era)
- certDState ∷ !(DState era)
}
data CommitteeAuthorization
- = CommitteeHotCredential !(Credential 'HotCommitteeRole)
- | CommitteeMemberResigned !(StrictMaybe Anchor)
data DState era = DState {
- dsUnified ∷ !UMap
- dsFutureGenDelegs ∷ !(Map FutureGenDeleg GenDelegPair)
- dsGenDelegs ∷ !GenDelegs
- dsIRewards ∷ !InstantaneousRewards
}
data PState era = PState {
- psStakePoolParams ∷ !(Map (KeyHash 'StakePool) PoolParams)
- psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool) PoolParams)
- psRetiring ∷ !(Map (KeyHash 'StakePool) EpochNo)
- psDeposits ∷ !(Map (KeyHash 'StakePool) Coin)
}
data VState era = VState {
- vsDReps ∷ !(Map (Credential 'DRepRole) DRepState)
- vsCommitteeState ∷ !(CommitteeState era)
- vsNumDormantEpochs ∷ !EpochNo
}
data InstantaneousRewards = InstantaneousRewards {
- iRReserves ∷ !(Map (Credential 'Staking) Coin)
- iRTreasury ∷ !(Map (Credential 'Staking) Coin)
- deltaReserves ∷ !DeltaCoin
- deltaTreasury ∷ !DeltaCoin
}
data FutureGenDeleg = FutureGenDeleg {
- fGenDelegSlot ∷ !SlotNo
- fGenDelegGenKeyHash ∷ !(KeyHash 'Genesis)
}
data Anchor = Anchor {
- anchorUrl ∷ !Url
- anchorDataHash ∷ !(SafeHash AnchorData)
}
data DRepState = DRepState {
- drepExpiry ∷ !EpochNo
- drepAnchor ∷ !(StrictMaybe Anchor)
- drepDeposit ∷ !Coin
- drepDelegs ∷ !(Set (Credential 'Staking))
}
data DRep where
- DRepKeyHash !(KeyHash 'DRepRole)
- DRepScriptHash !ScriptHash
- DRepAlwaysAbstain
- DRepAlwaysNoConfidence
- pattern DRepCredential ∷ Credential 'DRepRole → DRep
newtype CommitteeState era = CommitteeState {
- csCommitteeCreds ∷ Map (Credential 'ColdCommitteeRole) CommitteeAuthorization
}
authorizedHotCommitteeCredentials ∷ CommitteeState era → Set (Credential 'HotCommitteeRole)
data AnchorData
lookupDepositDState ∷ DState era → StakeCredential → Maybe Coin
lookupRewardDState ∷ DState era → StakeCredential → Maybe Coin
rewards ∷ DState era → UView (Credential 'Staking) RDPair
delegations ∷ DState era → UView (Credential 'Staking) (KeyHash 'StakePool)
ptrsMap ∷ DState era → Map Ptr (Credential 'Staking)
payPoolDeposit ∷ EraPParams era ⇒ KeyHash 'StakePool → PParams era → PState era → PState era
refundPoolDeposit ∷ KeyHash 'StakePool → PState era → (Coin, PState era)
obligationCertState ∷ CertState era → Obligations
data Obligations = Obligations {
- oblStake ∷ !Coin
- oblPool ∷ !Coin
- oblDRep ∷ !Coin
- oblProposal ∷ !Coin
}
sumObligation ∷ Obligations → Coin
certsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → CertState era → TxBody era → Coin
certsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → CertState era → TxBody 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
dsGenDelegsL ∷ Lens' (DState era) GenDelegs
dsIRewardsL ∷ Lens' (DState era) InstantaneousRewards
dsFutureGenDelegsL ∷ Lens' (DState era) (Map FutureGenDeleg GenDelegPair)
psStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) PoolParams)
psFutureStakePoolParamsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) PoolParams)
psRetiringL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) EpochNo)
psDepositsL ∷ Lens' (PState era) (Map (KeyHash 'StakePool) Coin)
vsDRepsL ∷ Lens' (VState era) (Map (Credential 'DRepRole) DRepState)
vsCommitteeStateL ∷ Lens' (VState era) (CommitteeState era)
vsNumDormantEpochsL ∷ Lens' (VState era) EpochNo
vsActualDRepExpiry ∷ Credential 'DRepRole → VState era → Maybe EpochNo
csCommitteeCredsL ∷ Lens' (CommitteeState era) (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization)
lookupDepositVState ∷ VState era → Credential 'DRepRole → Maybe Coin

Documentation

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

ToJSON (CertState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (CertState era) ∷ Type → Type # Methods from ∷ CertState era → Rep (CertState era) x # to ∷ Rep (CertState era) x → CertState era #
Show (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → CertState era → ShowS # show ∷ CertState era → String # showList ∷ [CertState era] → ShowS #
Era era ⇒ DecShareCBOR (CertState era) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ CertState era Source #
NFData (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ CertState era → () #
Eq (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ CertState era → CertState era → Bool # (/=) ∷ CertState era → CertState era → Bool #
NoThunks (CertState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState type Rep (CertState era) = D1 ('MetaData "CertState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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) Source #
Instance details Defined in Cardano.Ledger.CertState type Share (CertState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

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.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.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.CertState Methods showsPrec ∷ Int → CommitteeAuthorization → ShowS # show ∷ CommitteeAuthorization → String # showList ∷ [CommitteeAuthorization] → ShowS #
DecCBOR CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.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.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.CertState Methods rnf ∷ CommitteeAuthorization → () #
Eq CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool # (/=) ∷ CommitteeAuthorization → CommitteeAuthorization → Bool #
Ord CommitteeAuthorization Source #
Instance details Defined in Cardano.Ledger.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.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.CertState type Rep CommitteeAuthorization = D1 ('MetaData "CommitteeAuthorization" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.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.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.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.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.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.CertState Methods def ∷ DState era Source #
NFData (DState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ DState era → () #
Eq (DState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ DState era → DState era → Bool # (/=) ∷ DState era → DState era → Bool #
NoThunks (DState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.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.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.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.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.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.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.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.CertState Methods def ∷ PState era Source #
NFData (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ PState era → () #
Eq (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ PState era → PState era → Bool # (/=) ∷ PState era → PState era → Bool #
NoThunks (PState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.CertState type Share (PState era) = Interns (KeyHash 'StakePool)

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) DRepState)
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) Source #
Instance details Defined in Cardano.Ledger.CertState Associated Types type Rep (VState era) ∷ Type → Type # Methods from ∷ VState era → Rep (VState era) x # to ∷ Rep (VState era) x → VState era #
Show (VState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → VState era → ShowS # show ∷ VState era → String # showList ∷ [VState era] → ShowS #
Era era ⇒ DecCBOR (VState era) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ VState era Source #
NFData (VState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ VState era → () #
Eq (VState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ VState era → VState era → Bool # (/=) ∷ VState era → VState era → Bool #
NoThunks (VState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.CertState type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) DRepState)) :: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))))
type Share (VState era) Source #
Instance details Defined in Cardano.Ledger.CertState type Share (VState era) = (Interns (Credential 'Staking), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

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.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.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.CertState Methods showsPrec ∷ Int → InstantaneousRewards → ShowS # show ∷ InstantaneousRewards → String # showList ∷ [InstantaneousRewards] → ShowS #
DecShareCBOR InstantaneousRewards Source #
Instance details Defined in Cardano.Ledger.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.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.CertState Methods def ∷ InstantaneousRewards Source #
NFData InstantaneousRewards Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ InstantaneousRewards → () #
Eq InstantaneousRewards Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ InstantaneousRewards → InstantaneousRewards → Bool # (/=) ∷ InstantaneousRewards → InstantaneousRewards → Bool #
NoThunks InstantaneousRewards Source #
Instance details Defined in Cardano.Ledger.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.CertState type Rep InstantaneousRewards = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.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.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.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.CertState Methods showsPrec ∷ Int → FutureGenDeleg → ShowS # show ∷ FutureGenDeleg → String # showList ∷ [FutureGenDeleg] → ShowS #
DecCBOR FutureGenDeleg Source #
Instance details Defined in Cardano.Ledger.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.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.CertState Methods rnf ∷ FutureGenDeleg → () #
Eq FutureGenDeleg Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ FutureGenDeleg → FutureGenDeleg → Bool # (/=) ∷ FutureGenDeleg → FutureGenDeleg → Bool #
Ord FutureGenDeleg Source #
Instance details Defined in Cardano.Ledger.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.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.CertState type Rep FutureGenDeleg = D1 ('MetaData "FutureGenDeleg" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.17.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.17.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.17.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.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.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.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.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.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.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.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.CertState Methods def ∷ CommitteeState era Source #
NFData (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ CommitteeState era → () #
Eq (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ CommitteeState era → CommitteeState era → Bool # (/=) ∷ CommitteeState era → CommitteeState era → Bool #
Ord (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.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.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.CertState type Rep (CommitteeState era) = D1 ('MetaData "CommitteeState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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.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 #

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.

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.CertState Methods mempty ∷ Obligations # mappend ∷ Obligations → Obligations → Obligations # mconcat ∷ [Obligations] → Obligations #
Semigroup Obligations Source #
Instance details Defined in Cardano.Ledger.CertState Methods (<>) ∷ Obligations → Obligations → Obligations # sconcat ∷ NonEmpty Obligations → Obligations # stimes ∷ Integral b ⇒ b → Obligations → Obligations #
Generic Obligations Source #
Instance details Defined in Cardano.Ledger.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.CertState Methods showsPrec ∷ Int → Obligations → ShowS # show ∷ Obligations → String # showList ∷ [Obligations] → ShowS #
NFData Obligations Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ Obligations → () #
Eq Obligations Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ Obligations → Obligations → Bool # (/=) ∷ Obligations → Obligations → Bool #
Ord Obligations Source #
Instance details Defined in Cardano.Ledger.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.CertState type Rep Obligations = D1 ('MetaData "Obligations" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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))))