cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.CertState

Synopsis

Documentation

data CertState era Source #

The state associated with the DELPL rule, which combines the DELEG rule and the POOL rule.

Constructors

CertState 

Fields

Instances

Instances details
Era era ⇒ ToJSON (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (CertState era) ∷ TypeType Source #

Methods

fromCertState era → Rep (CertState era) x Source #

toRep (CertState era) x → CertState era Source #

Show (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntCertState era → ShowS Source #

showCertState era → String Source #

showList ∷ [CertState era] → ShowS Source #

Era era ⇒ DecShareCBOR (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (CertState era) Source #

Era era ⇒ EncCBOR (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORCertState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CertState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CertState era] → Size Source #

Default (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defCertState era Source #

Era era ⇒ NFData (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfCertState era → () Source #

Eq (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)CertState era → CertState era → Bool Source #

(/=)CertState era → CertState era → Bool Source #

Typeable (EraCrypto era) ⇒ NoThunks (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CertState era) = D1 ('MetaData "CertState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "CertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "certVState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VState era)) :*: (S1 ('MetaSel ('Just "certPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :*: S1 ('MetaSel ('Just "certDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era)))))
type Share (CertState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

data CommitteeAuthorization c Source #

Constructors

CommitteeHotCredential !(Credential 'HotCommitteeRole c)

Member authorized with a Hot credential acting on behalf of their Cold credential

CommitteeMemberResigned !(StrictMaybe (Anchor c))

Member resigned with a potential explanation in Anchor

Instances

Instances details
Crypto c ⇒ ToJSON (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (CommitteeAuthorization c) ∷ TypeType Source #

Show (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ DecCBOR (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ EncCBOR (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ NFData (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfCommitteeAuthorization c → () Source #

Eq (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CommitteeAuthorization c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CommitteeAuthorization c) = D1 ('MetaData "CommitteeAuthorization" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeHotCredential" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole c))) :+: C1 ('MetaCons "CommitteeMemberResigned" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c)))))

data DState era Source #

The state used by the DELEG rule, which roughly tracks stake delegation and some governance features.

Constructors

DState 

Fields

Instances

Instances details
Era era ⇒ ToJSON (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (DState era) ∷ TypeType Source #

Methods

fromDState era → Rep (DState era) x Source #

toRep (DState era) x → DState era Source #

Show (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntDState era → ShowS Source #

showDState era → String Source #

showList ∷ [DState era] → ShowS Source #

(Era era, DecShareCBOR (InstantaneousRewards (EraCrypto era))) ⇒ DecShareCBOR (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (DState era) Source #

Methods

getShareDState era → Share (DState era) Source #

decShareCBORShare (DState era) → Decoder s (DState era) Source #

decSharePlusCBORStateT (Share (DState era)) (Decoder s) (DState era) Source #

(Era era, EncCBOR (InstantaneousRewards (EraCrypto era))) ⇒ EncCBOR (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORDState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DState era] → Size Source #

Default (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defDState era Source #

NFData (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfDState era → () Source #

Eq (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)DState era → DState era → Bool Source #

(/=)DState era → DState era → Bool Source #

NoThunks (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UMap (EraCrypto era))) :*: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenDelegs (EraCrypto era))) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InstantaneousRewards (EraCrypto era))))))
type Share (DState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

data PState era Source #

The state used by the POOL rule, which tracks stake pool information.

Constructors

PState 

Fields

Instances

Instances details
Era era ⇒ ToJSON (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (PState era) ∷ TypeType Source #

Methods

fromPState era → Rep (PState era) x Source #

toRep (PState era) x → PState era Source #

Show (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntPState era → ShowS Source #

showPState era → String Source #

showList ∷ [PState era] → ShowS Source #

(Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

decCBORDecoder s (PState era) Source #

dropCBORProxy (PState era) → Decoder s () Source #

labelProxy (PState era) → Text Source #

Era era ⇒ DecShareCBOR (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (PState era) Source #

Methods

getSharePState era → Share (PState era) Source #

decShareCBORShare (PState era) → Decoder s (PState era) Source #

decSharePlusCBORStateT (Share (PState era)) (Decoder s) (PState era) Source #

Era era ⇒ EncCBOR (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORPState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PState era] → Size Source #

Default (PState c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defPState c Source #

NFData (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfPState era → () Source #

Eq (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)PState era → PState era → Bool Source #

(/=)PState era → PState era → Bool Source #

NoThunks (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))) :*: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) Coin)))))
type Share (PState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

data VState era Source #

The state that tracks the voting entities (DReps and Constitutional Committee members)

Constructors

VState 

Fields

  • vsDReps ∷ !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
     
  • vsCommitteeState ∷ !(CommitteeState era)
     
  • vsNumDormantEpochsEpochNo

    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
Generic (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (VState era) ∷ TypeType Source #

Methods

fromVState era → Rep (VState era) x Source #

toRep (VState era) x → VState era Source #

Show (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntVState era → ShowS Source #

showVState era → String Source #

showList ∷ [VState era] → ShowS Source #

Era era ⇒ DecCBOR (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

decCBORDecoder s (VState era) Source #

dropCBORProxy (VState era) → Decoder s () Source #

labelProxy (VState era) → Text Source #

Era era ⇒ DecShareCBOR (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (VState era) Source #

Methods

getShareVState era → Share (VState era) Source #

decShareCBORShare (VState era) → Decoder s (VState era) Source #

decSharePlusCBORStateT (Share (VState era)) (Decoder s) (VState era) Source #

Era era ⇒ EncCBOR (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORVState 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 #

Default (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defVState era Source #

Era era ⇒ NFData (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfVState era → () Source #

Eq (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

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

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

Typeable (EraCrypto era) ⇒ NoThunks (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :*: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))))
type Share (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Share (VState era) = ()

data InstantaneousRewards c Source #

InstantaneousRewards captures the pending changes to the ledger state caused by MIR certificates. It consists of two mappings, the rewards which will be paid out from the reserves and the rewards which will be paid out from the treasury. It also consists of two coin values which represent the transfer of coins from one pot to the other pot. NOTE that the following property should always hold: deltaReserves + deltaTreasury = 0

Instances

Instances details
Crypto c ⇒ ToJSON (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (InstantaneousRewards c) ∷ TypeType Source #

Show (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ DecShareCBOR (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (InstantaneousRewards c) Source #

Crypto c ⇒ EncCBOR (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Default (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

NFData (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfInstantaneousRewards c → () Source #

Eq (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (InstantaneousRewards c) = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "InstantaneousRewards" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iRReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) Coin)) :*: S1 ('MetaSel ('Just "iRTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) Coin))) :*: (S1 ('MetaSel ('Just "deltaReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "deltaTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin))))
type Share (InstantaneousRewards c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

data FutureGenDeleg c Source #

Instances

Instances details
Crypto c ⇒ ToJSON (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (FutureGenDeleg c) ∷ TypeType Source #

Show (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ DecCBOR (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ EncCBOR (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORFutureGenDeleg c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (FutureGenDeleg c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [FutureGenDeleg c] → Size Source #

NFData (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfFutureGenDeleg c → () Source #

Eq (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (FutureGenDeleg c) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (FutureGenDeleg c) = D1 ('MetaData "FutureGenDeleg" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "FutureGenDeleg" 'PrefixI 'True) (S1 ('MetaSel ('Just "fGenDelegSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "fGenDelegGenKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis c))))

data Anchor c Source #

Constructors

Anchor 

Instances

Instances details
Crypto c ⇒ FromJSON (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Crypto c ⇒ ToJSON (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep (Anchor c) ∷ TypeType Source #

Methods

fromAnchor c → Rep (Anchor c) x Source #

toRep (Anchor c) x → Anchor c Source #

Show (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrecIntAnchor c → ShowS Source #

showAnchor c → String Source #

showList ∷ [Anchor c] → ShowS Source #

Crypto c ⇒ DecCBOR (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORDecoder s (Anchor c) Source #

dropCBORProxy (Anchor c) → Decoder s () Source #

labelProxy (Anchor c) → Text Source #

Crypto c ⇒ EncCBOR (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORAnchor c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Anchor c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Anchor c] → Size Source #

Crypto c ⇒ Default (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

defAnchor c Source #

Crypto c ⇒ NFData (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfAnchor c → () Source #

Eq (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)Anchor c → Anchor c → Bool Source #

(/=)Anchor c → Anchor c → Bool Source #

Ord (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compareAnchor c → Anchor c → Ordering Source #

(<)Anchor c → Anchor c → Bool Source #

(<=)Anchor c → Anchor c → Bool Source #

(>)Anchor c → Anchor c → Bool Source #

(>=)Anchor c → Anchor c → Bool Source #

maxAnchor c → Anchor c → Anchor c Source #

minAnchor c → Anchor c → Anchor c Source #

NoThunks (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Anchor c) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Anchor c) = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash c AnchorData))))

data DRepState c Source #

Constructors

DRepState 

Instances

Instances details
Crypto c ⇒ FromJSON (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ ToJSON (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Generic (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep (DRepState c) ∷ TypeType Source #

Methods

fromDRepState c → Rep (DRepState c) x Source #

toRep (DRepState c) x → DRepState c Source #

Show (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ DecCBOR (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ EncCBOR (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBORDRepState c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DRepState c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRepState c] → Size Source #

Crypto c ⇒ NFData (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRepState c → () Source #

Eq (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==)DRepState c → DRepState c → Bool Source #

(/=)DRepState c → DRepState c → Bool Source #

Ord (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

NoThunks (DRepState era) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRepState c) = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DRepState" 'PrefixI 'True) (S1 ('MetaSel ('Just "drepExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "drepAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))) :*: S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

data DRep c Source #

Bundled Patterns

pattern DRepCredentialCredential 'DRepRole c → DRep c 

Instances

Instances details
Crypto c ⇒ FromJSON (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ FromJSONKey (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ ToJSON (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ ToJSONKey (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Generic (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep (DRep c) ∷ TypeType Source #

Methods

fromDRep c → Rep (DRep c) x Source #

toRep (DRep c) x → DRep c Source #

Show (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

showsPrecIntDRep c → ShowS Source #

showDRep c → String Source #

showList ∷ [DRep c] → ShowS Source #

Crypto c ⇒ DecCBOR (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

decCBORDecoder s (DRep c) Source #

dropCBORProxy (DRep c) → Decoder s () Source #

labelProxy (DRep c) → Text Source #

Crypto c ⇒ EncCBOR (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBORDRep c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DRep c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRep c] → Size Source #

NFData (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRep c → () Source #

Eq (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==)DRep c → DRep c → Bool Source #

(/=)DRep c → DRep c → Bool Source #

Ord (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

compareDRep c → DRep c → Ordering Source #

(<)DRep c → DRep c → Bool Source #

(<=)DRep c → DRep c → Bool Source #

(>)DRep c → DRep c → Bool Source #

(>=)DRep c → DRep c → Bool Source #

maxDRep c → DRep c → DRep c Source #

minDRep c → DRep c → DRep c Source #

NoThunks (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRep c) = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole c))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ScriptHash c)))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1TypeType)))

newtype CommitteeState era Source #

Instances

Instances details
Era era ⇒ ToJSON (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (CommitteeState era) ∷ TypeType Source #

Methods

fromCommitteeState era → Rep (CommitteeState era) x Source #

toRep (CommitteeState era) x → CommitteeState era Source #

Show (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Era era ⇒ ToCBOR (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

toCBORCommitteeState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeState era] → Size Source #

Era era ⇒ DecCBOR (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Era era ⇒ DecShareCBOR (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (CommitteeState era) Source #

Era era ⇒ EncCBOR (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORCommitteeState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeState era] → Size Source #

Default (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defCommitteeState era Source #

Era era ⇒ NFData (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfCommitteeState era → () Source #

Eq (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CommitteeState era) = D1 ('MetaData "CommitteeState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'True) (C1 ('MetaCons "CommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))))))
type Share (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Share (CommitteeState era) = ()

authorizedHotCommitteeCredentialsCommitteeState era → Set (Credential 'HotCommitteeRole (EraCrypto era)) Source #

Extract all unique hot credential authorizations for the current committee. Note that there is no unique mapping from Hot to Cold credential, therefore we produce a Set, instead of a Map.

lookupDepositDStateDState era → StakeCredential (EraCrypto era) → Maybe Coin Source #

Function that looks up the deposit for currently delegated staking credential

lookupRewardDStateDState era → StakeCredential (EraCrypto era) → Maybe Coin Source #

Function that looks up curret reward for the delegated staking credential.

ptrsMapDState era → Map Ptr (Credential 'Staking (EraCrypto era)) Source #

get the actual ptrs map, we don't need a view

payPoolDepositEraPParams era ⇒ KeyHash 'StakePool (EraCrypto era) → PParams era → PState era → PState era Source #

One only pays a deposit on the initial pool registration. So return the the Deposits unchanged if the keyhash already exists. There are legal situations where a pool may be registered multiple times.

obligationCertStateCertState era → Obligations Source #

Calculate total possible refunds in the system that are related to certificates

There is an invariant that the sum of all the fields should be the same as the utxosDeposited field of the UTxOState. Note that this does not depend upon the current values of the Key and Pool deposits of the PParams.

data Obligations Source #

A composite of all the Deposits the system is obligated to eventually pay back.

Constructors

Obligations 

Fields

Instances

Instances details
Monoid Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

Semigroup Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep ObligationsTypeType Source #

Show Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

NFData Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfObligations → () Source #

Eq Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep Obligations Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep Obligations = D1 ('MetaData "Obligations" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "Obligations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oblStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "oblPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "oblDRep") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "oblProposal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

certsTotalDepositsTxBodyEraTxBody era ⇒ PParams era → CertState era → TxBody era → Coin Source #

Compute the total deposits from the Certs of a TxBody.

This is the contribution of a TxBody towards the deposit pot (utxosDeposit field of the UTxOState) of the system

certsTotalRefundsTxBodyEraTxBody era ⇒ PParams era → CertState era → TxBody era → Coin Source #

Compute the total refunds from the Certs of a TxBody.

This is the contribution of a TxBody towards the total Obligations of the system See Obligations and obligationCertState for more information.

lookupDepositVStateVState era → Credential 'DRepRole (EraCrypto era) → Maybe Coin Source #

Function that looks up the deposit for currently registered DRep