Cardano.Ledger.Conway.State · cardano-ledger-conway-1.23.0.0

valueaccountStateDelegatee

:: ConwayEraAccounts era
=> AccountState era
-> Maybe Delegatee

#

valuebalanceConwayAccountStateL

:: Functor f
=> CompactForm Coin -> f (CompactForm Coin)
-> ConwayAccountState era
-> f (ConwayAccountState era)

#

valuedRepDelegationConwayAccountStateL

:: Functor f
=> Maybe DRep -> f (Maybe DRep)
-> ConwayAccountState era
-> f (ConwayAccountState era)

#

valuedepositConwayAccountStateL

:: Functor f
=> CompactForm Coin -> f (CompactForm Coin)
-> ConwayAccountState era
-> f (ConwayAccountState era)

#

valuelookupDRepDelegation

#

valueregisterConwayAccount

#

valuestakePoolDelegationConwayAccountStateL

:: Functor f
=> Maybe (KeyHash StakePool) -> f (Maybe (KeyHash StakePool))
-> ConwayAccountState era
-> f (ConwayAccountState era)

#

valueunregisterConwayAccount

:: EraAccounts era
=> Credential Staking
-> Accounts era
-> (Maybe (AccountState era), Accounts era)

#

valueconwayCertDStateL

:: Functor f
=> DState era -> f (DState era)
-> ConwayCertState era
-> f (ConwayCertState era)

#

valueconwayCertPStateL

:: Functor f
=> PState era -> f (PState era)
-> ConwayCertState era
-> f (ConwayCertState era)

#

valueconwayCertVStateL

:: Functor f
=> VState era -> f (VState era)
-> ConwayCertState era
-> f (ConwayCertState era)

#

valueconwayCertsTotalDepositsTxBody

:: EraTxBody era
=> PParams era
-> ConwayCertState era
-> TxBody TopTx era
-> Coin

#

valueconwayObligationCertState

:: ConwayEraCertState era
=> CertState era
-> Obligations

#

valuecsCommitteeCredsL

:: Functor f
=> Map (Credential ColdCommitteeRole) CommitteeAuthorization -> f (Map (Credential ColdCommitteeRole) CommitteeAuthorization)
-> CommitteeState era
-> f (CommitteeState era)

#

valueepochStateRegDrepL :: ConwayEraCertState era => Lens' (EpochState era) (Map (Credential DRepRole) DRepState)

#

valuemkConwayCertState

:: ConwayEraCertState era
=> VState era
-> PState era
-> DState era
-> CertState era

#

valueaddConwayInstantStake

:: EraTxOut era
=> UTxO era
-> ConwayInstantStake era
-> ConwayInstantStake era

#

valueconwayInstantStakeCredentialsL

:: Functor f
=> Map (Credential Staking) (CompactForm Coin) -> f (Map (Credential Staking) (CompactForm Coin))
-> ConwayInstantStake era
-> f (ConwayInstantStake era)

#

valuedeleteConwayInstantStake

:: EraTxOut era
=> UTxO era
-> ConwayInstantStake era
-> ConwayInstantStake era

#

valueresolveConwayInstantStake

:: (EraStake era, InstantStake era ~ ConwayInstantStake era)
=> ConwayInstantStake era
-> Accounts era
-> ActiveStake

#

valuelookupDepositVState :: VState era -> Credential DRepRole -> Maybe Coin

#

valueunDelegReDelegDRep

:: ConwayEraAccounts era
=> Credential Staking
-> AccountState era
-> Maybe DRep
-> VState era
-> VState era

#

valuevsActualDRepExpiry :: Credential DRepRole -> VState era -> Maybe EpochNo

#

valuevsCommitteeStateL

:: Functor f
=> CommitteeState era -> f (CommitteeState era)
-> VState era
-> f (VState era)

#

valuevsDRepsL

:: Functor f
=> Map (Credential DRepRole) DRepState -> f (Map (Credential DRepRole) DRepState)
-> VState era
-> f (VState era)

#

valuevsNumDormantEpochsL

:: Functor f
=> EpochNo -> f EpochNo
-> VState era
-> f (VState era)

#

valueaddToBalanceAccounts

:: EraAccounts era
=> Map (Credential Staking) (CompactForm Coin)
-> Accounts era
-> Accounts era

#

valueadjustAccountState

:: EraAccounts era
=> AccountState era -> AccountState era
-> Credential Staking
-> Accounts era
-> Accounts era

#

valueapplyDirectDeposits

:: EraAccounts era
=> DirectDeposits
-> Accounts era
-> Accounts era

#

valueapplyWithdrawals

:: EraAccounts era
=> Withdrawals
-> Accounts era
-> Accounts era

#

valuedirectDepositsMissingAccounts

#

valuedrainAccounts

:: EraAccounts era
=> Withdrawals
-> Accounts era
-> Accounts era

#

valueisAccountRegistered

:: EraAccounts era
=> Credential Staking
-> Accounts era
-> Bool

#

valuelookupAccountDeposit

:: EraAccounts era
=> Credential Staking
-> Accounts era
-> Maybe Coin

#

valuelookupAccountState

:: EraAccounts era
=> Credential Staking
-> Accounts era
-> Maybe (AccountState era)

#

