Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Api.ProtocolParameters

Contents

The updatable protocol parameters
Updates to the protocol parameters
PraosNonce
Execution units, prices and cost models,
Update proposals to change the protocol parameters
Internal conversion functions
Data family instances

Description

The various Cardano protocol parameters, including:

the current values of updatable protocol parameters: ProtocolParameters
updates to protocol parameters: ProtocolParametersUpdate
update proposals that can be embedded in transactions: UpdateProposal
parameters fixed in the genesis file: GenesisParameters

Synopsis

data ProtocolParameters = ProtocolParameters {
- protocolParamProtocolVersion ∷ (Natural, Natural)
- protocolParamDecentralization ∷ Maybe Rational
- protocolParamExtraPraosEntropy ∷ Maybe PraosNonce
- protocolParamMaxBlockHeaderSize ∷ Natural
- protocolParamMaxBlockBodySize ∷ Natural
- protocolParamMaxTxSize ∷ Natural
- protocolParamTxFeeFixed ∷ Natural
- protocolParamTxFeePerByte ∷ Natural
- protocolParamMinUTxOValue ∷ Maybe Lovelace
- protocolParamStakeAddressDeposit ∷ Lovelace
- protocolParamStakePoolDeposit ∷ Lovelace
- protocolParamMinPoolCost ∷ Lovelace
- protocolParamPoolRetireMaxEpoch ∷ EpochNo
- protocolParamStakePoolTargetNum ∷ Natural
- protocolParamPoolPledgeInfluence ∷ Rational
- protocolParamMonetaryExpansion ∷ Rational
- protocolParamTreasuryCut ∷ Rational
- protocolParamUTxOCostPerWord ∷ Maybe Lovelace
- protocolParamCostModels ∷ Map AnyPlutusScriptVersion CostModel
- protocolParamPrices ∷ Maybe ExecutionUnitPrices
- protocolParamMaxTxExUnits ∷ Maybe ExecutionUnits
- protocolParamMaxBlockExUnits ∷ Maybe ExecutionUnits
- protocolParamMaxValueSize ∷ Maybe Natural
- protocolParamCollateralPercent ∷ Maybe Natural
- protocolParamMaxCollateralInputs ∷ Maybe Natural
- protocolParamUTxOCostPerByte ∷ Maybe Lovelace
}
checkProtocolParameters ∷ ∀ era. IsCardanoEra era ⇒ ShelleyBasedEra era → ProtocolParameters → Either ProtocolParametersError ()
data ProtocolParametersError
- = PParamsErrorMissingMinUTxoValue AnyCardanoEra
- | PParamsErrorMissingAlonzoProtocolParameter
data EpochNo
data BundledProtocolParameters era where
- BundleAsByronProtocolParameters ∷ ProtocolParameters → BundledProtocolParameters ByronEra
- BundleAsShelleyBasedProtocolParameters ∷ ShelleyBasedEra era → ProtocolParameters → PParams (ShelleyLedgerEra era) → BundledProtocolParameters era
bundleProtocolParams ∷ CardanoEra era → ProtocolParameters → BundledProtocolParameters era
unbundleProtocolParams ∷ BundledProtocolParameters era → ProtocolParameters
unbundleLedgerShelleyBasedProtocolParams ∷ ShelleyBasedEra era → BundledProtocolParameters era → PParams (ShelleyLedgerEra era)
data ProtocolParametersUpdate = ProtocolParametersUpdate {
- protocolUpdateProtocolVersion ∷ Maybe (Natural, Natural)
- protocolUpdateDecentralization ∷ Maybe Rational
- protocolUpdateExtraPraosEntropy ∷ Maybe (Maybe PraosNonce)
- protocolUpdateMaxBlockHeaderSize ∷ Maybe Natural
- protocolUpdateMaxBlockBodySize ∷ Maybe Natural
- protocolUpdateMaxTxSize ∷ Maybe Natural
- protocolUpdateTxFeeFixed ∷ Maybe Natural
- protocolUpdateTxFeePerByte ∷ Maybe Natural
- protocolUpdateMinUTxOValue ∷ Maybe Lovelace
- protocolUpdateStakeAddressDeposit ∷ Maybe Lovelace
- protocolUpdateStakePoolDeposit ∷ Maybe Lovelace
- protocolUpdateMinPoolCost ∷ Maybe Lovelace
- protocolUpdatePoolRetireMaxEpoch ∷ Maybe EpochNo
- protocolUpdateStakePoolTargetNum ∷ Maybe Natural
- protocolUpdatePoolPledgeInfluence ∷ Maybe Rational
- protocolUpdateMonetaryExpansion ∷ Maybe Rational
- protocolUpdateTreasuryCut ∷ Maybe Rational
- protocolUpdateUTxOCostPerWord ∷ Maybe Lovelace
- protocolUpdateCostModels ∷ Map AnyPlutusScriptVersion CostModel
- protocolUpdatePrices ∷ Maybe ExecutionUnitPrices
- protocolUpdateMaxTxExUnits ∷ Maybe ExecutionUnits
- protocolUpdateMaxBlockExUnits ∷ Maybe ExecutionUnits
- protocolUpdateMaxValueSize ∷ Maybe Natural
- protocolUpdateCollateralPercent ∷ Maybe Natural
- protocolUpdateMaxCollateralInputs ∷ Maybe Natural
- protocolUpdateUTxOCostPerByte ∷ Maybe Lovelace
}
data PraosNonce
makePraosNonce ∷ ByteString → PraosNonce
data ExecutionUnits = ExecutionUnits {
- executionSteps ∷ Natural
- executionMemory ∷ Natural
}
data ExecutionUnitPrices = ExecutionUnitPrices {
- priceExecutionSteps ∷ Rational
- priceExecutionMemory ∷ Rational
}
newtype CostModel = CostModel (Map Text Integer)
validateCostModel ∷ PlutusScriptVersion lang → CostModel → Either InvalidCostModel ()
fromAlonzoCostModels ∷ CostModels → Map AnyPlutusScriptVersion CostModel
data UpdateProposal = UpdateProposal !(Map (Hash GenesisKey) ProtocolParametersUpdate) !EpochNo
makeShelleyUpdateProposal ∷ ProtocolParametersUpdate → [Hash GenesisKey] → EpochNo → UpdateProposal
toLedgerNonce ∷ Maybe PraosNonce → Nonce
toLedgerUpdate ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → UpdateProposal → Update ledgerera
fromLedgerUpdate ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → Update ledgerera → UpdateProposal
toLedgerProposedPPUpdates ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → Map (Hash GenesisKey) ProtocolParametersUpdate → ProposedPPUpdates ledgerera
fromLedgerProposedPPUpdates ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → ProposedPPUpdates ledgerera → Map (Hash GenesisKey) ProtocolParametersUpdate
toLedgerPParams ∷ ShelleyBasedEra era → ProtocolParameters → PParams (ShelleyLedgerEra era)
fromLedgerPParams ∷ ShelleyBasedEra era → PParams (ShelleyLedgerEra era) → ProtocolParameters
fromShelleyPParams ∷ ShelleyPParams ledgerera → ProtocolParameters
toAlonzoPrices ∷ ExecutionUnitPrices → Maybe Prices
fromAlonzoPrices ∷ Prices → ExecutionUnitPrices
toAlonzoScriptLanguage ∷ AnyPlutusScriptVersion → Language
fromAlonzoScriptLanguage ∷ Language → AnyPlutusScriptVersion
toAlonzoCostModel ∷ CostModel → Language → Either InvalidCostModel CostModel
fromAlonzoCostModel ∷ CostModel → CostModel
toAlonzoCostModels ∷ Map AnyPlutusScriptVersion CostModel → Either String CostModels
toAlonzoPParams ∷ ProtocolParameters → AlonzoPParams ledgerera
toBabbagePParams ∷ ProtocolParameters → BabbagePParams ledgerera
toConwayPParams ∷ ProtocolParameters → BabbagePParams ledgerera
data family AsType t

