Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) ⇒ ConwayEraTxBody era where Source #
currentTreasuryValueTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #
Lens for getting and setting number of Coin
that is expected to be in the
Treasury at the current Epoch
votingProceduresTxBodyL ∷ Lens' (TxBody era) (VotingProcedures era) Source #
Lens for getting and setting VotingProcedures
.
proposalProceduresTxBodyL ∷ Lens' (TxBody era) (OSet (ProposalProcedure era)) Source #
Lens for getting and setting ProposalProcedures
.
Instances
class BabbageEraPParams era ⇒ ConwayEraPParams era Source #
modifiedPPGroups, ppuWellFormed, hkdPoolVotingThresholdsL, hkdDRepVotingThresholdsL, hkdCommitteeMinSizeL, hkdCommitteeMaxTermLengthL, hkdGovActionLifetimeL, hkdGovActionDepositL, hkdDRepDepositL, hkdDRepActivityL, hkdMinFeeRefScriptCostPerByteL
Instances
ppPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #
ppDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #
ppCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Natural Source #
ppCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #
ppDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #
ppDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppuPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #
ppuDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #
ppuCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #
ppuCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
ppuGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
ppuGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #
ppuDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #
ppuDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
data PoolVotingThresholds Source #
Instances
data DRepVotingThresholds Source #
Instances
class AlonzoEraScript era ⇒ ConwayEraScript era where Source #
mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f era Source #
toVotingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 Voter) Source #
mkProposingPurpose ∷ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #
toProposingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #
Instances
pattern VotingPurpose ∷ ConwayEraScript era ⇒ f Word32 Voter → PlutusPurpose f era Source #
pattern ProposingPurpose ∷ ConwayEraScript era ⇒ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #
class ShelleyEraTxCert era ⇒ ConwayEraTxCert era Source #
mkRegDepositTxCert, getRegDepositTxCert, mkUnRegDepositTxCert, getUnRegDepositTxCert, mkDelegTxCert, getDelegTxCert, mkRegDepositDelegTxCert, getRegDepositDelegTxCert, mkAuthCommitteeHotKeyTxCert, getAuthCommitteeHotKeyTxCert, mkResignCommitteeColdTxCert, getResignCommitteeColdTxCert, mkRegDRepTxCert, getRegDRepTxCert, mkUnRegDRepTxCert, getUnRegDRepTxCert, mkUpdateDRepTxCert, getUpdateDRepTxCert
Instances
pattern RegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #
pattern UnRegDepositTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Coin → TxCert era Source #
pattern DelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → TxCert era Source #
pattern RegDepositDelegTxCert ∷ ConwayEraTxCert era ⇒ StakeCredential → Delegatee → Coin → TxCert era Source #
pattern AuthCommitteeHotKeyTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert era Source #
pattern ResignCommitteeColdTxCert ∷ ConwayEraTxCert era ⇒ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert era Source #
pattern RegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert era Source #
pattern UnRegDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → Coin → TxCert era Source #
pattern UpdateDRepTxCert ∷ ConwayEraTxCert era ⇒ Credential 'DRepRole → StrictMaybe Anchor → TxCert era Source #
module Cardano.Ledger.Babbage.Core