Modulecardano-ledger-core-1.21.0.0
Cardano.Ledger.State
- 29 types
- 13 classes
- 107 values
- Packagecardano-ledger-core-1.21.0.0
- Exports157
- LicenceApache-2.0
Deprecated. In favor of ssActiveStake
Deprecated. In favor of ssActiveStakeL
Deprecated. As no longer necessary
Constructors
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Anchor = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Anchor"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'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))))
Instances3Eq, SafeToHash, HashAnnotated
Eq AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesSafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesHashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepOrd DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepShow DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepGeneric DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepNFData DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepFromJSON DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepFromJSONKey DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepToJSON DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepToJSONKey DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepNoThunks DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepDecCBOR DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepEncCBOR DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DReptype Rep DRep = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep"DRep"
"Cardano.Ledger.DRep"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) ((C1 ('MetaCons"DRepKeyHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash DRepRole))) :+: C1 ('MetaCons"DRepScriptHash"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons"DRepAlwaysAbstain"
'PrefixI 'False) U1 :+: C1 ('MetaCons"DRepAlwaysNoConfidence"
'PrefixI 'False) U1))
Constructors
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepOrd DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepShow DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepGeneric DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepNFData DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepFromJSON DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepToJSON DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepNoThunks DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepDecCBOR DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRepEncCBOR DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DReptype Rep DRepState = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep"DRepState"
"Cardano.Ledger.DRep"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"DRepState"
'PrefixI 'True) ((S1 ('MetaSel ('Just"drepExpiry"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just"drepAnchor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :*: (S1 ('MetaSel ('Just"drepDeposit"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just"drepDelegs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential Staking))))))
Methods
accountsG :: SimpleGetter (t era) (Accounts era)
Instances1CanGetAccounts
CanGetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Instances1CanSetAccounts
CanSetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
class
class (Era era, Eq (Accounts era), Show (Accounts era), Default (Accounts era), EncCBOR (Accounts era), DecShareCBOR (Accounts era), Share (Accounts era) ~ (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole)), ToJSON (Accounts era), NFData (Accounts era), NoThunks (Accounts era), Eq (AccountState era), Show (AccountState era), NFData (AccountState era), NoThunks (AccountState era)) => EraAccounts era whereAssociated types
type family AccountState eratype family Accounts era
Methods
addAccountState :: Credential Staking -> AccountState era -> Accounts era -> Accounts eraaccountsMapL :: Lens' (Accounts era) (Map (Credential Staking) (AccountState era))balanceAccountStateL :: Lens' (AccountState era) (CompactForm Coin)depositAccountStateL :: Lens' (AccountState era) (CompactForm Coin)stakePoolDelegationAccountStateL :: Lens' (AccountState era) (Maybe (KeyHash StakePool))unregisterAccount :: Credential Staking -> Accounts era -> (Maybe (AccountState era), Accounts era)
Constructors
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateOrd CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDecCBOR CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEncCBOR CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep CommitteeAuthorization = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"CommitteeAuthorization"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"CommitteeHotCredential"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential HotCommitteeRole))) :+: C1 ('MetaCons"CommitteeMemberResigned"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))
Constructors
Instances14Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateOrd (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDefault (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEra era => ToCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEra era => DecCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEncCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep (CommitteeState era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"CommitteeState"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"CommitteeState"
'PrefixI 'True) (S1 ('MetaSel ('Just"csCommitteeCreds"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential ColdCommitteeRole) CommitteeAuthorization))))
Constructors
Instances14CanGetAccounts, CanSetAccounts, Eq, Show, Generic, NFData, …
CanGetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateCanSetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEq (Accounts era) => Eq (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow (Accounts era) => Show (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData (Accounts era) => NFData (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON (Accounts era) => ToJSON (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDefault (Accounts era) => Default (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks (Accounts era) => NoThunks (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState(Era era, EncCBOR (Accounts era)) => EncCBOR (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON (Accounts era) => ToKeyValuePairs (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep (DState era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"DState"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"DState"
'PrefixI 'True) ((S1 ('MetaSel ('Just"dsAccounts"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Accounts era)) :*: 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))))
class
class (EraAccounts era, ToJSON (CertState era), EncCBOR (CertState era), DecShareCBOR (CertState era), Share (CertState era) ~ (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole)), Default (CertState era), NoThunks (CertState era), NFData (CertState era), Show (CertState era), Eq (CertState era)) => EraCertState era whereAssociated types
type family CertState era
Methods
certDStateL :: Lens' (CertState era) (DState era)certPStateL :: Lens' (CertState era) (PState era)obligationCertState :: CertState era -> ObligationscertsTotalDepositsTxBody :: EraTxBody era => PParams era -> CertState era -> TxBody TopTx era -> CoincertsTotalRefundsTxBody :: EraTxBody era => PParams era -> Accounts era -> TxBody t era -> Coin
Constructors
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateOrd FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDecCBOR FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEncCBOR FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep FutureGenDeleg = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"FutureGenDeleg"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"FutureGenDeleg"
'PrefixI 'True) (S1 ('MetaSel ('Just"fGenDelegSlot"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just"fGenDelegGenKeyHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash GenesisRole))))
Constructors
Instances12Eq, Show, Generic, NFData, ToJSON, Default, …
Eq InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDefault InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEncCBOR InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToKeyValuePairs InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep InstantaneousRewards = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"InstantaneousRewards"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'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))))
Constructors
Instances8Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateOrd ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateSemigroup ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateMonoid ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep Obligations = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"Obligations"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'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))))
Constructors
Instances13Eq, Show, Generic, NFData, ToJSON, Default, …
Eq (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateShow (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateGeneric (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNFData (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToJSON (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateDefault (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateNoThunks (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState(Era era, DecShareCBOR (PState era)) => DecCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateEra era => EncCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToKeyValuePairs (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStatetype Rep (PState era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState"PState"
"Cardano.Ledger.State.CertState"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"PState"
'PrefixI 'True) ((S1 ('MetaSel ('Just"psVRFKeyHashes"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64))) :*: S1 ('MetaSel ('Just"psStakePools"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) StakePoolState))) :*: (S1 ('MetaSel ('Just"psFutureStakePoolParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just"psRetiring"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) EpochNo)))))
Methods
chainAccountStateG :: SimpleGetter (t era) ChainAccountState
Methods
chainAccountStateL :: Lens' (t era) ChainAccountState
Constructors
Instances11Eq, Show, Generic, NFData, ToJSON, Default, …
Eq ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountShow ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountGeneric ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountNFData ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountToJSON ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountDefault ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountNoThunks ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountDecCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountEncCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountToKeyValuePairs ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccounttype Rep ChainAccountState = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount"ChainAccountState"
"Cardano.Ledger.State.ChainAccount"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"ChainAccountState"
'PrefixI 'True) (S1 ('MetaSel ('Just"casTreasury"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just"casReserves"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))
class
class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) => EraGov era whereAssociated types
type family GovState era
Methods
emptyGovState :: GovState eracurPParamsGovStateL :: Lens' (GovState era) (PParams era)prevPParamsGovStateL :: Lens' (GovState era) (PParams era)futurePParamsGovStateL :: Lens' (GovState era) (FuturePParams era)obligationGovState :: GovState era -> Obligations
Constructors
Instances10Eq, Show, Generic, NFData, ToJSON, Default, …
Eq (PParams era) => Eq (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceShow (PParams era) => Show (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceGeneric (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceNFData (PParams era) => NFData (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceToJSON (PParams era) => ToJSON (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceDefault (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceNoThunks (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance(Typeable era, DecCBOR (PParams era)) => DecCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.GovernanceEncCBOR (PParams era) => EncCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governancetype Rep (FuturePParams era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance"FuturePParams"
"Cardano.Ledger.State.Governance"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"NoPParamsUpdate"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"DefinitePParamsUpdate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :+: C1 ('MetaCons"PotentialPParamsUpdate"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (PParams era))))))
Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrShow IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrGeneric IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrNFData IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrToJSON IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrNoThunks IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrDecCBOR IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrEncCBOR IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrToKeyValuePairs IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrtype Rep IndividualPoolStake = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr"IndividualPoolStake"
"Cardano.Ledger.State.PoolDistr"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"IndividualPoolStake"
'PrefixI 'True) (S1 ('MetaSel ('Just"individualPoolStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :*: (S1 ('MetaSel ('Just"individualTotalPoolStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just"individualPoolStakeVrf"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash StakePoolVRF)))))
Constructors
Instances10Eq, Show, Generic, NFData, ToJSON, Default, …
Eq PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrShow PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrGeneric PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrNFData PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrToJSON PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrDefault PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrNoThunks PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrDecCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrEncCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrtype Rep PoolDistr = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr"PoolDistr"
"Cardano.Ledger.State.PoolDistr"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"PoolDistr"
'PrefixI 'True) (S1 ('MetaSel ('Just"unPoolDistr"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) IndividualPoolStake)) :*: S1 ('MetaSel ('Just"pdTotalActiveStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonZero Coin))))
Constructors
Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsShow SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsGeneric SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsNFData SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToJSON SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsNoThunks SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsEncCBOR SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToKeyValuePairs SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotstype Rep SnapShot = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots"SnapShot"
"Cardano.Ledger.State.SnapShots"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"SnapShot"
'PrefixI 'True) (S1 ('MetaSel ('Just"ssActiveStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveStake) :*: (S1 ('MetaSel ('Just"ssTotalActiveStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonZero Coin)) :*: S1 ('MetaSel ('Just"ssStakePoolsSnapShot"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash StakePool) StakePoolSnapShot)))))
Constructors
Instances13Eq, Show, Generic, NFData, ToJSON, Default, …
Eq (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsShow (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsGeneric (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsNFData (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToJSON (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsDefault (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsTypeable era => NoThunks (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsEra era => DecCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsEncCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToKeyValuePairs (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotstype Rep (SnapShots era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots"SnapShots"
"Cardano.Ledger.State.SnapShots"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"SnapShots"
'PrefixI 'True) ((S1 ('MetaSel ('Just"ssStakeMark"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just"ssStakeMarkPoolDistr"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just"ssStakeSet"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: (S1 ('MetaSel ('Just"ssStakeGo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just"ssFee"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))
Constructors
Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsShow StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsGeneric StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsNFData StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToJSON StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsNoThunks StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsEncCBOR StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToKeyValuePairs StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotstype Rep StakePoolSnapShot = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots"StakePoolSnapShot"
"Cardano.Ledger.State.SnapShots"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"StakePoolSnapShot"
'PrefixI 'True) (((S1 ('MetaSel ('Just"spssStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just"spssStakeRatio"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)) :*: (S1 ('MetaSel ('Just"spssSelfDelegatedOwners"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash Staking))) :*: (S1 ('MetaSel ('Just"spssSelfDelegatedOwnersStake"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just"spssVrf"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash StakePoolVRF))))) :*: ((S1 ('MetaSel ('Just"spssPledge"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just"spssCost"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just"spssMargin"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just"spssNumDelegators"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Just"spssAccountId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountId))))))
Constructors
Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeShow ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeGeneric ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNFData ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeToJSON ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNoThunks ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeEncCBOR ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Staketype Rep ActiveStake = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake"ActiveStake"
"Cardano.Ledger.State.Stake"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"ActiveStake"
'PrefixI 'True) (S1 ('MetaSel ('Just"unActiveStake"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VS (Credential Staking) StakeWithDelegation))))
Methods
instantStakeG :: SimpleGetter (t era) (InstantStake era)
Methods
instantStakeL :: Lens' (t era) (InstantStake era)
class
class (EraAccounts era, Eq (InstantStake era), Show (InstantStake era), Monoid (InstantStake era), Default (InstantStake era), NFData (InstantStake era), NoThunks (InstantStake era), ToJSON (InstantStake era), EncCBOR (InstantStake era), DecShareCBOR (InstantStake era), Share (InstantStake era) ~ Interns (Credential Staking)) => EraStake era whereAssociated types
type family InstantStake era
Methods
instantStakeCredentialsL :: Lens' (InstantStake era) (Map (Credential Staking) (CompactForm Coin))addInstantStake :: UTxO era -> InstantStake era -> InstantStake eradeleteInstantStake :: UTxO era -> InstantStake era -> InstantStake eraresolveInstantStake :: InstantStake era -> Accounts era -> ActiveStake
Constructors
StakeunStake :: VMap VB VP (Credential Staking) (CompactForm Coin)
Instances12Eq, Show, Generic, Semigroup, Monoid, NFData, …
Eq StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeShow StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeGeneric StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeSemigroup StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeMonoid StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNFData StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeToJSON StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNoThunks StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeEncCBOR StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Staketype Rep Stake = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake"Stake"
"Cardano.Ledger.State.Stake"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"Stake"
'PrefixI 'True) (S1 ('MetaSel ('Just"unStake"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential Staking) (CompactForm Coin)))))
Constructors
Instances12Eq, Show, Generic, Storable, NFData, ToJSON, …
Eq StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeShow StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeGeneric StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeStorable StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNFData StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeToJSON StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeNoThunks StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeDecCBOR StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakeEncCBOR StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Staketype Rep StakeWithDelegation = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake"StakeWithDelegation"
"Cardano.Ledger.State.Stake"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"StakeWithDelegation"
'PrefixI 'True) (S1 ('MetaSel ('Just"swdStake"
) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero (CompactForm Coin))) :*: S1 ('MetaSel ('Just"swdDelegation"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool))))
Constructors
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolOrd PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolShow PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolGeneric PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNFData PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolFromJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolToJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNoThunks PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDecCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolEncCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePooltype Rep PoolMetadata = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool"PoolMetadata"
"Cardano.Ledger.State.StakePool"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"PoolMetadata"
'PrefixI 'True) (S1 ('MetaSel ('Just"pmUrl"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just"pmHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray)))
Instances1EncCBOR
EncCBOR SizeOfPoolOwnersDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Instances1EncCBOR
EncCBOR SizeOfPoolRelaysDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Constructors
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolOrd StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolShow StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolGeneric StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNFData StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolFromJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolToJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDefault StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNoThunks StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDecCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolEncCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePooltype Rep StakePoolParams = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool"StakePoolParams"
"Cardano.Ledger.State.StakePool"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"StakePoolParams"
'PrefixI 'True) (((S1 ('MetaSel ('Just"sppId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel ('Just"sppVrf"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash StakePoolVRF))) :*: (S1 ('MetaSel ('Just"sppPledge"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just"sppCost"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: ((S1 ('MetaSel ('Just"sppMargin"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just"sppAccountAddress"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountAddress)) :*: (S1 ('MetaSel ('Just"sppOwners"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash Staking))) :*: (S1 ('MetaSel ('Just"sppRelays"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay)) :*: S1 ('MetaSel ('Just"sppMetadata"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata)))))))
pattern
pattern PoolParams :: KeyHash StakePool -> VRFVerKeyHash StakePoolVRF -> Coin -> Coin -> UnitInterval -> AccountAddress -> Set (KeyHash Staking) -> StrictSeq StakePoolRelay -> StrictMaybe PoolMetadata -> PoolParamsDeprecated. In favor of StakePoolParams
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Deprecated. In favor of fields with `spp*` prefix
Constructors
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolOrd StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolShow StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolGeneric StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNFData StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolFromJSON StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolToJSON StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNoThunks StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDecCBOR StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolEncCBOR StakePoolRelayDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePooltype Rep StakePoolRelay = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool"StakePoolRelay"
"Cardano.Ledger.State.StakePool"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"SingleHostAddr"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv4)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv6)))) :+: (C1 ('MetaCons"SingleHostName"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)) :+: C1 ('MetaCons"MultiHostName"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName))))
Constructors
StakePoolStatespsVrf :: !VRFVerKeyHash StakePoolVRFspsPledge :: !CoinspsCost :: !CoinspsMargin :: !UnitIntervalspsAccountId :: !AccountIdspsOwners :: !Set (KeyHash Staking)spsRelays :: !StrictSeq StakePoolRelayspsMetadata :: !StrictMaybe PoolMetadataspsDeposit :: !CompactForm CoinspsDelegators :: !Set (Credential Staking)
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolOrd StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolShow StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolGeneric StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNFData StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolFromJSON StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolToJSON StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDefault StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolNoThunks StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolDecCBOR StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePoolEncCBOR StakePoolStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePooltype Rep StakePoolState = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool"StakePoolState"
"Cardano.Ledger.State.StakePool"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"StakePoolState"
'PrefixI 'True) (((S1 ('MetaSel ('Just"spsVrf"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash StakePoolVRF)) :*: S1 ('MetaSel ('Just"spsPledge"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just"spsCost"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: (S1 ('MetaSel ('Just"spsMargin"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just"spsAccountId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountId)))) :*: ((S1 ('MetaSel ('Just"spsOwners"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash Staking))) :*: S1 ('MetaSel ('Just"spsRelays"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay))) :*: (S1 ('MetaSel ('Just"spsMetadata"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata)) :*: (S1 ('MetaSel ('Just"spsDeposit"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just"spsDelegators"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential Staking))))))))
Methods
utxoG :: SimpleGetter (t era) (UTxO era)
Instances1CanGetUTxO
CanGetUTxO UTxODefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO
Instances1CanSetUTxO
CanSetUTxO UTxODefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO
Associated types
type family ScriptsNeeded era
Methods
getConsumedValue :: PParams era -> (Credential Staking -> Maybe Coin) -> UTxO era -> TxBody t era -> Value eragetProducedValue :: PParams era -> (KeyHash StakePool -> Bool) -> TxBody TopTx era -> Value eragetScriptsProvided :: UTxO era -> Tx t era -> ScriptsProvided eragetScriptsNeeded :: UTxO era -> TxBody t era -> ScriptsNeeded eragetScriptsHashesNeeded :: ScriptsNeeded era -> Set ScriptHashgetWitsVKeyNeeded :: CertState era -> UTxO era -> TxBody t era -> Set (KeyHash Witness)getMinFeeTxUtxo :: PParams era -> Tx t era -> UTxO era -> Coin
Constructors
Instances6Eq, Ord, Show, Generic, NFData, Rep
(Era era, Eq (Script era)) => Eq (ScriptsProvided era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, Ord (Script era)) => Ord (ScriptsProvided era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, Show (Script era)) => Show (ScriptsProvided era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOGeneric (ScriptsProvided era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, NFData (Script era)) => NFData (ScriptsProvided era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOtype Rep (ScriptsProvided era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO"ScriptsProvided"
"Cardano.Ledger.State.UTxO"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"ScriptsProvided"
'PrefixI 'True) (S1 ('MetaSel ('Just"unScriptsProvided"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptHash (Script era)))))
Instances18CanGetUTxO, CanSetUTxO, Eq, Show, Generic, Semigroup, …
CanGetUTxO UTxODefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOCanSetUTxO UTxODefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, Eq (TxOut era)) => Eq (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOShow (TxOut era) => Show (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOGeneric (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOSemigroup (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOEra era => Monoid (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, NFData (TxOut era)) => NFData (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOToJSON (TxOut era) => ToJSON (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxODefault (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxONoThunks (TxOut era) => NoThunks (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential Staking)) => FromCBOR (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, EncCBOR (TxOut era)) => ToCBOR (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential Staking)) => DecCBOR (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO(Era era, EncCBOR (TxOut era)) => EncCBOR (UTxO era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxOtype Rep (UTxO era) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.UTxO"UTxO"
"Cardano.Ledger.State.UTxO"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"UTxO"
'PrefixI 'True) (S1 ('MetaSel ('Just"unUTxO"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn (TxOut era)))))