cardano-ledger-core-1.17.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
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 #

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 #

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.17.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 Source #

Constructors

CommitteeHotCredential !(Credential 'HotCommitteeRole)

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

CommitteeMemberResigned !(StrictMaybe Anchor)

Member resigned with a potential explanation in Anchor

Instances

Instances details
ToJSON CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep CommitteeAuthorizationTypeType Source #

Show CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

DecCBOR CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

EncCBOR CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

NFData CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

Eq CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep CommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CertState

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

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

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 (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.17.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UMap) :*: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FutureGenDeleg GenDelegPair))) :*: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstantaneousRewards))))
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
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 #

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

Defined in Cardano.Ledger.CertState

Methods

defPState era 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.17.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams)) :*: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams))) :*: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) 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). 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
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 #

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 #

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.17.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))))
type Share (VState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Share (VState era) = ()

data InstantaneousRewards 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
ToJSON InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep InstantaneousRewardsTypeType Source #

Show InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

DecShareCBOR InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share InstantaneousRewards Source #

EncCBOR InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

Default InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

NFData InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfInstantaneousRewards → () Source #

Eq InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.CertState

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

Defined in Cardano.Ledger.CertState

data FutureGenDeleg Source #

Instances

Instances details
ToJSON FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

Generic FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep FutureGenDelegTypeType Source #

Show FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

DecCBOR FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

EncCBOR FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

NFData FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfFutureGenDeleg → () Source #

Eq FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

Ord FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep FutureGenDeleg Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Rep FutureGenDeleg = D1 ('MetaData "FutureGenDeleg" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.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))))

data Anchor Source #

Constructors

Anchor 

Instances

Instances details
FromJSON Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep AnchorTypeType Source #

Methods

fromAnchorRep Anchor x Source #

toRep Anchor x → Anchor Source #

Show Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

DecCBOR Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

EncCBOR Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORAnchorEncoding Source #

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

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

Default Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

defAnchor Source #

NFData Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfAnchor → () Source #

Eq Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)AnchorAnchorBool Source #

(/=)AnchorAnchorBool Source #

Ord Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.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 AnchorData))))

data DRepState Source #

Instances

Instances details
FromJSON DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

ToJSON DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Generic DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep DRepStateTypeType Source #

Show DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

DecCBOR DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

EncCBOR DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBORDRepStateEncoding Source #

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

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

NFData DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRepState → () Source #

Eq DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Ord DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

NoThunks DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRepState = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.17.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))) :*: (S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))

data DRep Source #

Bundled Patterns

pattern DRepCredentialCredential 'DRepRoleDRep 

Instances

Instances details
FromJSON DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

FromJSONKey DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

ToJSON DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

ToJSONKey DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Generic DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep DRepTypeType Source #

Methods

fromDRepRep DRep x Source #

toRep DRep x → DRep Source #

Show DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

showsPrecIntDRepShowS Source #

showDRepString Source #

showList ∷ [DRep] → ShowS Source #

DecCBOR DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

EncCBOR DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBORDRepEncoding Source #

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

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

NFData DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRep → () Source #

Eq DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==)DRepDRepBool Source #

(/=)DRepDRepBool Source #

Ord DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

compareDRepDRepOrdering Source #

(<)DRepDRepBool Source #

(<=)DRepDRepBool Source #

(>)DRepDRepBool Source #

(>=)DRepDRepBool Source #

maxDRepDRepDRep Source #

minDRepDRepDRep Source #

NoThunks DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

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

newtype CommitteeState era Source #

Instances

Instances details
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 #

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

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.17.0.0-inplace" 'True) (C1 ('MetaCons "CommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization))))
type Share (CommitteeState era) Source # 
Instance details

Defined in Cardano.Ledger.CertState

type Share (CommitteeState era) = ()

authorizedHotCommitteeCredentialsCommitteeState era → Set (Credential 'HotCommitteeRole) 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 → StakeCredentialMaybe Coin Source #

Function that looks up the deposit for currently delegated staking credential

lookupRewardDStateDState era → StakeCredentialMaybe Coin Source #

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

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

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

payPoolDepositEraPParams era ⇒ KeyHash 'StakePoolPParams 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.17.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 'DRepRoleMaybe Coin Source #

Function that looks up the deposit for currently registered DRep