Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.State

Synopsis

module Cardano.Ledger.Babbage.State
data ConwayAccountState era = ConwayAccountState {
- casBalance ∷ !(CompactForm Coin)
- casDeposit ∷ !(CompactForm Coin)
- casStakePoolDelegation ∷ !(StrictMaybe (KeyHash 'StakePool))
- casDRepDelegation ∷ !(StrictMaybe DRep)
}
newtype ConwayAccounts era = ConwayAccounts {
- caStates ∷ Map (Credential 'Staking) (ConwayAccountState era)
}
class EraAccounts era ⇒ ConwayEraAccounts era where
- mkConwayAccountState ∷ CompactForm Coin → AccountState era
- dRepDelegationAccountStateL ∷ Lens' (AccountState era) (Maybe DRep)
accountStateDelegatee ∷ ConwayEraAccounts era ⇒ AccountState era → Maybe Delegatee
registerConwayAccount ∷ ConwayEraAccounts era ⇒ Credential 'Staking → CompactForm Coin → Maybe Delegatee → Accounts era → Accounts era
unregisterConwayAccount ∷ EraAccounts era ⇒ Credential 'Staking → Accounts era → (Maybe (AccountState era), Accounts era)
lookupDRepDelegation ∷ ConwayEraAccounts era ⇒ Credential 'Staking → Accounts era → Maybe DRep
data ConwayCertState era = ConwayCertState {
- conwayCertVState ∷ !(VState era)
- conwayCertPState ∷ !(PState era)
- conwayCertDState ∷ !(DState era)
}
class (EraCertState era, ConwayEraAccounts 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, EraAccounts 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 → Accounts era → 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 ConwayAccountState era Source #

Constructors

ConwayAccountState
Fields casBalance ∷ !(CompactForm Coin) Current balance of the account casDeposit ∷ !(CompactForm Coin) Deposit amount that was left when staking credential was registered casStakePoolDelegation ∷ !(StrictMaybe (KeyHash 'StakePool)) Potential delegation to a stake pool casDRepDelegation ∷ !(StrictMaybe DRep) Potential delegation to a DRep

Instances

Instances details

ToJSON (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods toJSON ∷ ConwayAccountState era → Value Source # toEncoding ∷ ConwayAccountState era → Encoding Source # toJSONList ∷ [ConwayAccountState era] → Value Source # toEncodingList ∷ [ConwayAccountState era] → Encoding Source # omitField ∷ ConwayAccountState era → Bool Source #
Generic (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Associated Types type Rep (ConwayAccountState era) ∷ Type → Type # Methods from ∷ ConwayAccountState era → Rep (ConwayAccountState era) x # to ∷ Rep (ConwayAccountState era) x → ConwayAccountState era #
Show (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods showsPrec ∷ Int → ConwayAccountState era → ShowS # show ∷ ConwayAccountState era → String # showList ∷ [ConwayAccountState era] → ShowS #
Typeable era ⇒ DecShareCBOR (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Associated Types type Share (ConwayAccountState era) Source # Methods getShare ∷ ConwayAccountState era → Share (ConwayAccountState era) Source # decShareCBOR ∷ Share (ConwayAccountState era) → Decoder s (ConwayAccountState era) Source # decSharePlusCBOR ∷ StateT (Share (ConwayAccountState era)) (Decoder s) (ConwayAccountState era) Source #
Typeable era ⇒ EncCBOR (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods encCBOR ∷ ConwayAccountState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayAccountState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayAccountState era] → Size Source #
ToKeyValuePairs (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayAccountState era → [kv] Source #
NFData (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods rnf ∷ ConwayAccountState era → () #
Eq (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods (==) ∷ ConwayAccountState era → ConwayAccountState era → Bool # (/=) ∷ ConwayAccountState era → ConwayAccountState era → Bool #
NoThunks (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods noThunks ∷ Context → ConwayAccountState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayAccountState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayAccountState era) → String Source #
type Rep (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account type Rep (ConwayAccountState era) = D1 ('MetaData "ConwayAccountState" "Cardano.Ledger.Conway.State.Account" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayAccountState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "casBalance") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :: S1 ('MetaSel ('Just "casDeposit") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin))) :: (S1 ('MetaSel ('Just "casStakePoolDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (KeyHash 'StakePool))) :*: S1 ('MetaSel ('Just "casDRepDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe DRep)))))
type Share (ConwayAccountState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account type Share (ConwayAccountState era) = (Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole))

newtype ConwayAccounts era Source #

Constructors

ConwayAccounts
Fields caStates ∷ Map (Credential 'Staking) (ConwayAccountState era) Map from a staking credential to the account state.

Instances

Instances details

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

class EraAccounts era ⇒ ConwayEraAccounts era where Source #

Minimal complete definition

dRepDelegationAccountStateL

Methods

mkConwayAccountState ∷ CompactForm Coin → AccountState era Source #

default mkConwayAccountState ∷ AccountState era ~ ConwayAccountState era ⇒ CompactForm Coin → AccountState era Source #

dRepDelegationAccountStateL ∷ Lens' (AccountState era) (Maybe DRep) Source #

Instances

Instances details

ConwayEraAccounts ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.State.Account Methods mkConwayAccountState ∷ CompactForm Coin → AccountState ConwayEra Source # dRepDelegationAccountStateL ∷ Lens' (AccountState ConwayEra) (Maybe DRep) Source #

accountStateDelegatee ∷ ConwayEraAccounts era ⇒ AccountState era → Maybe Delegatee Source #

registerConwayAccount Source #

Arguments

∷ ConwayEraAccounts era
⇒ Credential 'Staking
→ CompactForm Coin	Deposit
→ Maybe Delegatee
→ Accounts era
→ Accounts era

unregisterConwayAccount Source #

Arguments

∷ EraAccounts era
⇒ Credential 'Staking	Credential to unregister
→ Accounts era	`Accounts` to remove the account state from
→ (Maybe (AccountState era), Accounts era)	Returns `Just` whenever account was registered and `Nothing` otherwise. Produced `Accounts` will have the account state removed, if it was present there to begin with.

lookupDRepDelegation ∷ ConwayEraAccounts era ⇒ Credential 'Staking → Accounts era → Maybe DRep Source #

data ConwayCertState era Source #

Constructors

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

Instances

Instances details

ToJSON (Accounts era) ⇒ 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 (Accounts 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 #
EraAccounts 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 #
EraAccounts 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 #
ToJSON (Accounts era) ⇒ ToKeyValuePairs (ConwayCertState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayCertState era → [kv] Source #
Default (Accounts era) ⇒ Default (ConwayCertState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.CertState Methods def ∷ ConwayCertState era Source #
(Era era, NFData (Accounts era)) ⇒ NFData (ConwayCertState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.CertState Methods rnf ∷ ConwayCertState era → () #
Eq (Accounts 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 (Accounts 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, ConwayEraAccounts 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, EraAccounts 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 #
ToKeyValuePairs (ConwayInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.Stake Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayInstantStake era → [kv] 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 → Accounts era → 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 #
ToKeyValuePairs (VState era) Source #
Instance details Defined in Cardano.Ledger.Conway.State.VState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ VState era → [kv] 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