valuelookupAccountStateIntern

:: EraAccounts era
=> Credential Staking
-> Accounts era
-> Maybe (Credential Staking, AccountState era)

#

valuelookupStakePoolDelegation

#

valueremoveStakePoolDelegations

:: EraAccounts era
=> Set (Credential Staking)
-> Accounts era
-> Accounts era

#

valuesumBalancesAccounts :: EraAccounts era => Accounts era -> Coin

#

valuesumDepositsAccounts :: EraAccounts era => Accounts era -> Coin

#

valueupdateLookupAccountState

:: EraAccounts era
=> AccountState era -> AccountState era
-> Credential Staking
-> Accounts era
-> (Maybe (AccountState era), Accounts era)

#

valuewithdrawalsThatDoNotDrainAccounts

:: EraAccounts era
=> Withdrawals
-> Network
-> Accounts era
-> Maybe (Withdrawals, Map AccountAddress (Mismatch RelEQ Coin))

#

valuewithdrawalsThatExceedAccountBalance

:: EraAccounts era
=> Withdrawals
-> Network
-> Accounts era
-> Maybe (Withdrawals, Map AccountAddress (Mismatch RelLTEQ Coin))

#

valueauthorizedHotCommitteeCredentials

:: CommitteeState era
-> Set (Credential HotCommitteeRole)

#

valuedsFutureGenDelegsL

:: Functor f
=> Map FutureGenDeleg GenDelegPair -> f (Map FutureGenDeleg GenDelegPair)
-> DState era
-> f (DState era)

#

valuedsGenDelegsL

:: Functor f
=> GenDelegs -> f GenDelegs
-> DState era
-> f (DState era)

#

valuedsIRewardsL

:: Functor f
=> InstantaneousRewards -> f InstantaneousRewards
-> DState era
-> f (DState era)

#

valueiRDeltaReservesL :: Lens' InstantaneousRewards DeltaCoin

#

valueiRDeltaTreasuryL :: Lens' InstantaneousRewards DeltaCoin

#

valueiRReservesL :: Lens' InstantaneousRewards (Map (Credential Staking) Coin)

#

valueiRTreasuryL :: Lens' InstantaneousRewards (Map (Credential Staking) Coin)

#

valuelookupDepositDState

:: EraAccounts era
=> DState era
-> Credential Staking
-> Maybe Coin

#

valuelookupRewardDState

:: EraAccounts era
=> DState era
-> Credential Staking
-> Maybe Coin

#

valuepsFutureStakePoolParamsL

:: Functor f
=> Map (KeyHash StakePool) StakePoolParams -> f (Map (KeyHash StakePool) StakePoolParams)
-> PState era
-> f (PState era)

#

valuepsRetiringL

:: Functor f
=> Map (KeyHash StakePool) EpochNo -> f (Map (KeyHash StakePool) EpochNo)
-> PState era
-> f (PState era)

#

valuepsStakePoolsL

:: Functor f
=> Map (KeyHash StakePool) StakePoolState -> f (Map (KeyHash StakePool) StakePoolState)
-> PState era
-> f (PState era)

#

valuepsVRFKeyHashesL

:: Functor f
=> Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64) -> f (Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64))
-> PState era
-> f (PState era)

#

valuesumObligation :: Obligations -> Coin

#

valueunDelegReDelegStakePool

:: EraAccounts era
=> Credential Staking
-> AccountState era
-> Maybe (KeyHash StakePool)
-> PState era
-> PState era

#

valuecasReservesL :: Lens' ChainAccountState Coin

#

valuecasTreasuryL :: Lens' ChainAccountState Coin

#

valuereservesL :: CanSetChainAccountState t => Lens' (t era) Coin

#

valuetreasuryL :: CanSetChainAccountState t => Lens' (t era) Coin

#

valueknownFuturePParams :: FuturePParams era -> Maybe (PParams era)

#

valuenextEpochPParams :: EraGov era => GovState era -> PParams era

#

valuenextEpochUpdatedPParams

:: EraGov era
=> GovState era
-> StrictMaybe (PParams era)

#

valuesolidifyFuturePParams :: FuturePParams era -> FuturePParams era

#

valueindividualTotalPoolStakeL :: Lens' IndividualPoolStake (CompactForm Coin)

#

valuepoolDistrDistrL :: Lens' PoolDistr (Map (KeyHash StakePool) IndividualPoolStake)

#

valuepoolDistrTotalL :: Lens' PoolDistr (NonZero Coin)

#

valuecalculatePoolDistr :: SnapShot -> PoolDistr

#

valuecalculatePoolDistr' :: (KeyHash StakePool -> Bool) -> SnapShot -> PoolDistr

#

valuecalculatePoolStake

:: KeyHash StakePool -> Bool
-> ActiveStake
-> Map (KeyHash StakePool) (CompactForm Coin)

#

valueemptySnapShot :: SnapShot

#

valueemptySnapShots :: SnapShots era

#

valuemaxPool

:: EraPParams era
=> PParams era
-> Coin
-> Rational
-> Rational
-> Coin

#

valuemaxPool'

#

valuemkSnapShot

:: ActiveStake
-> VMap VB VB (KeyHash StakePool) StakePoolSnapShot
-> SnapShot

#

valuemkStakePoolSnapShot

