Documentation

Methods

encCBOR ∷ ConwayAccountState era → Encoding Source #

ToKeyValuePairs (ConwayAccountState era) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayAccountState era → [kv] Source #

NFData (ConwayAccountState era) Source #

Instance details

Methods

rnf ∷ ConwayAccountState era → () #

Generic (ConwayAccountState era) Source #

Instance details

Associated Types

type Rep (ConwayAccountState era)

Instance details

Methods

from ∷ ConwayAccountState era → Rep (ConwayAccountState era) x #

to ∷ Rep (ConwayAccountState era) x → ConwayAccountState era #

Show (ConwayAccountState era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayAccountState era → ShowS #

show ∷ ConwayAccountState era → String #

showList ∷ [ConwayAccountState era] → ShowS #

Eq (ConwayAccountState era) Source #

Instance details

Methods

(==) ∷ ConwayAccountState era → ConwayAccountState era → Bool #

(/=) ∷ ConwayAccountState era → ConwayAccountState era → Bool #

NoThunks (ConwayAccountState era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayAccountState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayAccountState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayAccountState era) → String Source #

type Share (ConwayAccountState era) Source #

type Rep (ConwayAccountState era) Source #

Instance details

balanceConwayAccountStateL ∷ ∀ era f. Functor f ⇒ (CompactForm Coin → f (CompactForm Coin)) → ConwayAccountState era → f (ConwayAccountState era) Source #

depositConwayAccountStateL ∷ ∀ era f. Functor f ⇒ (CompactForm Coin → f (CompactForm Coin)) → ConwayAccountState era → f (ConwayAccountState era) Source #

stakePoolDelegationConwayAccountStateL ∷ ∀ era f. Functor f ⇒ (Maybe (KeyHash 'StakePool) → f (Maybe (KeyHash 'StakePool))) → ConwayAccountState era → f (ConwayAccountState era) Source #

dRepDelegationConwayAccountStateL ∷ ∀ era f. Functor f ⇒ (Maybe DRep → f (Maybe DRep)) → ConwayAccountState era → f (ConwayAccountState era) Source #

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

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 #

Typeable era ⇒ DecShareCBOR (ConwayAccounts era) Source #

Instance details

Associated Types

type Share (ConwayAccounts era)
Instance details Defined in Cardano.Ledger.Conway.State.Account type Share (ConwayAccounts era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole))

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 #

EncCBOR (ConwayAccounts era) Source #

Instance details

Methods

encCBOR ∷ ConwayAccounts era → Encoding Source #

Default (ConwayAccounts era) Source #

Instance details

Methods

def ∷ ConwayAccounts era Source #

NFData (ConwayAccounts era) Source #

Instance details

Methods

rnf ∷ ConwayAccounts era → () #

Generic (ConwayAccounts era) Source #

Instance details

Associated Types

type Rep (ConwayAccounts era)

Instance details

