Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.State

Documentation

module Cardano.Ledger.State

data ShelleyAccounts era Source #

Constructors

ShelleyAccounts
Fields saStates ∷ !(Map (Credential 'Staking) (ShelleyAccountState era)) Map from a staking credential to the account state. saPtrs ∷ !(Map Ptr (Credential 'Staking)) A Map from a pointer, to the staking credential. Pointer points to the certificate which registered the staking credential.

Instances

Instances details

ToJSON (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods toJSON ∷ ShelleyAccounts era → Value Source # toEncoding ∷ ShelleyAccounts era → Encoding Source # toJSONList ∷ [ShelleyAccounts era] → Value Source # toEncodingList ∷ [ShelleyAccounts era] → Encoding Source # omitField ∷ ShelleyAccounts era → Bool Source #
Generic (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Associated Types type Rep (ShelleyAccounts era) ∷ Type → Type # Methods from ∷ ShelleyAccounts era → Rep (ShelleyAccounts era) x # to ∷ Rep (ShelleyAccounts era) x → ShelleyAccounts era #
Show (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods showsPrec ∷ Int → ShelleyAccounts era → ShowS # show ∷ ShelleyAccounts era → String # showList ∷ [ShelleyAccounts era] → ShowS #
Typeable era ⇒ DecShareCBOR (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Associated Types type Share (ShelleyAccounts era) Source # Methods getShare ∷ ShelleyAccounts era → Share (ShelleyAccounts era) Source # decShareCBOR ∷ Share (ShelleyAccounts era) → Decoder s (ShelleyAccounts era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyAccounts era)) (Decoder s) (ShelleyAccounts era) Source #
EncCBOR (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods encCBOR ∷ ShelleyAccounts era → Encoding Source #
ToKeyValuePairs (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyAccounts era → [kv] Source #
Default (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods def ∷ ShelleyAccounts era Source #
NFData (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods rnf ∷ ShelleyAccounts era → () #
Eq (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods (==) ∷ ShelleyAccounts era → ShelleyAccounts era → Bool # (/=) ∷ ShelleyAccounts era → ShelleyAccounts era → Bool #
NoThunks (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account Methods noThunks ∷ Context → ShelleyAccounts era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyAccounts era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyAccounts era) → String Source #
type Rep (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account type Rep (ShelleyAccounts era) = D1 ('MetaData "ShelleyAccounts" "Cardano.Ledger.Shelley.State.Account" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyAccounts" 'PrefixI 'True) (S1 ('MetaSel ('Just "saStates") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (ShelleyAccountState era))) :*: S1 ('MetaSel ('Just "saPtrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Ptr (Credential 'Staking)))))
type Share (ShelleyAccounts era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Account type Share (ShelleyAccounts era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole))

data ShelleyAccountState era Source #

Constructors

ShelleyAccountState
Fields sasPtr ∷ !Ptr Pointer to the certificate in which the stake credential was registered in. sasBalance ∷ !(CompactForm Coin) Current balance of the account sasDeposit ∷ !(CompactForm Coin) Deposit amount that was left when staking credential was registered sasStakePoolDelegation ∷ !(StrictMaybe (KeyHash 'StakePool)) Potential delegation to a stake pool

Instances

Instances details

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

class EraAccounts era ⇒ ShelleyEraAccounts era where Source #

Minimal complete definition

Nothing

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState era Source #

default mkShelleyAccountState ∷ AccountState era ~ ShelleyAccountState era ⇒ Ptr → CompactForm Coin → AccountState era Source #

accountsPtrsMapG ∷ SimpleGetter (Accounts era) (Map Ptr (Credential 'Staking)) Source #

Get the map with all of the pointers and their respective credentials.

ptrAccountStateG ∷ SimpleGetter (AccountState era) Ptr Source #

This is a getter for a Ptr. It is not a full lens, because it is not only unsafe to modify a pointer for an existing AccountState due to violation of an invariant in the ShelleyAccounts, but also because once account is registered pointer cannot change. Pointer describes unique point on chain when registration has occured, which means it can't change.

default ptrAccountStateG ∷ AccountState era ~ ShelleyAccountState era ⇒ SimpleGetter (AccountState era) Ptr Source #

Instances

Instances details

ShelleyEraAccounts ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState ShelleyEra Source #

accountsPtrsMapL ∷ Lens' (Accounts ShelleyEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts ShelleyEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState ShelleyEra) Ptr Source #

shelleyAddAccountState ∷ ShelleyEraAccounts era ⇒ Credential Staking → AccountState era → Accounts era → Accounts era Source #

registerShelleyAccount Source #

Arguments

∷ ShelleyEraAccounts era
⇒ Credential 'Staking
→ Ptr	Pointer to the certificate that registered the credential
→ CompactForm Coin	Deposit
→ Maybe (KeyHash 'StakePool)
→ Accounts era
→ Accounts era

unregisterShelleyAccount Source #

Arguments

∷ ShelleyEraAccounts 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.

data ShelleyCertState era Source #

Constructors

ShelleyCertState
Fields shelleyCertPState ∷ !(PState era) shelleyCertDState ∷ !(DState era)

Instances

Instances details

ToJSON (Accounts era) ⇒ ToJSON (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods toJSON ∷ ShelleyCertState era → Value Source # toEncoding ∷ ShelleyCertState era → Encoding Source # toJSONList ∷ [ShelleyCertState era] → Value Source # toEncodingList ∷ [ShelleyCertState era] → Encoding Source # omitField ∷ ShelleyCertState era → Bool Source #
Generic (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Associated Types type Rep (ShelleyCertState era) ∷ Type → Type # Methods from ∷ ShelleyCertState era → Rep (ShelleyCertState era) x # to ∷ Rep (ShelleyCertState era) x → ShelleyCertState era #
Show (Accounts era) ⇒ Show (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods showsPrec ∷ Int → ShelleyCertState era → ShowS # show ∷ ShelleyCertState era → String # showList ∷ [ShelleyCertState era] → ShowS #
EraAccounts era ⇒ DecShareCBOR (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Associated Types type Share (ShelleyCertState era) Source # Methods getShare ∷ ShelleyCertState era → Share (ShelleyCertState era) Source # decShareCBOR ∷ Share (ShelleyCertState era) → Decoder s (ShelleyCertState era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyCertState era)) (Decoder s) (ShelleyCertState era) Source #
EraAccounts era ⇒ EncCBOR (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods encCBOR ∷ ShelleyCertState era → Encoding Source #
ToJSON (Accounts era) ⇒ ToKeyValuePairs (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyCertState era → [kv] Source #
Default (Accounts era) ⇒ Default (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods def ∷ ShelleyCertState era Source #
(Era era, NFData (Accounts era)) ⇒ NFData (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods rnf ∷ ShelleyCertState era → () #
Eq (Accounts era) ⇒ Eq (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods (==) ∷ ShelleyCertState era → ShelleyCertState era → Bool # (/=) ∷ ShelleyCertState era → ShelleyCertState era → Bool #
(Era era, NoThunks (Accounts era)) ⇒ NoThunks (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods noThunks ∷ Context → ShelleyCertState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyCertState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyCertState era) → String Source #
type Rep (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState type Rep (ShelleyCertState era) = D1 ('MetaData "ShelleyCertState" "Cardano.Ledger.Shelley.State.CertState" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyCertPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :*: S1 ('MetaSel ('Just "shelleyCertDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era))))
type Share (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState type Share (ShelleyCertState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

mkShelleyCertState ∷ EraCertState era ⇒ PState era → DState era → CertState era Source #

shelleyCertDStateL ∷ Lens' (ShelleyCertState era) (DState era) Source #

shelleyCertPStateL ∷ Lens' (ShelleyCertState era) (PState era) Source #

shelleyObligationCertState ∷ EraCertState era ⇒ CertState era → Obligations Source #

shelleyCertsTotalDepositsTxBody ∷ EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #

shelleyCertsTotalRefundsTxBody ∷ (EraTxBody era, EraAccounts era) ⇒ PParams era → ShelleyCertState era → TxBody era → Coin Source #

data ShelleyInstantStake era Source #

Constructors

ShelleyInstantStake
Fields sisCredentialStake ∷ !(Map (Credential 'Staking) (CompactForm Coin)) sisPtrStake ∷ !(Map Ptr (CompactForm Coin))

Instances

Instances details

ToJSON (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods toJSON ∷ ShelleyInstantStake era → Value Source # toEncoding ∷ ShelleyInstantStake era → Encoding Source # toJSONList ∷ [ShelleyInstantStake era] → Value Source # toEncodingList ∷ [ShelleyInstantStake era] → Encoding Source # omitField ∷ ShelleyInstantStake era → Bool Source #
Monoid (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods mempty ∷ ShelleyInstantStake era # mappend ∷ ShelleyInstantStake era → ShelleyInstantStake era → ShelleyInstantStake era # mconcat ∷ [ShelleyInstantStake era] → ShelleyInstantStake era #
Semigroup (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods (<>) ∷ ShelleyInstantStake era → ShelleyInstantStake era → ShelleyInstantStake era # sconcat ∷ NonEmpty (ShelleyInstantStake era) → ShelleyInstantStake era # stimes ∷ Integral b ⇒ b → ShelleyInstantStake era → ShelleyInstantStake era #
Generic (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Associated Types type Rep (ShelleyInstantStake era) ∷ Type → Type # Methods from ∷ ShelleyInstantStake era → Rep (ShelleyInstantStake era) x # to ∷ Rep (ShelleyInstantStake era) x → ShelleyInstantStake era #
Show (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods showsPrec ∷ Int → ShelleyInstantStake era → ShowS # show ∷ ShelleyInstantStake era → String # showList ∷ [ShelleyInstantStake era] → ShowS #
DecShareCBOR (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Associated Types type Share (ShelleyInstantStake era) Source # Methods getShare ∷ ShelleyInstantStake era → Share (ShelleyInstantStake era) Source # decShareCBOR ∷ Share (ShelleyInstantStake era) → Decoder s (ShelleyInstantStake era) Source # decSharePlusCBOR ∷ StateT (Share (ShelleyInstantStake era)) (Decoder s) (ShelleyInstantStake era) Source #
EncCBOR (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods encCBOR ∷ ShelleyInstantStake era → Encoding Source #
ToKeyValuePairs (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyInstantStake era → [kv] Source #
Default (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods def ∷ ShelleyInstantStake era Source #
NFData (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods rnf ∷ ShelleyInstantStake era → () #
Eq (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods (==) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool # (/=) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool #
Ord (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods compare ∷ ShelleyInstantStake era → ShelleyInstantStake era → Ordering # (<) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool # (<=) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool # (>) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool # (>=) ∷ ShelleyInstantStake era → ShelleyInstantStake era → Bool # max ∷ ShelleyInstantStake era → ShelleyInstantStake era → ShelleyInstantStake era # min ∷ ShelleyInstantStake era → ShelleyInstantStake era → ShelleyInstantStake era #
NoThunks (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods noThunks ∷ Context → ShelleyInstantStake era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyInstantStake era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyInstantStake era) → String Source #
type Rep (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake type Rep (ShelleyInstantStake era) = D1 ('MetaData "ShelleyInstantStake" "Cardano.Ledger.Shelley.State.Stake" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyInstantStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "sisCredentialStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "sisPtrStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Ptr (CompactForm Coin)))))
type Share (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake type Share (ShelleyInstantStake era) = Interns (Credential 'Staking)

shelleyInstantStakeCredentialsL ∷ Lens' (ShelleyInstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addShelleyInstantStake ∷ EraTxOut era ⇒ UTxO era → ShelleyInstantStake era → ShelleyInstantStake era Source #

deleteShelleyInstantStake ∷ EraTxOut era ⇒ UTxO era → ShelleyInstantStake era → ShelleyInstantStake era Source #

resolveShelleyInstantStake ∷ ∀ era. (EraStake era, InstantStake era ~ ShelleyInstantStake era, AccountState era ~ ShelleyAccountState era, Accounts era ~ ShelleyAccounts era) ⇒ ShelleyInstantStake era → ShelleyAccounts era → Stake Source #