| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.Compatible.ProtocolParametersUpdate
Description
Era-based protocol parameter updates, and the era-sliced record types that back them.
Synopsis
- data EraBasedProtocolParametersUpdate era where
- ShelleyEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams ShelleyEra -> DeprecatedAfterBabbagePParams ShelleyEra -> ShelleyToAlonzoPParams ShelleyEra -> EraBasedProtocolParametersUpdate ShelleyEra
- AllegraEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams AllegraEra -> ShelleyToAlonzoPParams AllegraEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate AllegraEra
- MaryEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> DeprecatedAfterMaryPParams MaryEra -> ShelleyToAlonzoPParams MaryEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate MaryEra
- AlonzoEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> ShelleyToAlonzoPParams AlonzoEra -> AlonzoOnwardsPParams AlonzoEra -> DeprecatedAfterBabbagePParams ShelleyEra -> EraBasedProtocolParametersUpdate AlonzoEra
- BabbageEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> AlonzoOnwardsPParams BabbageEra -> DeprecatedAfterBabbagePParams ShelleyEra -> IntroducedInBabbagePParams BabbageEra -> EraBasedProtocolParametersUpdate BabbageEra
- ConwayEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> AlonzoOnwardsPParams ConwayEra -> IntroducedInBabbagePParams ConwayEra -> IntroducedInConwayPParams (ShelleyLedgerEra ConwayEra) -> EraBasedProtocolParametersUpdate ConwayEra
- DijkstraEraBasedProtocolParametersUpdate :: CommonProtocolParametersUpdate -> AlonzoOnwardsPParams DijkstraEra -> IntroducedInBabbagePParams DijkstraEra -> IntroducedInConwayPParams (ShelleyLedgerEra DijkstraEra) -> IntroducedInDijkstraPParams (ShelleyLedgerEra DijkstraEra) -> EraBasedProtocolParametersUpdate DijkstraEra
- data AlonzoOnwardsPParams ledgerera = AlonzoOnwardsPParams {}
- data CommonProtocolParametersUpdate = CommonProtocolParametersUpdate {
- cppTxFeePerByteL :: StrictMaybe CoinPerByte
- cppTxFeeFixedL :: StrictMaybe Coin
- cppMaxBlockBodySize :: StrictMaybe Word32
- cppMaxTxSize :: StrictMaybe Word32
- cppMaxBlockHeaderSize :: StrictMaybe Word16
- cppKeyDeposit :: StrictMaybe Coin
- cppPoolDeposit :: StrictMaybe Coin
- cppPoolRetireMaxEpoch :: StrictMaybe EpochInterval
- cppStakePoolTargetNum :: StrictMaybe Word16
- cppPoolPledgeInfluence :: StrictMaybe NonNegativeInterval
- cppTreasuryExpansion :: StrictMaybe UnitInterval
- cppMonetaryExpansion :: StrictMaybe UnitInterval
- cppMinPoolCost :: StrictMaybe Coin
- newtype DeprecatedAfterBabbagePParams ledgerera = DeprecatedAfterBabbagePParams (StrictMaybe ProtVer)
- newtype DeprecatedAfterMaryPParams ledgerera = DeprecatedAfterMaryPParams (StrictMaybe Coin)
- data ShelleyToAlonzoPParams ledgerera = ShelleyToAlonzoPParams (StrictMaybe Nonce) (StrictMaybe UnitInterval)
- newtype IntroducedInBabbagePParams era = IntroducedInBabbagePParams (StrictMaybe CoinPerByte)
- data IntroducedInConwayPParams era = IntroducedInConwayPParams {
- icPoolVotingThresholds :: StrictMaybe PoolVotingThresholds
- icDRepVotingThresholds :: StrictMaybe DRepVotingThresholds
- icMinCommitteeSize :: StrictMaybe Word16
- icCommitteeTermLength :: StrictMaybe EpochInterval
- icGovActionLifetime :: StrictMaybe EpochInterval
- icGovActionDeposit :: StrictMaybe Coin
- icDRepDeposit :: StrictMaybe Coin
- icDRepActivity :: StrictMaybe EpochInterval
- icMinFeeRefScriptCostPerByte :: StrictMaybe NonNegativeInterval
- data IntroducedInDijkstraPParams era = IntroducedInDijkstraPParams {}
- createEraBasedProtocolParamUpdate :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParamsUpdate (ShelleyLedgerEra era)
- createPParams :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParams (ShelleyLedgerEra era)
- data UpdateProposal era = UpdateProposal !(Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era)) !EpochNo
- makeShelleyUpdateProposal :: EraBasedProtocolParametersUpdate era -> [Hash GenesisKey] -> EpochNo -> UpdateProposal era
- toLedgerUpdate :: ShelleyBasedEra era -> UpdateProposal era -> Update (ShelleyLedgerEra era)
- fromLedgerUpdate :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> Update ledgerera -> UpdateProposal era
- toLedgerProposedPPUpdates :: ShelleyBasedEra era -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era) -> ProposedPPUpdates (ShelleyLedgerEra era)
- fromLedgerProposedPPUpdates :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> ProposedPPUpdates ledgerera -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era)
- fromLedgerPParamsUpdate :: ShelleyBasedEra era -> PParamsUpdate (ShelleyLedgerEra era) -> EraBasedProtocolParametersUpdate era
- data family AsType t
Documentation
data EraBasedProtocolParametersUpdate era where Source #
Each constructor corresponds to the set of protocol parameters available in a given era.
Constructors
Instances
| IsShelleyBasedEra era => FromCBOR (EraBasedProtocolParametersUpdate era) Source # | |
| IsShelleyBasedEra era => ToCBOR (EraBasedProtocolParametersUpdate era) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods toCBOR :: EraBasedProtocolParametersUpdate era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (EraBasedProtocolParametersUpdate era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EraBasedProtocolParametersUpdate era] -> Size Source # | |
| Eq (EraBasedProtocolParametersUpdate era) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: EraBasedProtocolParametersUpdate era -> EraBasedProtocolParametersUpdate era -> Bool Source # (/=) :: EraBasedProtocolParametersUpdate era -> EraBasedProtocolParametersUpdate era -> Bool Source # | |
| Show (EraBasedProtocolParametersUpdate era) Source # | |
data AlonzoOnwardsPParams ledgerera Source #
Constructors
| AlonzoOnwardsPParams | |
Instances
| Eq (AlonzoOnwardsPParams ledgerera) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: AlonzoOnwardsPParams ledgerera -> AlonzoOnwardsPParams ledgerera -> Bool Source # (/=) :: AlonzoOnwardsPParams ledgerera -> AlonzoOnwardsPParams ledgerera -> Bool Source # | |
| Show (AlonzoOnwardsPParams ledgerera) Source # | |
data CommonProtocolParametersUpdate Source #
Protocol parameters common to each era. This can only ever be reduced if parameters are deprecated.
Constructors
newtype DeprecatedAfterBabbagePParams ledgerera Source #
Constructors
| DeprecatedAfterBabbagePParams (StrictMaybe ProtVer) |
Instances
| Eq (DeprecatedAfterBabbagePParams ledgerera) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: DeprecatedAfterBabbagePParams ledgerera -> DeprecatedAfterBabbagePParams ledgerera -> Bool Source # (/=) :: DeprecatedAfterBabbagePParams ledgerera -> DeprecatedAfterBabbagePParams ledgerera -> Bool Source # | |
| Show (DeprecatedAfterBabbagePParams ledgerera) Source # | |
newtype DeprecatedAfterMaryPParams ledgerera Source #
Constructors
| DeprecatedAfterMaryPParams (StrictMaybe Coin) |
Instances
| Eq (DeprecatedAfterMaryPParams ledgerera) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: DeprecatedAfterMaryPParams ledgerera -> DeprecatedAfterMaryPParams ledgerera -> Bool Source # (/=) :: DeprecatedAfterMaryPParams ledgerera -> DeprecatedAfterMaryPParams ledgerera -> Bool Source # | |
| Show (DeprecatedAfterMaryPParams ledgerera) Source # | |
data ShelleyToAlonzoPParams ledgerera Source #
Constructors
| ShelleyToAlonzoPParams | |
Fields
| |
Instances
| Eq (ShelleyToAlonzoPParams ledgerera) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: ShelleyToAlonzoPParams ledgerera -> ShelleyToAlonzoPParams ledgerera -> Bool Source # (/=) :: ShelleyToAlonzoPParams ledgerera -> ShelleyToAlonzoPParams ledgerera -> Bool Source # | |
| Show (ShelleyToAlonzoPParams ledgerera) Source # | |
newtype IntroducedInBabbagePParams era Source #
Constructors
| IntroducedInBabbagePParams (StrictMaybe CoinPerByte) | Coins per UTxO byte |
Instances
| Eq (IntroducedInBabbagePParams era) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: IntroducedInBabbagePParams era -> IntroducedInBabbagePParams era -> Bool Source # (/=) :: IntroducedInBabbagePParams era -> IntroducedInBabbagePParams era -> Bool Source # | |
| Show (IntroducedInBabbagePParams era) Source # | |
data IntroducedInConwayPParams era Source #
Constructors
Instances
| Eq (IntroducedInConwayPParams era) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: IntroducedInConwayPParams era -> IntroducedInConwayPParams era -> Bool Source # (/=) :: IntroducedInConwayPParams era -> IntroducedInConwayPParams era -> Bool Source # | |
| Show (IntroducedInConwayPParams era) Source # | |
data IntroducedInDijkstraPParams era Source #
Constructors
| IntroducedInDijkstraPParams | |
Instances
| Eq (IntroducedInDijkstraPParams era) Source # | |
Defined in Cardano.Api.Compatible.ProtocolParametersUpdate Methods (==) :: IntroducedInDijkstraPParams era -> IntroducedInDijkstraPParams era -> Bool Source # (/=) :: IntroducedInDijkstraPParams era -> IntroducedInDijkstraPParams era -> Bool Source # | |
| Show (IntroducedInDijkstraPParams era) Source # | |
createEraBasedProtocolParamUpdate :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParamsUpdate (ShelleyLedgerEra era) Source #
createPParams :: ShelleyBasedEra era -> EraBasedProtocolParametersUpdate era -> PParams (ShelleyLedgerEra era) Source #
Update proposals to change the protocol parameters
data UpdateProposal era Source #
Constructors
| UpdateProposal !(Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era)) !EpochNo |
Instances
makeShelleyUpdateProposal :: EraBasedProtocolParametersUpdate era -> [Hash GenesisKey] -> EpochNo -> UpdateProposal era Source #
Internal conversion functions
toLedgerUpdate :: ShelleyBasedEra era -> UpdateProposal era -> Update (ShelleyLedgerEra era) Source #
fromLedgerUpdate :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> Update ledgerera -> UpdateProposal era Source #
toLedgerProposedPPUpdates :: ShelleyBasedEra era -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era) -> ProposedPPUpdates (ShelleyLedgerEra era) Source #
fromLedgerProposedPPUpdates :: ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> ProposedPPUpdates ledgerera -> Map (Hash GenesisKey) (EraBasedProtocolParametersUpdate era) Source #
fromLedgerPParamsUpdate :: ShelleyBasedEra era -> PParamsUpdate (ShelleyLedgerEra era) -> EraBasedProtocolParametersUpdate era Source #
Data family instances
A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.
Values of this type are passed to deserialisation functions for example.
Instances
| Typeable t => Show (AsType t) Source # | Generalised show instance for all singletons of |
| data AsType ByteString Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType ByteString Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType AddressAny Source # | |
Defined in Cardano.Api.Address | |
| data AsType ByronAddr Source # | |
Defined in Cardano.Api.Address | |
| data AsType ShelleyAddr Source # | |
Defined in Cardano.Api.Address | |
| data AsType StakeAddress Source # | |
Defined in Cardano.Api.Address | |
| data AsType BlockHeader Source # | |
Defined in Cardano.Api.Block | |
| data AsType ByronKey Source # | |
Defined in Cardano.Api.Byron.Internal.Key | |
| data AsType ByronKeyLegacy Source # | |
Defined in Cardano.Api.Byron.Internal.Key | |
| data AsType ByronUpdateProposal Source # | |
Defined in Cardano.Api.Byron.Internal.Proposal | |
| data AsType ByronVote Source # | |
Defined in Cardano.Api.Byron.Internal.Proposal | |
| data AsType DRepMetadata Source # | |
| data AsType OperationalCertificate Source # | |
| data AsType OperationalCertificateIssueCounter Source # | |
| data AsType StakePoolMetadata Source # | |
| data AsType AllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ByronEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType DijkstraEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ShelleyEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType GovernancePoll Source # | |
Defined in Cardano.Api.Governance.Internal.Poll | |
| data AsType GovernancePollAnswer Source # | |
Defined in Cardano.Api.Governance.Internal.Poll | |
| data AsType CommitteeColdExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeColdKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeHotExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeHotKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType DRepExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType DRepKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisDelegateExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisDelegateKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisUTxOKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType PaymentExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType PaymentKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakeExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakeKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakePoolExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakePoolKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType BlsKey Source # | |
Defined in Cardano.Api.Key.Internal.Leios | |
| data AsType BlsPossessionProof Source # | |
Defined in Cardano.Api.Key.Internal.Leios | |
| data AsType KesKey Source # | |
Defined in Cardano.Api.Key.Internal.Praos | |
| data AsType VrfKey Source # | |
Defined in Cardano.Api.Key.Internal.Praos | |
| data AsType PlutusScriptV1 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType PlutusScriptV2 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType PlutusScriptV3 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType PlutusScriptV4 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType ScriptHash Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType ScriptInAnyLang Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType SimpleScript' Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType HashableScriptData Source # | |
Defined in Cardano.Api.Plutus.Internal.ScriptData | |
| data AsType ScriptData Source # | |
Defined in Cardano.Api.Plutus.Internal.ScriptData | |
| data AsType PraosNonce Source # | |
Defined in Cardano.Api.ProtocolParameters | |
| data AsType EraHistory Source # | |
Defined in Cardano.Api.Query.Internal.Type.QueryInMode | |
| data AsType TextEnvelope Source # | |
Defined in Cardano.Api.Serialise.TextEnvelope.Internal | |
| data AsType TxId Source # | |
Defined in Cardano.Api.Tx.Internal.TxIn | |
| data AsType TxMetadata Source # | |
Defined in Cardano.Api.Tx.Internal.TxMetadata | |
| data AsType AssetName Source # | |
Defined in Cardano.Api.Value.Internal | |
| data AsType PolicyId Source # | |
Defined in Cardano.Api.Value.Internal | |
| data AsType GovActionId Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType GovActionIx Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType Term Source # | |
Defined in Cardano.Api.Serialise.Cbor.Canonical | |
| data AsType Word16 Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType Word32 Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType Word64 Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType Word8 Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType Natural Source # | |
Defined in Cardano.Api.HasTypeProxy | |
| data AsType (Address addrtype) Source # | |
Defined in Cardano.Api.Address | |
| data AsType (AddressInEra era) Source # | |
Defined in Cardano.Api.Address | |
| data AsType (UpdateProposal era) Source # | |
| data AsType (AnyScript era) Source # | |
Defined in Cardano.Api.Experimental.AnyScript | |
| data AsType (SimpleScript era) Source # | |
Defined in Cardano.Api.Experimental.Simple.Script | |
| data AsType (SignedTx era) Source # | |
Defined in Cardano.Api.Experimental.Tx | |
| data AsType (Certificate era) Source # | |
| data AsType (UnsignedTx era) Source # | |
Defined in Cardano.Api.Experimental.Tx.Internal.Type | |
| data AsType (Proposal era) Source # | |
| data AsType (VotingProcedure era) Source # | |
| data AsType (VotingProcedures era) Source # | |
| data AsType (Hash a) Source # | |
Defined in Cardano.Api.Hash | |
| data AsType (SigningKey a) Source # | |
Defined in Cardano.Api.Key.Internal.Class | |
| data AsType (VerificationKey a) Source # | |
Defined in Cardano.Api.Key.Internal.Class | |
| data AsType (PlutusScript lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (Script lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (ScriptInEra era) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (KeyWitness era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (Tx era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (TxBody era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (Credential 'ColdCommitteeRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (Credential 'DRepRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (Credential 'HotCommitteeRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (SLanguage 'PlutusV1) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (SLanguage 'PlutusV2) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (SLanguage 'PlutusV3) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (SLanguage 'PlutusV4) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (PlutusScriptInEra lang era) Source # | |
| data AsType (PlutusScriptInEra era lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (TxOut ctx era) Source # | |
Defined in Cardano.Api.Tx.Internal.Output | |