type Rep (ConwayAccounts era) = D1 ('MetaData "ConwayAccounts" "Cardano.Ledger.Conway.State.Account" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "ConwayAccounts" 'PrefixI 'True) (S1 ('MetaSel ('Just "caStates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (ConwayAccountState era)))))

Methods

from ∷ ConwayAccounts era → Rep (ConwayAccounts era) x #

to ∷ Rep (ConwayAccounts era) x → ConwayAccounts era #

Show (ConwayAccounts era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayAccounts era → ShowS #

show ∷ ConwayAccounts era → String #

showList ∷ [ConwayAccounts era] → ShowS #

Eq (ConwayAccounts era) Source #

Instance details

Methods

(==) ∷ ConwayAccounts era → ConwayAccounts era → Bool #

(/=) ∷ ConwayAccounts era → ConwayAccounts era → Bool #

NoThunks (ConwayAccounts era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayAccounts era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayAccounts era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayAccounts era) → String Source #

type Share (ConwayAccounts era) Source #

type Rep (ConwayAccounts era) Source #

Instance details

dRepDelegationAccountStateL

type Rep (ConwayAccounts era) = D1 ('MetaData "ConwayAccounts" "Cardano.Ledger.Conway.State.Account" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "ConwayAccounts" 'PrefixI 'True) (S1 ('MetaSel ('Just "caStates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (ConwayAccountState era)))))

class EraAccounts era ⇒ ConwayEraAccounts era where Source #

Minimal complete definition

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 #

epochStateRegDrepL ∷ ConwayEraCertState era ⇒ Lens' (EpochState era) (Map (Credential 'DRepRole) DRepState) 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

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 #

EraAccounts era ⇒ DecShareCBOR (ConwayCertState era) Source #

Instance details

Associated Types

type Share (ConwayCertState era)
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))

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

Methods

encCBOR ∷ ConwayCertState era → Encoding Source #

ToJSON (Accounts era) ⇒ ToKeyValuePairs (ConwayCertState era) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayCertState era → [kv] Source #

Default (Accounts era) ⇒ Default (ConwayCertState era) Source #

Instance details

Methods

def ∷ ConwayCertState era Source #

(Era era, NFData (Accounts era)) ⇒ NFData (ConwayCertState era) Source #

Instance details

Methods

rnf ∷ ConwayCertState era → () #

Generic (ConwayCertState era) Source #

Instance details

Associated Types

type Rep (ConwayCertState era)

Instance details

type Rep (ConwayCertState era) = D1 ('MetaData "ConwayCertState" "Cardano.Ledger.Conway.State.CertState" "cardano-ledger-conway-1.24.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)))))

Methods

from ∷ ConwayCertState era → Rep (ConwayCertState era) x #

to ∷ Rep (ConwayCertState era) x → ConwayCertState era #

Show (Accounts era) ⇒ Show (ConwayCertState era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayCertState era → ShowS #

show ∷ ConwayCertState era → String #

showList ∷ [ConwayCertState era] → ShowS #

Eq (Accounts era) ⇒ Eq (ConwayCertState era) Source #

Instance details

Methods

(==) ∷ ConwayCertState era → ConwayCertState era → Bool #

(/=) ∷ ConwayCertState era → ConwayCertState era → Bool #

(Era era, NoThunks (Accounts era)) ⇒ NoThunks (ConwayCertState era) Source #

Instance details

Methods

noThunks ∷ Context → ConwayCertState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayCertState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayCertState era) → String Source #

type Share (ConwayCertState era) Source #

type Rep (ConwayCertState era) Source #

Instance details

type Rep (ConwayCertState era) = D1 ('MetaData "ConwayCertState" "Cardano.Ledger.Conway.State.CertState" "cardano-ledger-conway-1.24.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)))))

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 ∷ ∀ era f. Functor f ⇒ (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization → f (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization)) → CommitteeState era → f (CommitteeState era) Source #

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

conwayCertDStateL ∷ ∀ era f. Functor f ⇒ (DState era → f (DState era)) → ConwayCertState era → f (ConwayCertState era) Source #

conwayCertPStateL ∷ ∀ era f. Functor f ⇒ (PState era → f (PState era)) → ConwayCertState era → f (ConwayCertState era) Source #

conwayCertVStateL ∷ ∀ era f. Functor f ⇒ (VState era → f (VState era)) → ConwayCertState era → f (ConwayCertState era) Source #

conwayObligationCertState ∷ ConwayEraCertState era ⇒ CertState era → Obligations Source #

conwayCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ConwayCertState era → TxBody 'TopTx 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

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 #

DecShareCBOR (ConwayInstantStake era) Source #

Instance details

Associated Types

type Share (ConwayInstantStake era)
Instance details Defined in Cardano.Ledger.Conway.State.Stake type Share (ConwayInstantStake era) = Interns (Credential 'Staking)

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 #

EncCBOR (ConwayInstantStake era) Source #

Instance details

Methods

encCBOR ∷ ConwayInstantStake era → Encoding Source #

ToKeyValuePairs (ConwayInstantStake era) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayInstantStake era → [kv] Source #

Default (ConwayInstantStake era) Source #

Instance details

Methods

def ∷ ConwayInstantStake era Source #

NFData (ConwayInstantStake era) Source #

Instance details

Methods

rnf ∷ ConwayInstantStake era → () #

Monoid (ConwayInstantStake era) Source #

Instance details

Methods

mempty ∷ ConwayInstantStake era #

mappend ∷ ConwayInstantStake era → ConwayInstantStake era → ConwayInstantStake era #

mconcat ∷ [ConwayInstantStake era] → ConwayInstantStake era #

Semigroup (ConwayInstantStake era) Source #

Instance details

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

Associated Types

type Rep (ConwayInstantStake era)

Instance details

type Rep (ConwayInstantStake era) = D1 ('MetaData "ConwayInstantStake" "Cardano.Ledger.Conway.State.Stake" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "ConwayInstantStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "cisCredentialStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (CompactForm Coin)))))

Methods

from ∷ ConwayInstantStake era → Rep (ConwayInstantStake era) x #

to ∷ Rep (ConwayInstantStake era) x → ConwayInstantStake era #

Show (ConwayInstantStake era) Source #

Instance details

Methods

showsPrec ∷ Int → ConwayInstantStake era → ShowS #

show ∷ ConwayInstantStake era → String #

showList ∷ [ConwayInstantStake era] → ShowS #

Eq (ConwayInstantStake era) Source #

Instance details

Methods

(==) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool #

(/=) ∷ ConwayInstantStake era → ConwayInstantStake era → Bool #

Ord (ConwayInstantStake era) Source #

Instance details

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

Methods

noThunks ∷ Context → ConwayInstantStake era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayInstantStake era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayInstantStake era) → String Source #

type Share (ConwayInstantStake era) Source #

type Rep (ConwayInstantStake era) Source #

Instance details

type Rep (ConwayInstantStake era) = D1 ('MetaData "ConwayInstantStake" "Cardano.Ledger.Conway.State.Stake" "cardano-ledger-conway-1.24.0.0-inplace" 'True) (C1 ('MetaCons "ConwayInstantStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "cisCredentialStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (CompactForm Coin)))))

conwayInstantStakeCredentialsL ∷ ∀ era f. Functor f ⇒ (Map (Credential 'Staking) (CompactForm Coin) → f (Map (Credential 'Staking) (CompactForm Coin))) → ConwayInstantStake era → f (ConwayInstantStake era) 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 → ActiveStake 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

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 #

Era era ⇒ DecCBOR (VState era) Source #

Instance details

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

Associated Types

type Share (VState era)
Instance details Defined in Cardano.Ledger.Conway.State.VState type Share (VState era) = (Interns (Credential 'Staking), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

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

Methods

encCBOR ∷ VState era → Encoding Source #

ToKeyValuePairs (VState era) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ VState era → [kv] Source #

Default (VState era) Source #

Instance details

Methods

def ∷ VState era Source #

NFData (VState era) Source #

Instance details

Methods

rnf ∷ VState era → () #

Generic (VState era) Source #

Instance details

Associated Types

type Rep (VState era)

Instance details

type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.Conway.State.VState" "cardano-ledger-conway-1.24.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))))

Methods

from ∷ VState era → Rep (VState era) x #

to ∷ Rep (VState era) x → VState era #

Show (VState era) Source #

Instance details

Methods

showsPrec ∷ Int → VState era → ShowS #

show ∷ VState era → String #

showList ∷ [VState era] → ShowS #

Eq (VState era) Source #

Instance details

Methods

(==) ∷ VState era → VState era → Bool #

(/=) ∷ VState era → VState era → Bool #

NoThunks (VState era) Source #

Instance details

Methods

noThunks ∷ Context → VState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VState era) → String Source #

type Share (VState era) Source #

type Rep (VState era) Source #

Instance details