:: ActiveStake
-> NonZero Coin
-> StakePoolState
-> StakePoolSnapShot

#

valueresetStakePoolsSnapShot

:: VMap VB VB (KeyHash StakePool) StakePoolState
-> SnapShot
-> SnapShot

#

valuesnapShotFromInstantStake

:: EraStake era
=> InstantStake era
-> DState era
-> PState era
-> SnapShot

#

valuessActiveStakeL :: Lens' SnapShot ActiveStake

#

valuessFeeL

:: Functor f
=> Coin -> f Coin
-> SnapShots era
-> f (SnapShots era)

#

valuessStake :: SnapShot -> ActiveStake

#

Deprecated. In favor of ssActiveStake

valuessStakeGoL

:: Functor f
=> SnapShot -> f SnapShot
-> SnapShots era
-> f (SnapShots era)

#

valuessStakeL :: Lens' SnapShot ActiveStake

#

Deprecated. In favor of ssActiveStakeL

valuessStakeMarkL

:: Functor f
=> SnapShot -> f SnapShot
-> SnapShots era
-> f (SnapShots era)

#

valuessStakeMarkPoolDistrL

:: Functor f
=> PoolDistr -> f PoolDistr
-> SnapShots era
-> f (SnapShots era)

#

valuessStakeSetL

:: Functor f
=> SnapShot -> f SnapShot
-> SnapShots era
-> f (SnapShots era)

#

valuesumStakePerPool

:: VMap VB VB (Credential Staking) (KeyHash StakePool)
-> Stake
-> Map (KeyHash StakePool) Coin

#

Deprecated. As no longer necessary

valueresolveActiveInstantStakeCredentials

:: EraStake era
=> InstantStake era
-> Accounts era
-> Map (Credential Staking) StakeWithDelegation

#

valuesumAllActiveStake :: ActiveStake -> NonZero Coin

#

valuesumAllStake :: Stake -> Coin

#

valuesumAllStakeCompact :: Stake -> CompactForm Coin

#

valuesumCredentialsCompactActiveStake

#

valuesumCredentialsCompactStake

:: Foldable f
=> Stake
-> f (Credential Staking)
-> CompactForm Coin

#

valuedecodeStakePoolParamsFlat :: Decoder s (Int, StakePoolParams)

#

valuemkStakePoolState

#

valuesppCostL :: Lens' StakePoolParams Coin

#

valuesppMetadataL :: Lens' StakePoolParams (StrictMaybe PoolMetadata)

#

valuesppVrfL :: Lens' StakePoolParams (VRFVerKeyHash StakePoolVRF)

#

valuespsAccountIdL :: Lens' StakePoolState AccountId

#

valuespsCostL :: Lens' StakePoolState Coin

#

valuespsDelegatorsL :: Lens' StakePoolState (Set (Credential Staking))

#

valuespsDepositL :: Lens' StakePoolState (CompactForm Coin)

#

valuespsMarginL :: Lens' StakePoolState UnitInterval

#

valuespsMetadataL :: Lens' StakePoolState (StrictMaybe PoolMetadata)

#

valuespsOwnersL :: Lens' StakePoolState (Set (KeyHash Staking))

#

valuespsPledgeL :: Lens' StakePoolState Coin

#

valuespsRelaysL :: Lens' StakePoolState (StrictSeq StakePoolRelay)

#

valuespsVrfL :: Lens' StakePoolState (VRFVerKeyHash StakePoolVRF)

#

valuestakePoolStateToStakePoolParams

#

valuewithStakePoolParamsFlatEncoding

#

valueareAllAdaOnly :: (EraTxOut era, Foldable f) => f (TxOut era) -> Bool

#

valuegetScriptHash :: Addr -> Maybe ScriptHash

#

valuesumAllCoin :: (EraTxOut era, Foldable f) => f (TxOut era) -> Coin

#

valuesumAllValue :: (EraTxOut era, Foldable f) => f (TxOut era) -> Value era

#

valuesumCoinUTxO :: EraTxOut era => UTxO era -> Coin

#

valuesumUTxO :: EraTxOut era => UTxO era -> Value era

#

valuetxInsFilter :: UTxO era -> Set TxIn -> UTxO era

#

valuetxinLookup :: TxIn -> UTxO era -> Maybe (TxOut era)

#

valuetxins :: EraTxBody era => TxBody t era -> Set TxIn

#

valuetxouts :: EraTxBody era => TxBody l era -> UTxO era

#

valueverifyWitVKey :: Hash HASH EraIndependentTxBody -> WitVKey kr -> Bool

#

valueregisterShelleyAccount

#

valueshelleyAddAccountState

:: ShelleyEraAccounts era
=> Credential Staking
-> AccountState era
-> Accounts era
-> Accounts era

#

valueunregisterShelleyAccount

:: ShelleyEraAccounts era
=> Credential Staking
-> Accounts era
-> (Maybe (AccountState era), Accounts era)

#

valuemkShelleyCertState

:: EraCertState era
=> PState era
-> DState era
-> CertState era

#

valueshelleyCertDStateL

:: Functor f
=> DState era -> f (DState era)
-> ShelleyCertState era
-> f (ShelleyCertState era)

#

valueshelleyCertPStateL

