Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.State

Documentation

module Cardano.Ledger.State

data ShelleyCertState era Source #

Constructors

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

Instances

Instances details

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 (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 #
Era 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 #
Era era ⇒ EncCBOR (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods encCBOR ∷ ShelleyCertState era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyCertState era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyCertState era] → Size Source #
ToKeyValuePairs (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyCertState era → [kv] Source #
Default (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods def ∷ ShelleyCertState era Source #
Era era ⇒ NFData (ShelleyCertState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.CertState Methods rnf ∷ ShelleyCertState 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 (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.17.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 ⇒ 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 #
Typeable era ⇒ EncCBOR (ShelleyInstantStake era) Source #
Instance details Defined in Cardano.Ledger.Shelley.State.Stake Methods encCBOR ∷ ShelleyInstantStake era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyInstantStake era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyInstantStake era] → Size 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.17.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 ∷ (EraStake era, InstantStake era ~ ShelleyInstantStake era) ⇒ ShelleyInstantStake era → UMap → Stake Source #