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

Era era ⇒ 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 Source # Methods from ∷ CertState era → Rep (CertState era) x Source # to ∷ Rep (CertState era) x → CertState era Source #
Show (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → CertState era → ShowS Source # show ∷ CertState era → String Source # showList ∷ [CertState era] → ShowS Source #
Era era ⇒ DecShareCBOR (CertState era) 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 #
Era era ⇒ NFData (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ CertState era → () Source #
Eq (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ CertState era → CertState era → Bool Source # (/=) ∷ CertState era → CertState era → Bool Source #
Typeable (EraCrypto era) ⇒ NoThunks (CertState era) 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.16.0.0-inplace" 'False) (C1 ('MetaCons "CertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "certVState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VState era)) :: (S1 ('MetaSel ('Just "certPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :: S1 ('MetaSel ('Just "certDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era)))))
type Share (CertState era) Source #
Instance details Defined in Cardano.Ledger.CertState type Share (CertState era) = (Interns (Credential 'Staking (EraCrypto era)), Interns (KeyHash 'StakePool (EraCrypto era)))

data CommitteeAuthorization c Source #

Constructors

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

Instances

Instances details

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

data DState era Source #

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

Constructors

DState

Fields

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

Instances

Instances details

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

data PState era Source #

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

Constructors

PState

Fields

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

Instances

Instances details

Era era ⇒ ToJSON (PState era) 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 Source # Methods from ∷ PState era → Rep (PState era) x Source # to ∷ Rep (PState era) x → PState era Source #
Show (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → PState era → ShowS Source # show ∷ PState era → String Source # showList ∷ [PState era] → ShowS Source #
(Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era) 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 #
Era era ⇒ 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 c) Source #
Instance details Defined in Cardano.Ledger.CertState Methods def ∷ PState c Source #
NFData (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ PState era → () Source #
Eq (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ PState era → PState era → Bool Source # (/=) ∷ PState era → PState era → Bool Source #
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.16.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))) :: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))) :: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) Coin)))))
type Share (PState era) Source #
Instance details Defined in Cardano.Ledger.CertState type Share (PState era) = Interns (KeyHash 'StakePool (EraCrypto era))

data VState era Source #

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

Constructors

VState

Fields

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

Instances

Instances details

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

data InstantaneousRewards c Source #

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

Constructors

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

Instances

Instances details

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

data FutureGenDeleg c Source #

Constructors

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

Instances

Instances details

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

data Anchor c Source #

Constructors

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

Instances

Instances details

Crypto c ⇒ FromJSON (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser (Anchor c) Source # parseJSONList ∷ Value → Parser [Anchor c] Source # omittedField ∷ Maybe (Anchor c) Source #
Crypto c ⇒ ToJSON (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ Anchor c → Value Source # toEncoding ∷ Anchor c → Encoding Source # toJSONList ∷ [Anchor c] → Value Source # toEncodingList ∷ [Anchor c] → Encoding Source # omitField ∷ Anchor c → Bool Source #
Generic (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep (Anchor c) ∷ Type → Type Source # Methods from ∷ Anchor c → Rep (Anchor c) x Source # to ∷ Rep (Anchor c) x → Anchor c Source #
Show (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → Anchor c → ShowS Source # show ∷ Anchor c → String Source # showList ∷ [Anchor c] → ShowS Source #
Crypto c ⇒ DecCBOR (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s (Anchor c) Source # dropCBOR ∷ Proxy (Anchor c) → Decoder s () Source # label ∷ Proxy (Anchor c) → Text Source #
Crypto c ⇒ EncCBOR (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ Anchor c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Anchor c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Anchor c] → Size Source #
Crypto c ⇒ Default (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods def ∷ Anchor c Source #
Crypto c ⇒ NFData (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ Anchor c → () Source #
Eq (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ Anchor c → Anchor c → Bool Source # (/=) ∷ Anchor c → Anchor c → Bool Source #
Ord (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare ∷ Anchor c → Anchor c → Ordering Source # (<) ∷ Anchor c → Anchor c → Bool Source # (<=) ∷ Anchor c → Anchor c → Bool Source # (>) ∷ Anchor c → Anchor c → Bool Source # (>=) ∷ Anchor c → Anchor c → Bool Source # max ∷ Anchor c → Anchor c → Anchor c Source # min ∷ Anchor c → Anchor c → Anchor c Source #
NoThunks (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Anchor c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Anchor c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Anchor c) → String Source #
type Rep (Anchor c) Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep (Anchor c) = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.16.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 c AnchorData))))

data DRepState c Source #

Constructors

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

Instances

Instances details

Crypto c ⇒ FromJSON (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods parseJSON ∷ Value → Parser (DRepState c) Source # parseJSONList ∷ Value → Parser [DRepState c] Source # omittedField ∷ Maybe (DRepState c) Source #
Crypto c ⇒ ToJSON (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSON ∷ DRepState c → Value Source # toEncoding ∷ DRepState c → Encoding Source # toJSONList ∷ [DRepState c] → Value Source # toEncodingList ∷ [DRepState c] → Encoding Source # omitField ∷ DRepState c → Bool Source #
Generic (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep (DRepState c) ∷ Type → Type Source # Methods from ∷ DRepState c → Rep (DRepState c) x Source # to ∷ Rep (DRepState c) x → DRepState c Source #
Show (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods showsPrec ∷ Int → DRepState c → ShowS Source # show ∷ DRepState c → String Source # showList ∷ [DRepState c] → ShowS Source #
Crypto c ⇒ DecCBOR (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods decCBOR ∷ Decoder s (DRepState c) Source # dropCBOR ∷ Proxy (DRepState c) → Decoder s () Source # label ∷ Proxy (DRepState c) → Text Source #
Crypto c ⇒ EncCBOR (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods encCBOR ∷ DRepState c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DRepState c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRepState c] → Size Source #
Crypto c ⇒ NFData (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods rnf ∷ DRepState c → () Source #
Eq (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods (==) ∷ DRepState c → DRepState c → Bool Source # (/=) ∷ DRepState c → DRepState c → Bool Source #
Ord (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods compare ∷ DRepState c → DRepState c → Ordering Source # (<) ∷ DRepState c → DRepState c → Bool Source # (<=) ∷ DRepState c → DRepState c → Bool Source # (>) ∷ DRepState c → DRepState c → Bool Source # (>=) ∷ DRepState c → DRepState c → Bool Source # max ∷ DRepState c → DRepState c → DRepState c Source # min ∷ DRepState c → DRepState c → DRepState c Source #
NoThunks (DRepState era) Source #
Instance details Defined in Cardano.Ledger.DRep Methods noThunks ∷ Context → DRepState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepState era) → String Source #
type Rep (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep type Rep (DRepState c) = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.16.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 c)))) :: (S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking c))))))

data DRep c Source #

Constructors

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

Bundled Patterns

pattern DRepCredential ∷ Credential 'DRepRole c → DRep c

Instances

Instances details

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

newtype CommitteeState era Source #

Constructors

CommitteeState
Fields csCommitteeCreds ∷ Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))

Instances

Instances details

Era era ⇒ 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 Source # Methods from ∷ CommitteeState era → Rep (CommitteeState era) x Source # to ∷ Rep (CommitteeState era) x → CommitteeState era Source #
Show (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods showsPrec ∷ Int → CommitteeState era → ShowS Source # show ∷ CommitteeState era → String Source # showList ∷ [CommitteeState era] → ShowS Source #
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 #
Era 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 #
Era era ⇒ NFData (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods rnf ∷ CommitteeState era → () Source #
Eq (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods (==) ∷ CommitteeState era → CommitteeState era → Bool Source # (/=) ∷ CommitteeState era → CommitteeState era → Bool Source #
Ord (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState Methods compare ∷ CommitteeState era → CommitteeState era → Ordering Source # (<) ∷ CommitteeState era → CommitteeState era → Bool Source # (<=) ∷ CommitteeState era → CommitteeState era → Bool Source # (>) ∷ CommitteeState era → CommitteeState era → Bool Source # (>=) ∷ CommitteeState era → CommitteeState era → Bool Source # max ∷ CommitteeState era → CommitteeState era → CommitteeState era Source # min ∷ CommitteeState era → CommitteeState era → CommitteeState era Source #
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.16.0.0-inplace" 'True) (C1 ('MetaCons "CommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))))))
type Share (CommitteeState era) Source #
Instance details Defined in Cardano.Ledger.CertState type Share (CommitteeState era) = ()

authorizedHotCommitteeCredentials ∷ CommitteeState era → Set (Credential 'HotCommitteeRole (EraCrypto era)) 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 ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AnchorData → SafeHash c index Source #
Eq AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ AnchorData → AnchorData → Bool Source # (/=) ∷ AnchorData → AnchorData → Bool Source #
HashWithCrypto AnchorData AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods hashWithCrypto ∷ HashAlgorithm (HASH c) ⇒ Proxy c → AnchorData → SafeHash c AnchorData Source #

lookupDepositDState ∷ DState era → StakeCredential (EraCrypto era) → Maybe Coin Source #

Function that looks up the deposit for currently delegated staking credential

lookupRewardDState ∷ DState era → StakeCredential (EraCrypto era) → Maybe Coin Source #

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

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

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

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

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

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

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

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

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