Safe Haskell	None
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 #

Typeable era ⇒ DecShareCBOR (ShelleyAccounts era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

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

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 → () #

Generic (ShelleyAccounts era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

type Rep (ShelleyAccounts era)

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)))))

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 #

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

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 #

Typeable era ⇒ DecShareCBOR (ShelleyAccountState era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

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

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 → () #

Generic (ShelleyAccountState era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Account

Associated Types

type Rep (ShelleyAccountState era)

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))))))

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 #

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

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.

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

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 #

EraAccounts era ⇒ DecShareCBOR (ShelleyCertState era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

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

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 → () #

Generic (ShelleyCertState era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.CertState

Associated Types

type Rep (ShelleyCertState era)

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))))

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 #

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

shelleyCertDStateL ∷ ∀ era f. Functor f ⇒ (DState era → f (DState era)) → ShelleyCertState era → f (ShelleyCertState era) Source #

shelleyCertPStateL ∷ ∀ era f. Functor f ⇒ (PState era → f (PState era)) → ShelleyCertState era → f (ShelleyCertState era) Source #

shelleyObligationCertState ∷ EraCertState era ⇒ CertState era → Obligations Source #

shelleyCertsTotalDepositsTxBody ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ PParams era → ShelleyCertState era → TxBody t era → Coin Source #

shelleyCertsTotalRefundsTxBody ∷ ∀ era (t ∷ TxLevel). (EraTxBody era, EraAccounts era) ⇒ PParams era → ShelleyCertState era → TxBody t 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 #

DecShareCBOR (ShelleyInstantStake era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.State.Stake

Associated Types

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