:: Functor f
=> PState era -> f (PState era)
-> ShelleyCertState era
-> f (ShelleyCertState era)

#

valueshelleyCertsTotalDepositsTxBody

:: EraTxBody era
=> PParams era
-> ShelleyCertState era
-> TxBody TopTx era
-> Coin

#

valueshelleyCertsTotalRefundsTxBody

:: (EraTxBody era, EraAccounts era)
=> PParams era
-> Accounts era
-> TxBody t era
-> Coin

#

valueshelleyObligationCertState

:: EraCertState era
=> CertState era
-> Obligations

#

valueaddShelleyInstantStake

:: EraTxOut era
=> UTxO era
-> ShelleyInstantStake era
-> ShelleyInstantStake era

#

valuedeleteShelleyInstantStake

:: EraTxOut era
=> UTxO era
-> ShelleyInstantStake era
-> ShelleyInstantStake era

#

valueresolveShelleyInstantStake

:: (EraStake era, InstantStake era ~ ShelleyInstantStake era, AccountState era ~ ShelleyAccountState era, Accounts era ~ ShelleyAccounts era)
=> ShelleyInstantStake era
-> ShelleyAccounts era
-> ActiveStake

#

valueshelleyInstantStakeCredentialsL

:: Functor f
=> Map (Credential Staking) (CompactForm Coin) -> f (Map (Credential Staking) (CompactForm Coin))
-> ShelleyInstantStake era
-> f (ShelleyInstantStake era)

#

datadata ConwayAccountState era