The updatable protocol parameters

data ProtocolParameters Source #

The values of the set of updatable protocol parameters. At any particular point on the chain there is a current set of parameters in use.

These parameters can be updated (at epoch boundaries) via an UpdateProposal, which contains a ProtocolParametersUpdate.

The ProtocolParametersUpdate is essentially a diff for the ProtocolParameters.

There are also parameters fixed in the Genesis file. See GenesisParameters.

Constructors

ProtocolParameters

Fields

protocolParamProtocolVersion ∷ (Natural, Natural)
Protocol version, major and minor. Updating the major version is used to trigger hard forks. (Major , Minor )
protocolParamDecentralization ∷ Maybe Rational
The decentralization parameter. This is fraction of slots that belong to the BFT overlay schedule, rather than the Praos schedule. So 1 means fully centralised, while 0 means fully decentralised.
This is the "d" parameter from the design document.
Deprecated in Babbage
protocolParamExtraPraosEntropy ∷ Maybe PraosNonce
Extra entropy for the Praos per-epoch nonce.
This can be used to add extra entropy during the decentralisation process. If the extra entropy can be demonstrated to be generated randomly then this method can be used to show that the initial federated operators did not subtly bias the initial schedule so that they retain undue influence after decentralisation.
protocolParamMaxBlockHeaderSize ∷ Natural
The maximum permitted size of a block header.
This must be at least as big as the largest legitimate block headers but should not be too much larger, to help prevent DoS attacks.
Caution: setting this to be smaller than legitimate block headers is a sure way to brick the system!
protocolParamMaxBlockBodySize ∷ Natural
The maximum permitted size of the block body (that is, the block payload, without the block header).
This should be picked with the Praos network delta security parameter in mind. Making this too large can severely weaken the Praos consensus properties.
Caution: setting this to be smaller than a transaction that can change the protocol parameters is a sure way to brick the system!
protocolParamMaxTxSize ∷ Natural
The maximum permitted size of a transaction.
Typically this should not be too high a fraction of the block size, otherwise wastage from block fragmentation becomes a problem, and the current implementation does not use any sophisticated box packing algorithm.
protocolParamTxFeeFixed ∷ Natural
The constant factor for the minimum fee calculation.
protocolParamTxFeePerByte ∷ Natural
The linear factor for the minimum fee calculation.
protocolParamMinUTxOValue ∷ Maybe Lovelace
The minimum permitted value for new UTxO entries, ie for transaction outputs.
protocolParamStakeAddressDeposit ∷ Lovelace
The deposit required to register a stake address.
protocolParamStakePoolDeposit ∷ Lovelace
The deposit required to register a stake pool.
protocolParamMinPoolCost ∷ Lovelace
The minimum value that stake pools are permitted to declare for their cost parameter.
protocolParamPoolRetireMaxEpoch ∷ EpochNo
The maximum number of epochs into the future that stake pools are permitted to schedule a retirement.
protocolParamStakePoolTargetNum ∷ Natural
The equilibrium target number of stake pools.
This is the "k" incentives parameter from the design document.
protocolParamPoolPledgeInfluence ∷ Rational
The influence of the pledge in stake pool rewards.
This is the "a_0" incentives parameter from the design document.
protocolParamMonetaryExpansion ∷ Rational
The monetary expansion rate. This determines the fraction of the reserves that are added to the fee pot each epoch.
This is the "rho" incentives parameter from the design document.
protocolParamTreasuryCut ∷ Rational
The fraction of the fee pot each epoch that goes to the treasury.
This is the "tau" incentives parameter from the design document.
protocolParamUTxOCostPerWord ∷ Maybe Lovelace
Cost in ada per word of UTxO storage.
Introduced in Alonzo
protocolParamCostModels ∷ Map AnyPlutusScriptVersion CostModel
Cost models for script languages that use them.
Introduced in Alonzo
protocolParamPrices ∷ Maybe ExecutionUnitPrices
Price of execution units for script languages that use them.
Introduced in Alonzo
protocolParamMaxTxExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per tx
Introduced in Alonzo
protocolParamMaxBlockExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per block
Introduced in Alonzo
protocolParamMaxValueSize ∷ Maybe Natural
Max size of a Value in a tx output.
Introduced in Alonzo
protocolParamCollateralPercent ∷ Maybe Natural
The percentage of the script contribution to the txfee that must be provided as collateral inputs when including Plutus scripts.
Introduced in Alonzo
protocolParamMaxCollateralInputs ∷ Maybe Natural
The maximum number of collateral inputs allowed in a transaction.
Introduced in Alonzo
protocolParamUTxOCostPerByte ∷ Maybe Lovelace
Cost in ada per byte of UTxO storage.
Introduced in Babbage

