Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.State

Synopsis

module Cardano.Ledger.Babbage.State
data ConwayCertState era = ConwayCertState {
- conwayCertVState ∷ !(VState era)
- conwayCertPState ∷ !(PState era)
- conwayCertDState ∷ !(DState era)
}
class EraCertState era ⇒ ConwayEraCertState era where
- certVStateL ∷ Lens' (CertState era) (VState era)
csCommitteeCredsL ∷ Lens' (CommitteeState era) (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization)
epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState)
mkConwayCertState ∷ ConwayEraCertState era ⇒ VState era → PState era → DState era → CertState era
conwayCertDStateL ∷ Lens' (ConwayCertState era) (DState era)
conwayCertPStateL ∷ Lens' (ConwayCertState era) (PState era)
conwayCertVStateL ∷ Lens' (ConwayCertState era) (VState era)
conwayObligationCertState ∷ ConwayEraCertState era ⇒ CertState era → Obligations
conwayCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin
conwayCertsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin
newtype ConwayInstantStake era = ConwayInstantStake {
- cisCredentialStake ∷ Map (Credential 'Staking) (CompactForm Coin)
}
conwayInstantStakeCredentialsL ∷ Lens' (ConwayInstantStake era) (Map (Credential 'Staking) (CompactForm Coin))
addConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era
deleteConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era
resolveConwayInstantStake ∷ (EraStake era, InstantStake era ~ ConwayInstantStake era) ⇒ ConwayInstantStake era → UMap → Stake
data VState era = VState {
- vsDReps ∷ !(Map (Credential 'DRepRole) DRepState)
- vsCommitteeState ∷ !(CommitteeState era)
- vsNumDormantEpochs ∷ !EpochNo
}
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
lookupDepositVState ∷ VState era → Credential 'DRepRole → Maybe Coin

Documentation

module Cardano.Ledger.Babbage.State

data ConwayCertState era Source #

Constructors

ConwayCertState
Fields conwayCertVState ∷ !(VState era) conwayCertPState ∷ !(PState era) conwayCertDState ∷ !(DState era)

Instances

Instances details

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

class EraCertState era ⇒ ConwayEraCertState era where Source #

Methods

certVStateL ∷ Lens' (CertState era) (VState era) Source #

Instances

Instances details

ConwayEraCertState ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.CertState Methods certVStateL ∷ Lens' (CertState ConwayEra) (VState ConwayEra) Source #

csCommitteeCredsL ∷ Lens' (CommitteeState era) (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization) Source #

epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState) Source #

mkConwayCertState ∷ ConwayEraCertState era ⇒ VState era → PState era → DState era → CertState era Source #

conwayCertDStateL ∷ Lens' (ConwayCertState era) (DState era) Source #

conwayCertPStateL ∷ Lens' (ConwayCertState era) (PState era) Source #

conwayCertVStateL ∷ Lens' (ConwayCertState era) (VState era) Source #

conwayObligationCertState ∷ ConwayEraCertState era ⇒ CertState era → Obligations Source #

conwayCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin Source #

conwayCertsTotalRefundsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody era → Coin Source #

newtype ConwayInstantStake era Source #

Constructors

ConwayInstantStake
Fields cisCredentialStake ∷ Map (Credential 'Staking) (CompactForm Coin)

Instances

Instances details

ToJSON (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods toJSON ∷ ConwayInstantStake era → Value Source # toEncoding ∷ ConwayInstantStake era → Encoding Source # toJSONList ∷ [ConwayInstantStake era] → Value Source # toEncodingList ∷ [ConwayInstantStake era] → Encoding Source # omitField ∷ ConwayInstantStake era → Bool Source #
Monoid (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods mempty ∷ ConwayInstantStake era # mappend ∷ ConwayInstantStake era → ConwayInstantStake era → ConwayInstantStake era # mconcat ∷ [ConwayInstantStake era] → ConwayInstantStake era #
Semigroup (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods (<>) ∷ ConwayInstantStake era → ConwayInstantStake era → ConwayInstantStake era # sconcat ∷ NonEmpty (ConwayInstantStake era) → ConwayInstantStake era # stimes ∷ Integral b ⇒ b → ConwayInstantStake era → ConwayInstantStake era #
Generic (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Associated Types type Rep (ConwayInstantStake era) ∷ Type → Type # Methods from ∷ ConwayInstantStake era → Rep (ConwayInstantStake era) x # to ∷ Rep (ConwayInstantStake era) x → ConwayInstantStake era #
Show (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods showsPrec ∷ Int → ConwayInstantStake era → ShowS # show ∷ ConwayInstantStake era → String # showList ∷ [ConwayInstantStake era] → ShowS #
DecShareCBOR (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Associated Types type Share (ConwayInstantStake era) Source # Methods getShare ∷ ConwayInstantStake era → Share (ConwayInstantStake era) Source # decShareCBOR ∷ Share (ConwayInstantStake era) → Decoder s (ConwayInstantStake era) Source # decSharePlusCBOR ∷ StateT (Share (ConwayInstantStake era)) (Decoder s) (ConwayInstantStake era) Source #
Typeable era ⇒ EncCBOR (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods encCBOR ∷ ConwayInstantStake era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayInstantStake era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayInstantStake era] → Size Source #
Default (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods def ∷ ConwayInstantStake era Source #
NFData (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods rnf ∷ ConwayInstantStake era → () #
Eq (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods (==) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool # (/=) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool #
Ord (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods compare ∷ ConwayInstantStake era → ConwayInstantStake era → Ordering # (<) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool # (<=) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool # (>) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool # (>=) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool # max ∷ ConwayInstantStake era → ConwayInstantStake era → ConwayInstantStake era # min ∷ ConwayInstantStake era → ConwayInstantStake era → ConwayInstantStake era #
NoThunks (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods noThunks ∷ Context → ConwayInstantStake era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayInstantStake era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayInstantStake era) → String Source #
type Rep (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake type Rep (ConwayInstantStake era) = D1 ('MetaData "ConwayInstantStake" "Cardano.Ledger.Conway.State.Stake" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "ConwayInstantStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "cisCredentialStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (CompactForm Coin)))))
type Share (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake type Share (ConwayInstantStake era) = Interns (Credential 'Staking)

conwayInstantStakeCredentialsL ∷ Lens' (ConwayInstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era Source #

deleteConwayInstantStake ∷ EraTxOut era ⇒ UTxO era → ConwayInstantStake era → ConwayInstantStake era Source #

resolveConwayInstantStake ∷ (EraStake era, InstantStake era ~ ConwayInstantStake era) ⇒ ConwayInstantStake era → UMap → Stake Source #

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

ToJSON (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState Methods toJSON ∷ VState era → Value Source # toEncoding ∷ VState era → Encoding Source # toJSONList ∷ [VState era] → Value Source # toEncodingList ∷ [VState era] → Encoding Source # omitField ∷ VState era → Bool Source #
Generic (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState 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.Conway.State.VState 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.Conway.State.VState 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.Conway.State.VState 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.Conway.State.VState 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.Conway.State.VState Methods def ∷ VState era Source #
NFData (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState Methods rnf ∷ VState era → () #
Eq (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState Methods (==) ∷ VState era → VState era → Bool # (/=) ∷ VState era → VState era → Bool #
NoThunks (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState 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.Conway.State.VState type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.Conway.State.VState" "cardano-ledger-conway-1.20.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.Conway.State.VState type Share (VState era) = (Interns (Credential 'Staking), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

vsDRepsL ∷ Lens' (VState era) (Map (Credential 'DRepRole) DRepState) Source #

vsCommitteeStateL ∷ Lens' (VState era) (CommitteeState era) Source #

vsNumDormantEpochsL ∷ Lens' (VState era) EpochNo Source #

vsActualDRepExpiry ∷ Credential 'DRepRole → VState era → Maybe EpochNo Source #

lookupDepositVState ∷ VState era → Credential 'DRepRole → Maybe Coin Source #

Function that looks up the deposit for currently registered DRep