#

Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Show (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Generic (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
NFData (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
ToJSON (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
NoThunks (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Typeable era => DecShareCBOR (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
EncCBOR (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
ToKeyValuePairs (ConwayAccountState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
type Rep (ConwayAccountState era) = D1 ('MetaData "ConwayAccountState" "Cardano.Ledger.Conway.State.Account" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "CASNoDelegation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin))) :+: C1 ('MetaCons "CASStakePool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool))))) :+: (C1 ('MetaCons "CASDRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep))) :+: C1 ('MetaCons "CASStakePoolAndDRep" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
type Share (ConwayAccountState era) = (Interns (KeyHash StakePool), Interns (Credential DRepRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account

pattern

pattern ConwayAccountState :: CompactForm Coin -> CompactForm Coin -> Maybe (KeyHash StakePool) -> Maybe DRep -> ConwayAccountState era

#

valuecasBalance :: ConwayAccountState era -> CompactForm Coin

#

valuecasDRepDelegation :: ConwayAccountState era -> Maybe DRep

#

valuecasDeposit :: ConwayAccountState era -> CompactForm Coin

#

valuecasStakePoolDelegation

:: ConwayAccountState era
-> Maybe (KeyHash StakePool)

#

newtypenewtype ConwayAccounts era

#

Constructors

ConwayAccounts
- caStates :: Map (Credential Staking) (ConwayAccountState era)

Instances11Eq, Show, Generic, NFData, ToJSON, Default, …

Eq (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Show (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Generic (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
NFData (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
ToJSON (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Default (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
NoThunks (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
Typeable era => DecShareCBOR (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
EncCBOR (ConwayAccounts era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
type Rep (ConwayAccounts era) = D1 ('MetaData "ConwayAccounts" "Cardano.Ledger.Conway.State.Account" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "ConwayAccounts" 'PrefixI 'True) (S1 ('MetaSel ('Just "caStates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (ConwayAccountState era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account
type Share (ConwayAccounts era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account

classclass EraAccounts era => ConwayEraAccounts era where

#

Methods

mkConwayAccountState :: CompactForm Coin -> AccountState era
dRepDelegationAccountStateL :: Lens' (AccountState era) (Maybe DRep)

Instances1ConwayEraAccounts

ConwayEraAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account

datadata ConwayCertState era

#

Constructors

ConwayCertState
- conwayCertVState :: !VState era
- conwayCertPState :: !PState era
- conwayCertDState :: !DState era

Instances12Eq, Show, Generic, NFData, ToJSON, Default, …

Eq (Accounts era) => Eq (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
Show (Accounts era) => Show (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
Generic (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
(Era era, NFData (Accounts era)) => NFData (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
ToJSON (Accounts era) => ToJSON (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
Default (Accounts era) => Default (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
(Era era, NoThunks (Accounts era)) => NoThunks (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
EraAccounts era => DecShareCBOR (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
EraAccounts era => EncCBOR (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
ToJSON (Accounts era) => ToKeyValuePairs (ConwayCertState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
type Rep (ConwayCertState era) = D1 ('MetaData "ConwayCertState" "Cardano.Ledger.Conway.State.CertState" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayCertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "conwayCertVState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VState era)) :*: (S1 ('MetaSel ('Just "conwayCertPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :*: S1 ('MetaSel ('Just "conwayCertDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState
type Share (ConwayCertState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState

classclass (EraCertState era, ConwayEraAccounts era) => ConwayEraCertState era where

#

Methods

certVStateL :: Lens' (CertState era) (VState era)

Instances1ConwayEraCertState

ConwayEraCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState

newtypenewtype ConwayInstantStake era

#

Constructors

ConwayInstantStake
- cisCredentialStake :: Map (Credential Staking) (CompactForm Coin)

Instances15Eq, Ord, Show, Generic, Semigroup, Monoid, …

Eq (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Ord (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Show (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Generic (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Semigroup (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Monoid (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
NFData (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
ToJSON (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
Default (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
NoThunks (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
DecShareCBOR (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
EncCBOR (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
ToKeyValuePairs (ConwayInstantStake era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
type Rep (ConwayInstantStake era) = D1 ('MetaData "ConwayInstantStake" "Cardano.Ledger.Conway.State.Stake" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "ConwayInstantStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "cisCredentialStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential Staking) (CompactForm Coin)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake
type Share (ConwayInstantStake era) = Interns (Credential Staking)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake

datadata VState era

#

Constructors

VState
- vsDReps :: !Map (Credential DRepRole) DRepState
- vsCommitteeState :: !CommitteeState era
- vsNumDormantEpochs :: !EpochNo

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

Eq (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Show (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Generic (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
NFData (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
ToJSON (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Default (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
NoThunks (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Era era => DecCBOR (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Era era => DecShareCBOR (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
Era era => EncCBOR (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
ToKeyValuePairs (VState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.Conway.State.VState" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" '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 'DecidedUnpack) (Rec0 EpochNo))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState
type Share (VState era) = (Interns (Credential Staking), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.VState

datadata Anchor

#

Constructors

Anchor
- anchorUrl :: !Url
- anchorDataHash :: !SafeHash AnchorData

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Default AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep Anchor = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

newtypenewtype AnchorData

#

Instances3Eq, SafeToHash, HashAnnotated

Eq AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
SafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
HashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata DRep

#

Constructors

DRepKeyHash !(KeyHash DRepRole)
DRepScriptHash !ScriptHash
DRepAlwaysAbstain
DRepAlwaysNoConfidence

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Ord DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Show DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Generic DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
NFData DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
FromJSON DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
FromJSONKey DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
ToJSON DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
ToJSONKey DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
NoThunks DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
DecCBOR DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
DecShareCBOR DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
EncCBOR DRepDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
type Rep DRep = D1 ('MetaData "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))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
type Share DRep = Interns (Credential DRepRole)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep

patternpattern DRepCredential :: Credential DRepRole -> DRep

#

datadata DRepState

#

Constructors

DRepState
- drepExpiry :: !EpochNo
- drepAnchor :: !StrictMaybe Anchor
- drepDeposit :: !CompactForm Coin
- drepDelegs :: !Set (Credential Staking)

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Ord DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Show DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
Generic DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
NFData DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
FromJSON DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
ToJSON DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
NoThunks DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
DecCBOR DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
DecShareCBOR DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
EncCBOR DRepStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
type Rep DRepState = D1 ('MetaData "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))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep
type Share DRepState = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.DRep

familytype family AccountState era

#

Instances6AccountState

type AccountState AllegraEra = ShelleyAccountState AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.Account · orphan
type AccountState AlonzoEra = ShelleyAccountState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
type AccountState BabbageEra = ShelleyAccountState BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.Account · orphan
type AccountState ConwayEra = ConwayAccountState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
type AccountState MaryEra = ShelleyAccountState MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.Account · orphan
type AccountState ShelleyEra = ShelleyAccountState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan

familytype family Accounts era

#

Instances6Accounts

type Accounts AllegraEra = ShelleyAccounts AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.Account · orphan
type Accounts AlonzoEra = ShelleyAccounts AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
type Accounts BabbageEra = ShelleyAccounts BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.Account · orphan
type Accounts ConwayEra = ConwayAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
type Accounts MaryEra = ShelleyAccounts MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.Account · orphan
type Accounts ShelleyEra = ShelleyAccounts ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan

classclass CanGetAccounts (t :: Type -> Type) where

#

Methods

accountsG :: SimpleGetter (t era) (Accounts era)

Instances1CanGetAccounts

CanGetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

classclass CanGetAccounts t => CanSetAccounts (t :: Type -> Type) where

#

Methods

accountsL :: Lens' (t era) (Accounts era)

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 where

#

Associated types

type family AccountState era
type family Accounts era

Methods

addAccountState :: Credential Staking -> AccountState era -> Accounts era -> Accounts era
accountsMapL :: 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)

Instances6EraAccounts

EraAccounts AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.Account · orphan
EraAccounts AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
EraAccounts BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.Account · orphan
EraAccounts ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Account · orphan
EraAccounts MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.Account · orphan
EraAccounts ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan

familytype family CertState era

#

Instances6CertState

type CertState AllegraEra = ShelleyCertState AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.CertState · orphan
type CertState AlonzoEra = ShelleyCertState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.CertState · orphan
type CertState BabbageEra = ShelleyCertState BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.CertState · orphan
type CertState ConwayEra = ConwayCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState · orphan
type CertState MaryEra = ShelleyCertState MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.CertState · orphan
type CertState ShelleyEra = ShelleyCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan

datadata CommitteeAuthorization

#

Constructors

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Ord CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
DecCBOR CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EncCBOR CommitteeAuthorizationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep CommitteeAuthorization = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

newtypenewtype CommitteeState era

#

Constructors

CommitteeState
- csCommitteeCreds :: Map (Credential ColdCommitteeRole) CommitteeAuthorization

Instances22TranslateEra, Eq, Ord, Show, Generic, NFData, …

TranslateEra AllegraEra CommitteeStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra CommitteeStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra CommitteeStateDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra MaryEra CommitteeStateDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Ord (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Era era => ToCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Era era => DecCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Era era => DecShareCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EncCBOR (CommitteeState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep (CommitteeState era) = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share (CommitteeState era) = Interns (Credential HotCommitteeRole)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type TranslationError AllegraEra CommitteeState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra CommitteeState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra CommitteeState = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError MaryEra CommitteeState = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

datadata DState era

#

Constructors

DState
- dsAccounts :: !Accounts era
- dsFutureGenDelegs :: !Map FutureGenDeleg GenDelegPair
- dsGenDelegs :: !GenDelegs
- dsIRewards :: !InstantaneousRewards

Instances24CanGetAccounts, CanSetAccounts, TranslateEra, Eq, Show, Generic, …

CanGetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
CanSetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
TranslateEra AllegraEra DStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra DStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra DStateDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra ConwayEra DStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra MaryEra DStateDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (Accounts era) => Eq (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show (Accounts era) => Show (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData (Accounts era) => NFData (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (Accounts era) => ToJSON (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default (Accounts era) => Default (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks (Accounts era) => NoThunks (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EraAccounts era => DecShareCBOR (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.CertState
ToJSON (Accounts era) => ToKeyValuePairs (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep (DState era) = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share (DState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type TranslationError AllegraEra DState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra DState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra DState = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError ConwayEra DState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError MaryEra DState = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

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 where

#

Associated types

type family CertState era

Methods

certDStateL :: Lens' (CertState era) (DState era)
certPStateL :: Lens' (CertState era) (PState era)
obligationCertState :: CertState era -> Obligations
certsTotalDepositsTxBody :: EraTxBody era => PParams era -> CertState era -> TxBody TopTx era -> Coin
certsTotalRefundsTxBody :: EraTxBody era => PParams era -> Accounts era -> TxBody t era -> Coin

Instances6EraCertState

EraCertState AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.CertState · orphan
EraCertState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.CertState · orphan
EraCertState BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.CertState · orphan
EraCertState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.CertState · orphan
EraCertState MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.CertState · orphan
EraCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan

datadata FutureGenDeleg

#

Constructors

FutureGenDeleg
- fGenDelegSlot :: !SlotNo
- fGenDelegGenKeyHash :: !KeyHash GenesisRole

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Ord FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
DecCBOR FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EncCBOR FutureGenDelegDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep FutureGenDeleg = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

datadata InstantaneousRewards

#

Constructors

InstantaneousRewards
- iRReserves :: !Map (Credential Staking) Coin
- iRTreasury :: !Map (Credential Staking) Coin
- deltaReserves :: !DeltaCoin
- deltaTreasury :: !DeltaCoin

Instances12Eq, Show, Generic, NFData, ToJSON, Default, …

Eq InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
DecShareCBOR InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EncCBOR InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToKeyValuePairs InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep InstantaneousRewards = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share InstantaneousRewards = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

datadata Obligations

#

Constructors

Obligations
- oblStake :: !Coin
- oblPool :: !Coin
- oblDRep :: !Coin
- oblProposal :: !Coin

Instances8Eq, Ord, Show, Generic, Semigroup, Monoid, …

Eq ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Ord ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Semigroup ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Monoid ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData ObligationsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep Obligations = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

datadata PState era

#

Constructors

PState
- psVRFKeyHashes :: !Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64)
- psStakePools :: !Map (KeyHash StakePool) StakePoolState
- psFutureStakePoolParams :: !Map (KeyHash StakePool) StakePoolParams
- psRetiring :: !Map (KeyHash StakePool) EpochNo

Instances23TranslateEra, Eq, Show, Generic, NFData, ToJSON, …

TranslateEra AllegraEra PStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra PStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra PStateDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra ConwayEra PStateDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra MaryEra PStateDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks (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.CertState
DecShareCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Era era => EncCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToKeyValuePairs (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep (PState era) = D1 ('MetaData "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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share (PState era) = (Interns (VRFVerKeyHash StakePoolVRF), Interns (KeyHash StakePool))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type TranslationError AllegraEra PState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra PState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra PState = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError ConwayEra PState = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError MaryEra PState = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

classclass CanGetChainAccountState (t :: Type -> Type) where

#

Methods

chainAccountStateG :: SimpleGetter (t era) ChainAccountState

Instances2CanGetChainAccountState

CanGetChainAccountState EpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanGetChainAccountState NewEpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types

classclass CanGetChainAccountState t => CanSetChainAccountState (t :: Type -> Type) where

#

Methods

chainAccountStateL :: Lens' (t era) ChainAccountState

Instances2CanSetChainAccountState

CanSetChainAccountState EpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanSetChainAccountState NewEpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types

datadata ChainAccountState

#

Constructors

ChainAccountState
- casTreasury :: !Coin
- casReserves :: !Coin

Instances11Eq, Show, Generic, NFData, ToJSON, Default, …

Eq ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Show ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Generic ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
NFData ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
ToJSON ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Default ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
NoThunks ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
DecCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
EncCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
ToKeyValuePairs ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
type Rep ChainAccountState = D1 ('MetaData "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)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount

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 where

#

Associated types

type family GovState era

Methods

emptyGovState :: GovState era
curPParamsGovStateL :: Lens' (GovState era) (PParams era)
prevPParamsGovStateL :: Lens' (GovState era) (PParams era)
futurePParamsGovStateL :: Lens' (GovState era) (FuturePParams era)
obligationGovState :: GovState era -> Obligations

Instances6EraGov

EraGov AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
EraGov AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
EraGov BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphan
EraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphan
EraGov MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphan
EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan

datadata FuturePParams era

#

Constructors

NoPParamsUpdate
DefinitePParamsUpdate !(PParams era)
PotentialPParamsUpdate (Maybe (PParams era))

Instances20TranslateEra, Eq, Show, Generic, NFData, ToJSON, …

TranslateEra AllegraEra FuturePParamsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra FuturePParamsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra FuturePParamsDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra ConwayEra FuturePParamsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra MaryEra FuturePParamsDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (PParams era) => Eq (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Show (PParams era) => Show (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Generic (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
NFData (PParams era) => NFData (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
ToJSON (PParams era) => ToJSON (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Default (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
NoThunks (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.Governance
EncCBOR (PParams era) => EncCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
type Rep (FuturePParams era) = D1 ('MetaData "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))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
type TranslationError AllegraEra FuturePParams = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra FuturePParams = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra FuturePParams = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError ConwayEra FuturePParams = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError MaryEra FuturePParams = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

familytype family GovState era

#

Instances6GovState

type GovState AllegraEra = ShelleyGovState AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
type GovState AlonzoEra = ShelleyGovState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
type GovState BabbageEra = ShelleyGovState BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphan
type GovState ConwayEra = ConwayGovState ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphan
type GovState MaryEra = ShelleyGovState MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphan
type GovState ShelleyEra = ShelleyGovState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan

datadata IndividualPoolStake

#

Constructors

IndividualPoolStake
- individualPoolStake :: !Rational
- individualTotalPoolStake :: !CompactForm Coin
- individualPoolStakeVrf :: !VRFVerKeyHash StakePoolVRF

Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Show IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Generic IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NFData IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
ToJSON IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NoThunks IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
DecCBOR IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
EncCBOR IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
ToKeyValuePairs IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
type Rep IndividualPoolStake = D1 ('MetaData "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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr

datadata PoolDistr

#

Constructors

PoolDistr
- unPoolDistr :: !Map (KeyHash StakePool) IndividualPoolStake
- pdTotalActiveStake :: !NonZero Coin

Instances10Eq, Show, Generic, NFData, ToJSON, Default, …

Eq PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Show PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Generic PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NFData PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
ToJSON PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Default PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NoThunks PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
DecCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
EncCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
type Rep PoolDistr = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr

datadata SnapShot

#

Constructors

SnapShot
- ssActiveStake :: !ActiveStake
- ssTotalActiveStake :: !NonZero Coin
- ssStakePoolsSnapShot :: !VMap VB VB (KeyHash StakePool) StakePoolSnapShot

Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Show SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Generic SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NFData SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToJSON SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NoThunks SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
DecShareCBOR SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
EncCBOR SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToKeyValuePairs SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Rep SnapShot = D1 ('MetaData "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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Share SnapShot = (Interns (Credential Staking), Interns (KeyHash StakePool))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots

datadata SnapShots era

#

Constructors

SnapShots
- ssStakeMark :: SnapShot
- ssStakeMarkPoolDistr :: PoolDistr
- ssStakeSet :: !SnapShot
- ssStakeGo :: !SnapShot
- ssFee :: !Coin

Instances23TranslateEra, Eq, Show, Generic, NFData, ToJSON, …

TranslateEra AllegraEra SnapShotsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra SnapShotsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra BabbageEra SnapShotsDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
TranslateEra ConwayEra SnapShotsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
TranslateEra MaryEra SnapShotsDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
Eq (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Show (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Generic (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NFData (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToJSON (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Default (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Typeable era => NoThunks (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Era era => DecCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
DecShareCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
EncCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToKeyValuePairs (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Rep (SnapShots era) = D1 ('MetaData "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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Share (SnapShots era) = Share SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type TranslationError AllegraEra SnapShots = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra SnapShots = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError BabbageEra SnapShots = VoidDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Translation · orphan
type TranslationError ConwayEra SnapShots = VoidDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Translation · orphan
type TranslationError MaryEra SnapShots = VoidDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

datadata StakePoolSnapShot

#

Constructors

StakePoolSnapShot
- spssStake :: !CompactForm Coin
- spssStakeRatio :: !Rational
- spssSelfDelegatedOwners :: !Set (KeyHash Staking)
- spssSelfDelegatedOwnersStake :: !Coin
- spssVrf :: !VRFVerKeyHash StakePoolVRF
- spssPledge :: !Coin
- spssCost :: !Coin
- spssMargin :: !UnitInterval
- spssNumDelegators :: !Int
- spssAccountId :: !AccountId

Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Show StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Generic StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NFData StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToJSON StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NoThunks StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
DecShareCBOR StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
EncCBOR StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToKeyValuePairs StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Rep StakePoolSnapShot = D1 ('MetaData "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))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Share StakePoolSnapShot = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots

newtypenewtype ActiveStake

#

Constructors

ActiveStake
- unActiveStake :: VMap VB VS (Credential Staking) StakeWithDelegation

Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Show ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Generic ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NFData ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
ToJSON ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NoThunks ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
DecShareCBOR ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
EncCBOR ActiveStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Rep ActiveStake = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Share ActiveStake = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake

classclass CanGetInstantStake (t :: Type -> Type) where

#

Methods

instantStakeG :: SimpleGetter (t era) (InstantStake era)

Instances5CanGetInstantStake

CanGetInstantStake RatifyEnvDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
CanGetInstantStake EpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanGetInstantStake LedgerStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanGetInstantStake NewEpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanGetInstantStake UTxOStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types

classclass CanGetInstantStake t => CanSetInstantStake (t :: Type -> Type) where

#

Methods

instantStakeL :: Lens' (t era) (InstantStake era)

Instances5CanSetInstantStake

CanSetInstantStake RatifyEnvDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
CanSetInstantStake EpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanSetInstantStake LedgerStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanSetInstantStake NewEpochStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types
CanSetInstantStake UTxOStateDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.LedgerState.Types

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 where

#

Associated types

type family InstantStake era

Methods

instantStakeCredentialsL :: Lens' (InstantStake era) (Map (Credential Staking) (CompactForm Coin))
addInstantStake :: UTxO era -> InstantStake era -> InstantStake era
deleteInstantStake :: UTxO era -> InstantStake era -> InstantStake era
resolveInstantStake :: InstantStake era -> Accounts era -> ActiveStake

Instances6EraStake

EraStake AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.Stake · orphan
EraStake AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Stake · orphan
EraStake BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.Stake · orphan
EraStake ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake · orphan
EraStake MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.Stake · orphan
EraStake ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Stake · orphan

familytype family InstantStake era

#

Instances6InstantStake

type InstantStake AllegraEra = ShelleyInstantStake AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.State.Stake · orphan
type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Stake · orphan
type InstantStake BabbageEra = ShelleyInstantStake BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.State.Stake · orphan
type InstantStake ConwayEra = ConwayInstantStake ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.State.Stake · orphan
type InstantStake MaryEra = ShelleyInstantStake MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.State.Stake · orphan
type InstantStake ShelleyEra = ShelleyInstantStake ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Stake · orphan

newtypenewtype Stake

#

Constructors

Stake
- unStake :: 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.Stake
Show StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Generic StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Semigroup StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Monoid StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NFData StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
ToJSON StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NoThunks StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
DecShareCBOR StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
EncCBOR StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Rep Stake = D1 ('MetaData "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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Share Stake = Share (VMap VB VP (Credential Staking) (CompactForm Coin))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake

datadata StakeWithDelegation

#

Constructors

StakeWithDelegation
- swdStake :: !NonZero (CompactForm Coin)
- swdDelegation :: !KeyHash StakePool

Instances12Eq, Show, Generic, Storable, NFData, ToJSON, …

Eq StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Show StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Generic StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Storable StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NFData StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
ToJSON StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NoThunks StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
DecCBOR StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
DecShareCBOR StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
EncCBOR StakeWithDelegationDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Rep StakeWithDelegation = D1 ('MetaData "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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Share StakeWithDelegation = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake

datadata PoolMetadata

#

Constructors

PoolMetadata
- pmUrl :: !Url
- pmHash :: !ByteArray

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Ord PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Show PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Generic PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NFData PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
FromJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
ToJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NoThunks PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
DecCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
EncCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
type Rep PoolMetadata = D1 ('MetaData "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)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

datadata SizeOfPoolOwners

#

SizeOfPoolOwners

Instances1EncCBOR

EncCBOR SizeOfPoolOwnersDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

datadata SizeOfPoolRelays

#

SizeOfPoolRelays

Instances1EncCBOR

EncCBOR SizeOfPoolRelaysDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

datadata StakePoolParams

#

Constructors

StakePoolParams
- sppId :: !KeyHash StakePool
- sppVrf :: !VRFVerKeyHash StakePoolVRF
- sppPledge :: !Coin
- sppCost :: !Coin
- sppMargin :: !UnitInterval
- sppAccountAddress :: !AccountAddress
- sppOwners :: !Set (KeyHash Staking)
- sppRelays :: !StrictSeq StakePoolRelay
- sppMetadata :: !StrictMaybe PoolMetadata

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Ord StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Show StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Generic StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NFData StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
FromJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
ToJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Default StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NoThunks StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
DecCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
EncCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
type Rep StakePoolParams = D1 ('MetaData "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)))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

pattern

pattern PoolParams :: KeyHash StakePool -> VRFVerKeyHash StakePoolVRF -> Coin -> Coin -> UnitInterval -> AccountAddress -> Set (KeyHash Staking) -> StrictSeq StakePoolRelay -> StrictMaybe PoolMetadata -> PoolParams

#

Deprecated. In favor of StakePoolParams

valueppAccountAddress :: PoolParams -> AccountAddress

#