Instances

Instances details

FromJSON ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser ProtocolParameters # parseJSONList ∷ Value → Parser [ProtocolParameters] #
ToJSON ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON ∷ ProtocolParameters → Value # toEncoding ∷ ProtocolParameters → Encoding # toJSONList ∷ [ProtocolParameters] → Value # toEncodingList ∷ [ProtocolParameters] → Encoding #
Generic ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters Associated Types type Rep ProtocolParameters ∷ Type → Type Source # Methods from ∷ ProtocolParameters → Rep ProtocolParameters x Source # to ∷ Rep ProtocolParameters x → ProtocolParameters Source #
Show ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParameters → ShowS Source # show ∷ ProtocolParameters → String Source # showList ∷ [ProtocolParameters] → ShowS Source #
Eq ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (/=) ∷ ProtocolParameters → ProtocolParameters → Bool Source #
type Rep ProtocolParameters Source #
Instance details Defined in Cardano.Api.ProtocolParameters type Rep ProtocolParameters = D1 ('MetaData "ProtocolParameters" "Cardano.Api.ProtocolParameters" "cardano-api-1.36.0-inplace" 'False) (C1 ('MetaCons "ProtocolParameters" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "protocolParamProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Natural, Natural)) :: (S1 ('MetaSel ('Just "protocolParamDecentralization") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Rational)) :: S1 ('MetaSel ('Just "protocolParamExtraPraosEntropy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PraosNonce)))) :: (S1 ('MetaSel ('Just "protocolParamMaxBlockHeaderSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: (S1 ('MetaSel ('Just "protocolParamMaxBlockBodySize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: S1 ('MetaSel ('Just "protocolParamMaxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))) :: ((S1 ('MetaSel ('Just "protocolParamTxFeeFixed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: (S1 ('MetaSel ('Just "protocolParamTxFeePerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: S1 ('MetaSel ('Just "protocolParamMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace)))) :: ((S1 ('MetaSel ('Just "protocolParamStakeAddressDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :: S1 ('MetaSel ('Just "protocolParamStakePoolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace)) :: (S1 ('MetaSel ('Just "protocolParamMinPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :: S1 ('MetaSel ('Just "protocolParamPoolRetireMaxEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo))))) :: (((S1 ('MetaSel ('Just "protocolParamStakePoolTargetNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :: (S1 ('MetaSel ('Just "protocolParamPoolPledgeInfluence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :: S1 ('MetaSel ('Just "protocolParamMonetaryExpansion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational))) :: (S1 ('MetaSel ('Just "protocolParamTreasuryCut") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :: (S1 ('MetaSel ('Just "protocolParamUTxOCostPerWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace)) :: S1 ('MetaSel ('Just "protocolParamCostModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AnyPlutusScriptVersion CostModel))))) :: ((S1 ('MetaSel ('Just "protocolParamPrices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExecutionUnitPrices)) :: (S1 ('MetaSel ('Just "protocolParamMaxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExecutionUnits)) :: S1 ('MetaSel ('Just "protocolParamMaxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExecutionUnits)))) :: ((S1 ('MetaSel ('Just "protocolParamMaxValueSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :: S1 ('MetaSel ('Just "protocolParamCollateralPercent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))) :: (S1 ('MetaSel ('Just "protocolParamMaxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just "protocolParamUTxOCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace))))))))

checkProtocolParameters ∷ ∀ era. IsCardanoEra era ⇒ ShelleyBasedEra era → ProtocolParameters → Either ProtocolParametersError () Source #

data ProtocolParametersError Source #

Constructors

PParamsErrorMissingMinUTxoValue AnyCardanoEra
PParamsErrorMissingAlonzoProtocolParameter

Instances

Instances details

Show ProtocolParametersError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParametersError → ShowS Source # show ∷ ProtocolParametersError → String Source # showList ∷ [ProtocolParametersError] → ShowS Source #
Error ProtocolParametersError Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods displayError ∷ ProtocolParametersError → String Source #

data EpochNo #

Instances

Instances details

FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochNo # parseJSONList ∷ Value → Parser [EpochNo] #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochNo → Value # toEncoding ∷ EpochNo → Encoding # toJSONList ∷ [EpochNo] → Value # toEncodingList ∷ [EpochNo] → Encoding #
Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochNo → EpochNo Source # pred ∷ EpochNo → EpochNo Source # toEnum ∷ Int → EpochNo Source # fromEnum ∷ EpochNo → Int Source # enumFrom ∷ EpochNo → [EpochNo] Source # enumFromThen ∷ EpochNo → EpochNo → [EpochNo] Source # enumFromTo ∷ EpochNo → EpochNo → [EpochNo] Source # enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] Source #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type Source # Methods from ∷ EpochNo → Rep EpochNo x Source # to ∷ Rep EpochNo x → EpochNo Source #
Num EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) ∷ EpochNo → EpochNo → EpochNo Source # (-) ∷ EpochNo → EpochNo → EpochNo Source # (*) ∷ EpochNo → EpochNo → EpochNo Source # negate ∷ EpochNo → EpochNo Source # abs ∷ EpochNo → EpochNo Source # signum ∷ EpochNo → EpochNo Source # fromInteger ∷ Integer → EpochNo Source #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS Source # show ∷ EpochNo → String Source # showList ∷ [EpochNo] → ShowS Source #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo # label ∷ Proxy EpochNo → Text #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochNo → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size #
NFData EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochNo → () Source #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool Source # (/=) ∷ EpochNo → EpochNo → Bool Source #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochNo → EpochNo → Ordering Source # (<) ∷ EpochNo → EpochNo → Bool Source # (<=) ∷ EpochNo → EpochNo → Bool Source # (>) ∷ EpochNo → EpochNo → Bool Source # (>=) ∷ EpochNo → EpochNo → Bool Source # max ∷ EpochNo → EpochNo → EpochNo Source # min ∷ EpochNo → EpochNo → EpochNo Source #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy EpochNo → String
Condense EpochNo
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ EpochNo → String
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ EpochNo → Encoding decode ∷ Decoder s EpochNo encodeList ∷ [EpochNo] → Encoding decodeList ∷ Decoder s [EpochNo]
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-5ecadb882e6f1896225ef3f366c408bfc73edba8fb7d935db3b12f51d1c1f954" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data BundledProtocolParameters era where Source #

Bundle cardano-api representation and ledger representation of protocol parameters together so they can be computed once and passed around rather than re-computed unecessarily.

The consructor arguments are intentionally lazy so that the values are not computed if not used (which may be the case for some code paths).

Constructors

BundleAsByronProtocolParameters ∷ ProtocolParameters → BundledProtocolParameters ByronEra
BundleAsShelleyBasedProtocolParameters ∷ ShelleyBasedEra era → ProtocolParameters → PParams (ShelleyLedgerEra era) → BundledProtocolParameters era

bundleProtocolParams ∷ CardanoEra era → ProtocolParameters → BundledProtocolParameters era Source #

unbundleProtocolParams ∷ BundledProtocolParameters era → ProtocolParameters Source #

unbundleLedgerShelleyBasedProtocolParams ∷ ShelleyBasedEra era → BundledProtocolParameters era → PParams (ShelleyLedgerEra era) Source #

Updates to the protocol parameters

data ProtocolParametersUpdate Source #

The representation of a change in the ProtocolParameters.

Constructors

ProtocolParametersUpdate

Fields

protocolUpdateProtocolVersion ∷ Maybe (Natural, Natural)
Protocol version, major and minor. Updating the major version is used to trigger hard forks.
protocolUpdateDecentralization ∷ Maybe Rational
The decentralization parameter. This is fraction of slots that belong to the BFT overlay schedule, rather than the Praos schedule. So 1 means fully centralised, while 0 means fully decentralised.
This is the "d" parameter from the design document.
protocolUpdateExtraPraosEntropy ∷ Maybe (Maybe PraosNonce)
Extra entropy for the Praos per-epoch nonce.
This can be used to add extra entropy during the decentralisation process. If the extra entropy can be demonstrated to be generated randomly then this method can be used to show that the initial federated operators did not subtly bias the initial schedule so that they retain undue influence after decentralisation.
protocolUpdateMaxBlockHeaderSize ∷ Maybe Natural
The maximum permitted size of a block header.
This must be at least as big as the largest legitimate block headers but should not be too much larger, to help prevent DoS attacks.
Caution: setting this to be smaller than legitimate block headers is a sure way to brick the system!
protocolUpdateMaxBlockBodySize ∷ Maybe Natural
The maximum permitted size of the block body (that is, the block payload, without the block header).
This should be picked with the Praos network delta security parameter in mind. Making this too large can severely weaken the Praos consensus properties.
Caution: setting this to be smaller than a transaction that can change the protocol parameters is a sure way to brick the system!
protocolUpdateMaxTxSize ∷ Maybe Natural
The maximum permitted size of a transaction.
Typically this should not be too high a fraction of the block size, otherwise wastage from block fragmentation becomes a problem, and the current implementation does not use any sophisticated box packing algorithm.
protocolUpdateTxFeeFixed ∷ Maybe Natural
The constant factor for the minimum fee calculation.
protocolUpdateTxFeePerByte ∷ Maybe Natural
The linear factor for the minimum fee calculation.
protocolUpdateMinUTxOValue ∷ Maybe Lovelace
The minimum permitted value for new UTxO entries, ie for transaction outputs.
protocolUpdateStakeAddressDeposit ∷ Maybe Lovelace
The deposit required to register a stake address.
protocolUpdateStakePoolDeposit ∷ Maybe Lovelace
The deposit required to register a stake pool.
protocolUpdateMinPoolCost ∷ Maybe Lovelace
The minimum value that stake pools are permitted to declare for their cost parameter.
protocolUpdatePoolRetireMaxEpoch ∷ Maybe EpochNo
The maximum number of epochs into the future that stake pools are permitted to schedule a retirement.
protocolUpdateStakePoolTargetNum ∷ Maybe Natural
The equilibrium target number of stake pools.
This is the "k" incentives parameter from the design document.
protocolUpdatePoolPledgeInfluence ∷ Maybe Rational
The influence of the pledge in stake pool rewards.
This is the "a_0" incentives parameter from the design document.
protocolUpdateMonetaryExpansion ∷ Maybe Rational
The monetary expansion rate. This determines the fraction of the reserves that are added to the fee pot each epoch.
This is the "rho" incentives parameter from the design document.
protocolUpdateTreasuryCut ∷ Maybe Rational
The fraction of the fee pot each epoch that goes to the treasury.
This is the "tau" incentives parameter from the design document.
protocolUpdateUTxOCostPerWord ∷ Maybe Lovelace
Cost in ada per word of UTxO storage.
Introduced in Alonzo, obsoleted in Babbage by protocolUpdateUTxOCostPerByte
protocolUpdateCostModels ∷ Map AnyPlutusScriptVersion CostModel
Cost models for script languages that use them.
Introduced in Alonzo
protocolUpdatePrices ∷ Maybe ExecutionUnitPrices
Price of execution units for script languages that use them.
Introduced in Alonzo
protocolUpdateMaxTxExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per tx
Introduced in Alonzo
protocolUpdateMaxBlockExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per block
Introduced in Alonzo
protocolUpdateMaxValueSize ∷ Maybe Natural
Max size of a Value in a tx output.
Introduced in Alonzo
protocolUpdateCollateralPercent ∷ Maybe Natural
The percentage of the script contribution to the txfee that must be provided as collateral inputs when including Plutus scripts.
Introduced in Alonzo
protocolUpdateMaxCollateralInputs ∷ Maybe Natural
The maximum number of collateral inputs allowed in a transaction.
Introduced in Alonzo
protocolUpdateUTxOCostPerByte ∷ Maybe Lovelace
Cost in ada per byte of UTxO storage.
Introduced in Babbage. Supercedes protocolUpdateUTxOCostPerWord

Instances

Instances details

Monoid ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods mempty ∷ ProtocolParametersUpdate Source # mappend ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → ProtocolParametersUpdate Source # mconcat ∷ [ProtocolParametersUpdate] → ProtocolParametersUpdate Source #
Semigroup ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (<>) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → ProtocolParametersUpdate Source # sconcat ∷ NonEmpty ProtocolParametersUpdate → ProtocolParametersUpdate Source # stimes ∷ Integral b ⇒ b → ProtocolParametersUpdate → ProtocolParametersUpdate Source #
Show ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParametersUpdate → ShowS Source # show ∷ ProtocolParametersUpdate → String Source # showList ∷ [ProtocolParametersUpdate] → ShowS Source #
FromCBOR ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s ProtocolParametersUpdate # label ∷ Proxy ProtocolParametersUpdate → Text #
ToCBOR ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR ∷ ProtocolParametersUpdate → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ProtocolParametersUpdate → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProtocolParametersUpdate] → Size #
Eq ProtocolParametersUpdate Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool Source # (/=) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool Source #

PraosNonce

data PraosNonce Source #

Instances

Instances details

FromJSON PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser PraosNonce # parseJSONList ∷ Value → Parser [PraosNonce] #
ToJSON PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON ∷ PraosNonce → Value # toEncoding ∷ PraosNonce → Encoding # toJSONList ∷ [PraosNonce] → Value # toEncodingList ∷ [PraosNonce] → Encoding #
IsString PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromString ∷ String → PraosNonce Source #
Generic PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Associated Types type Rep PraosNonce ∷ Type → Type Source # Methods from ∷ PraosNonce → Rep PraosNonce x Source # to ∷ Rep PraosNonce x → PraosNonce Source #
Show PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → PraosNonce → ShowS Source # show ∷ PraosNonce → String Source # showList ∷ [PraosNonce] → ShowS Source #
HasTypeProxy PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Associated Types data AsType PraosNonce Source # Methods proxyToAsType ∷ Proxy PraosNonce → AsType PraosNonce Source #
SerialiseAsRawBytes PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods serialiseToRawBytes ∷ PraosNonce → ByteString Source # deserialiseFromRawBytes ∷ AsType PraosNonce → ByteString → Either SerialiseAsRawBytesError PraosNonce Source #
FromCBOR PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s PraosNonce # label ∷ Proxy PraosNonce → Text #
ToCBOR PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR ∷ PraosNonce → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PraosNonce → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PraosNonce] → Size #
Eq PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ PraosNonce → PraosNonce → Bool Source # (/=) ∷ PraosNonce → PraosNonce → Bool Source #
Ord PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods compare ∷ PraosNonce → PraosNonce → Ordering Source # (<) ∷ PraosNonce → PraosNonce → Bool Source # (<=) ∷ PraosNonce → PraosNonce → Bool Source # (>) ∷ PraosNonce → PraosNonce → Bool Source # (>=) ∷ PraosNonce → PraosNonce → Bool Source # max ∷ PraosNonce → PraosNonce → PraosNonce Source # min ∷ PraosNonce → PraosNonce → PraosNonce Source #
type Rep PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters type Rep PraosNonce = D1 ('MetaData "PraosNonce" "Cardano.Api.ProtocolParameters" "cardano-api-1.36.0-inplace" 'True) (C1 ('MetaCons "PraosNonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash StandardCrypto ByteString))))
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce

makePraosNonce ∷ ByteString → PraosNonce Source #

Execution units, prices and cost models,

data ExecutionUnits Source #

The units for how long a script executes for and how much memory it uses. This is used to declare the resources used by a particular use of a script.

This type is also used to describe the limits for the maximum overall execution units per transaction or per block.

Constructors

ExecutionUnits
Fields executionSteps ∷ Natural This corresponds roughly to the time to execute a script. executionMemory ∷ Natural This corresponds roughly to the peak memory used during script execution.

Instances

Instances details

FromJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods parseJSON ∷ Value → Parser ExecutionUnits # parseJSONList ∷ Value → Parser [ExecutionUnits] #
ToJSON ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods toJSON ∷ ExecutionUnits → Value # toEncoding ∷ ExecutionUnits → Encoding # toJSONList ∷ [ExecutionUnits] → Value # toEncodingList ∷ [ExecutionUnits] → Encoding #
Show ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods showsPrec ∷ Int → ExecutionUnits → ShowS Source # show ∷ ExecutionUnits → String Source # showList ∷ [ExecutionUnits] → ShowS Source #
FromCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods fromCBOR ∷ Decoder s ExecutionUnits # label ∷ Proxy ExecutionUnits → Text #
ToCBOR ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods toCBOR ∷ ExecutionUnits → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ExecutionUnits → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ExecutionUnits] → Size #
Eq ExecutionUnits Source #
Instance details Defined in Cardano.Api.Script Methods (==) ∷ ExecutionUnits → ExecutionUnits → Bool Source # (/=) ∷ ExecutionUnits → ExecutionUnits → Bool Source #

data ExecutionUnitPrices Source #

The prices for ExecutionUnits as a fraction of a Lovelace.

These are used to determine the fee for the use of a script within a transaction, based on the ExecutionUnits needed by the use of the script.

Constructors

ExecutionUnitPrices
Fields priceExecutionSteps ∷ Rational priceExecutionMemory ∷ Rational

Instances

Instances details

FromJSON ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser ExecutionUnitPrices # parseJSONList ∷ Value → Parser [ExecutionUnitPrices] #
ToJSON ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON ∷ ExecutionUnitPrices → Value # toEncoding ∷ ExecutionUnitPrices → Encoding # toJSONList ∷ [ExecutionUnitPrices] → Value # toEncodingList ∷ [ExecutionUnitPrices] → Encoding #
Show ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → ExecutionUnitPrices → ShowS Source # show ∷ ExecutionUnitPrices → String Source # showList ∷ [ExecutionUnitPrices] → ShowS Source #
FromCBOR ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s ExecutionUnitPrices # label ∷ Proxy ExecutionUnitPrices → Text #
ToCBOR ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR ∷ ExecutionUnitPrices → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ExecutionUnitPrices → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ExecutionUnitPrices] → Size #
Eq ExecutionUnitPrices Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ ExecutionUnitPrices → ExecutionUnitPrices → Bool Source # (/=) ∷ ExecutionUnitPrices → ExecutionUnitPrices → Bool Source #

newtype CostModel Source #

Constructors

CostModel (Map Text Integer)

Instances

Instances details

FromJSON CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser CostModel # parseJSONList ∷ Value → Parser [CostModel] #
ToJSON CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toJSON ∷ CostModel → Value # toEncoding ∷ CostModel → Encoding # toJSONList ∷ [CostModel] → Value # toEncodingList ∷ [CostModel] → Encoding #
Show CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → CostModel → ShowS Source # show ∷ CostModel → String Source # showList ∷ [CostModel] → ShowS Source #
FromCBOR CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s CostModel # label ∷ Proxy CostModel → Text #
ToCBOR CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR ∷ CostModel → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CostModel → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CostModel] → Size #
Eq CostModel Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ CostModel → CostModel → Bool Source # (/=) ∷ CostModel → CostModel → Bool Source #

validateCostModel ∷ PlutusScriptVersion lang → CostModel → Either InvalidCostModel () Source #

fromAlonzoCostModels ∷ CostModels → Map AnyPlutusScriptVersion CostModel Source #

Update proposals to change the protocol parameters

data UpdateProposal Source #

Constructors

UpdateProposal !(Map (Hash GenesisKey) ProtocolParametersUpdate) !EpochNo

Instances

Instances details

Show UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods showsPrec ∷ Int → UpdateProposal → ShowS Source # show ∷ UpdateProposal → String Source # showList ∷ [UpdateProposal] → ShowS Source #
HasTypeProxy UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Associated Types data AsType UpdateProposal Source # Methods proxyToAsType ∷ Proxy UpdateProposal → AsType UpdateProposal Source #
SerialiseAsCBOR UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods serialiseToCBOR ∷ UpdateProposal → ByteString Source # deserialiseFromCBOR ∷ AsType UpdateProposal → ByteString → Either DecoderError UpdateProposal Source #
HasTextEnvelope UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods textEnvelopeType ∷ AsType UpdateProposal → TextEnvelopeType Source # textEnvelopeDefaultDescr ∷ UpdateProposal → TextEnvelopeDescr Source #
FromCBOR UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s UpdateProposal # label ∷ Proxy UpdateProposal → Text #
ToCBOR UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods toCBOR ∷ UpdateProposal → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UpdateProposal → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UpdateProposal] → Size #
Eq UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters Methods (==) ∷ UpdateProposal → UpdateProposal → Bool Source # (/=) ∷ UpdateProposal → UpdateProposal → Bool Source #
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal

makeShelleyUpdateProposal ∷ ProtocolParametersUpdate → [Hash GenesisKey] → EpochNo → UpdateProposal Source #

Internal conversion functions

toLedgerNonce ∷ Maybe PraosNonce → Nonce Source #

toLedgerUpdate ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → UpdateProposal → Update ledgerera Source #

fromLedgerUpdate ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → Update ledgerera → UpdateProposal Source #

toLedgerProposedPPUpdates ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → Map (Hash GenesisKey) ProtocolParametersUpdate → ProposedPPUpdates ledgerera Source #

fromLedgerProposedPPUpdates ∷ ∀ era ledgerera. ShelleyLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ ShelleyBasedEra era → ProposedPPUpdates ledgerera → Map (Hash GenesisKey) ProtocolParametersUpdate Source #

toLedgerPParams ∷ ShelleyBasedEra era → ProtocolParameters → PParams (ShelleyLedgerEra era) Source #

fromLedgerPParams ∷ ShelleyBasedEra era → PParams (ShelleyLedgerEra era) → ProtocolParameters Source #

fromShelleyPParams ∷ ShelleyPParams ledgerera → ProtocolParameters Source #

toAlonzoPrices ∷ ExecutionUnitPrices → Maybe Prices Source #

fromAlonzoPrices ∷ Prices → ExecutionUnitPrices Source #

toAlonzoScriptLanguage ∷ AnyPlutusScriptVersion → Language Source #

fromAlonzoScriptLanguage ∷ Language → AnyPlutusScriptVersion Source #

toAlonzoCostModel ∷ CostModel → Language → Either InvalidCostModel CostModel Source #

fromAlonzoCostModel ∷ CostModel → CostModel Source #

toAlonzoCostModels ∷ Map AnyPlutusScriptVersion CostModel → Either String CostModels Source #

toAlonzoPParams ∷ ProtocolParameters → AlonzoPParams ledgerera Source #

toBabbagePParams ∷ ProtocolParameters → BabbagePParams ledgerera Source #

toConwayPParams ∷ ProtocolParameters → BabbagePParams ledgerera Source #

Data family instances

data family AsType t Source #

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

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType Certificate Source #
Instance details Defined in Cardano.Api.Certificate data AsType Certificate = AsCertificate
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Eras data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Eras data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Eras data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Eras data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Eras data AsType ShelleyEra = AsShelleyEra
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType VrfKey = AsVrfKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source #
Instance details Defined in Cardano.Api.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.TxBody data AsType (TxBody era) = AsTxBody (AsType era)