Safe Haskell	None
Language	Haskell2010

Bcc.Api.ProtocolParameters

Contents

The updateable protocol paramaters
Updates to the protocol paramaters
OptimumNonce
Execution units, prices and cost models,
Update proposals to change the protocol paramaters
Internal conversion functions
Data family instances

Description

The various Bcc protocol parameters, including:

the current values of updateable 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 ∷ Rational
- protocolParamExtraOptimumEntropy ∷ Maybe OptimumNonce
- protocolParamMaxBlockHeaderSize ∷ Natural
- protocolParamMaxBlockBodySize ∷ Natural
- protocolParamMaxTxSize ∷ Natural
- protocolParamTxFeeFixed ∷ Natural
- protocolParamTxFeePerByte ∷ Natural
- protocolParamMinUTxOValue ∷ Maybe Entropic
- protocolParamStakeAddressDeposit ∷ Entropic
- protocolParamStakePoolDeposit ∷ Entropic
- protocolParamMinPoolCost ∷ Entropic
- protocolParamPoolRetireMaxEpoch ∷ EpochNo
- protocolParamStakePoolTargetNum ∷ Natural
- protocolParamPoolPledgeInfluence ∷ Rational
- protocolParamMonetaryExpansion ∷ Rational
- protocolParamTreasuryCut ∷ Rational
- protocolParamUTxOCostPerWord ∷ Maybe Entropic
- protocolParamCostModels ∷ Map AnyZerepochScriptVersion CostModel
- protocolParamPrices ∷ Maybe ExecutionUnitPrices
- protocolParamMaxTxExUnits ∷ Maybe ExecutionUnits
- protocolParamMaxBlockExUnits ∷ Maybe ExecutionUnits
- protocolParamMaxValueSize ∷ Maybe Natural
- protocolParamCollateralPercent ∷ Maybe Natural
- protocolParamMaxCollateralInputs ∷ Maybe Natural
}
checkProtocolParameters ∷ ∀ era. IsBccEra era ⇒ SophieBasedEra era → ProtocolParameters → Either ProtocolParametersError ()
data ProtocolParametersError
- = PParamsErrorMissingMinUTxoValue AnyBccEra
- | PParamsErrorMissingAurumProtocolParameter
data EpochNo
data ProtocolParametersUpdate = ProtocolParametersUpdate {
- protocolUpdateProtocolVersion ∷ Maybe (Natural, Natural)
- protocolUpdateDecentralization ∷ Maybe Rational
- protocolUpdateExtraOptimumEntropy ∷ Maybe (Maybe OptimumNonce)
- protocolUpdateMaxBlockHeaderSize ∷ Maybe Natural
- protocolUpdateMaxBlockBodySize ∷ Maybe Natural
- protocolUpdateMaxTxSize ∷ Maybe Natural
- protocolUpdateTxFeeFixed ∷ Maybe Natural
- protocolUpdateTxFeePerByte ∷ Maybe Natural
- protocolUpdateMinUTxOValue ∷ Maybe Entropic
- protocolUpdateStakeAddressDeposit ∷ Maybe Entropic
- protocolUpdateStakePoolDeposit ∷ Maybe Entropic
- protocolUpdateMinPoolCost ∷ Maybe Entropic
- protocolUpdatePoolRetireMaxEpoch ∷ Maybe EpochNo
- protocolUpdateStakePoolTargetNum ∷ Maybe Natural
- protocolUpdatePoolPledgeInfluence ∷ Maybe Rational
- protocolUpdateMonetaryExpansion ∷ Maybe Rational
- protocolUpdateTreasuryCut ∷ Maybe Rational
- protocolUpdateUTxOCostPerWord ∷ Maybe Entropic
- protocolUpdateCostModels ∷ Map AnyZerepochScriptVersion CostModel
- protocolUpdatePrices ∷ Maybe ExecutionUnitPrices
- protocolUpdateMaxTxExUnits ∷ Maybe ExecutionUnits
- protocolUpdateMaxBlockExUnits ∷ Maybe ExecutionUnits
- protocolUpdateMaxValueSize ∷ Maybe Natural
- protocolUpdateCollateralPercent ∷ Maybe Natural
- protocolUpdateMaxCollateralInputs ∷ Maybe Natural
}
data OptimumNonce
makeOptimumNonce ∷ ByteString → OptimumNonce
data ExecutionUnits = ExecutionUnits {
- executionSteps ∷ Word64
- executionMemory ∷ Word64
}
data ExecutionUnitPrices = ExecutionUnitPrices {
- priceExecutionSteps ∷ Rational
- priceExecutionMemory ∷ Rational
}
newtype CostModel = CostModel (Map Text Integer)
validateCostModel ∷ ZerepochScriptVersion lang → CostModel → Either InvalidCostModel ()
data UpdateProposal = UpdateProposal !(Map (Hash GenesisKey) ProtocolParametersUpdate) !EpochNo
makeSophieUpdateProposal ∷ ProtocolParametersUpdate → [Hash GenesisKey] → EpochNo → UpdateProposal
toLedgerUpdate ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → UpdateProposal → Update ledgerera
fromLedgerUpdate ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → Update ledgerera → UpdateProposal
toLedgerProposedPPUpdates ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → Map (Hash GenesisKey) ProtocolParametersUpdate → ProposedPPUpdates ledgerera
fromLedgerProposedPPUpdates ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → ProposedPPUpdates ledgerera → Map (Hash GenesisKey) ProtocolParametersUpdate
toLedgerPParams ∷ SophieBasedEra era → ProtocolParameters → PParams (SophieLedgerEra era)
fromLedgerPParams ∷ SophieBasedEra era → PParams (SophieLedgerEra era) → ProtocolParameters
fromSophiePParams ∷ PParams ledgerera → ProtocolParameters
toAurumPrices ∷ ExecutionUnitPrices → Maybe Prices
fromAurumPrices ∷ Prices → ExecutionUnitPrices
toAurumScriptLanguage ∷ AnyZerepochScriptVersion → Language
fromAurumScriptLanguage ∷ Language → AnyZerepochScriptVersion
toAurumCostModel ∷ CostModel → CostModel
fromAurumCostModel ∷ CostModel → CostModel
data family AsType t

The updateable protocol paramaters

data ProtocolParameters Source #

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

These paramaters 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 paramaters 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.
protocolParamDecentralization ∷ Rational
The decentralization parameter. This is fraction of slots that belong to the BFT overlay schedule, rather than the Optimum schedule. So 1 means fully centralised, while 0 means fully decentralised.
This is the "d" parameter from the design document.
protocolParamExtraOptimumEntropy ∷ Maybe OptimumNonce
Extra entropy for the Optimum 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 Optimum network delta security parameter in mind. Making this too large can severely weaken the Optimum 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 Entropic
The minimum permitted value for new UTxO entries, ie for transaction outputs.
protocolParamStakeAddressDeposit ∷ Entropic
The deposit required to register a stake address.
protocolParamStakePoolDeposit ∷ Entropic
The deposit required to register a stake pool.
protocolParamMinPoolCost ∷ Entropic
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 Entropic
Cost in bcc per word of UTxO storage.
Introduced in Aurum
protocolParamCostModels ∷ Map AnyZerepochScriptVersion CostModel
Cost models for script languages that use them.
Introduced in Aurum
protocolParamPrices ∷ Maybe ExecutionUnitPrices
Price of execution units for script languages that use them.
Introduced in Aurum
protocolParamMaxTxExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per tx
Introduced in Aurum
protocolParamMaxBlockExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per block
Introduced in Aurum
protocolParamMaxValueSize ∷ Maybe Natural
Max size of a Value in a tx ouput.
Introduced in Aurum
protocolParamCollateralPercent ∷ Maybe Natural
The percentage of the script contribution to the txfee that must be provided as collateral inputs when including Zerepoch scripts.
Introduced in Aurum
protocolParamMaxCollateralInputs ∷ Maybe Natural
The maximum number of collateral inputs allowed in a transaction.
Introduced in Aurum

Instances

Instances details

Eq ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (==) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (/=) ∷ ProtocolParameters → ProtocolParameters → Bool Source #
Show ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParameters → ShowS Source # show ∷ ProtocolParameters → String Source # showList ∷ [ProtocolParameters] → ShowS Source #
Generic ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters Associated Types type Rep ProtocolParameters ∷ Type → Type Source # Methods from ∷ ProtocolParameters → Rep ProtocolParameters x Source # to ∷ Rep ProtocolParameters x → ProtocolParameters Source #
FromJSON ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser ProtocolParameters # parseJSONList ∷ Value → Parser [ProtocolParameters] #
ToJSON ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods toJSON ∷ ProtocolParameters → Value # toEncoding ∷ ProtocolParameters → Encoding # toJSONList ∷ [ProtocolParameters] → Value # toEncodingList ∷ [ProtocolParameters] → Encoding #
type Rep ProtocolParameters Source #
Instance details Defined in Bcc.Api.ProtocolParameters type Rep ProtocolParameters = D1 ('MetaData "ProtocolParameters" "Bcc.Api.ProtocolParameters" "bcc-api-1.99.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 Rational) :: S1 ('MetaSel ('Just "protocolParamExtraOptimumEntropy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OptimumNonce)))) :: (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 Entropic)))) :: (S1 ('MetaSel ('Just "protocolParamStakeAddressDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Entropic) :: (S1 ('MetaSel ('Just "protocolParamStakePoolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Entropic) :: S1 ('MetaSel ('Just "protocolParamMinPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Entropic))))) :: (((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 Entropic))))) :: ((S1 ('MetaSel ('Just "protocolParamCostModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AnyZerepochScriptVersion 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))))))))

checkProtocolParameters ∷ ∀ era. IsBccEra era ⇒ SophieBasedEra era → ProtocolParameters → Either ProtocolParametersError () Source #

data ProtocolParametersError Source #

Constructors

PParamsErrorMissingMinUTxoValue AnyBccEra
PParamsErrorMissingAurumProtocolParameter

Instances

Instances details

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

data EpochNo #

Instances

Instances details

Enum EpochNo
Instance details Defined in Bcc.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 #
Eq EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool Source # (/=) ∷ EpochNo → EpochNo → Bool Source #
Num EpochNo
Instance details Defined in Bcc.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 #
Ord EpochNo
Instance details Defined in Bcc.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 #
Show EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS Source # show ∷ EpochNo → String Source # showList ∷ [EpochNo] → ShowS Source #
Generic EpochNo
Instance details Defined in Bcc.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type Source # Methods from ∷ EpochNo → Rep EpochNo x Source # to ∷ Rep EpochNo x → EpochNo Source #
FromJSON EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochNo # parseJSONList ∷ Value → Parser [EpochNo] #
NoThunks EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy EpochNo → String
ToJSON EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods toJSON ∷ EpochNo → Value # toEncoding ∷ EpochNo → Encoding # toJSONList ∷ [EpochNo] → Value # toEncodingList ∷ [EpochNo] → Encoding #
FromCBOR EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo # label ∷ Proxy EpochNo → Text #
ToCBOR EpochNo
Instance details Defined in Bcc.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 #
Serialise EpochNo
Instance details Defined in Bcc.Slotting.Slot Methods encode ∷ EpochNo → Encoding decode ∷ Decoder s EpochNo encodeList ∷ [EpochNo] → Encoding decodeList ∷ Decoder s [EpochNo]
Condense EpochNo
Instance details Defined in Shardagnostic.Consensus.Util.Condense Methods condense ∷ EpochNo → String
type Rep EpochNo
Instance details Defined in Bcc.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Bcc.Slotting.Slot" "bcc-slotting-0.1.0.0-31796ee1b38506581e134229951d26120392aac1ce6c978fbf7438ab37ed4173" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Updates to the protocol paramaters

data ProtocolParametersUpdate Source #

The representation of a change in the ProtocolParameters.

Constructors

ProtocolParametersUpdate

Fields

protocolUpdateProtocolVersion ∷ Maybe (Natural, Natural)
Protocol version, major and current open Sentry. 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 Optimum schedule. So 1 means fully centralised, while 0 means fully decentralised.
This is the "d" parameter from the design document.
protocolUpdateExtraOptimumEntropy ∷ Maybe (Maybe OptimumNonce)
Extra entropy for the Optimum 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 Optimum network delta security parameter in mind. Making this too large can severely weaken the Optimum 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 Entropic
The minimum permitted value for new UTxO entries, ie for transaction outputs.
protocolUpdateStakeAddressDeposit ∷ Maybe Entropic
The deposit required to register a stake address.
protocolUpdateStakePoolDeposit ∷ Maybe Entropic
The deposit required to register a stake pool.
protocolUpdateMinPoolCost ∷ Maybe Entropic
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 Entropic
Cost in bcc per word of UTxO storage.
Introduced in Aurum
protocolUpdateCostModels ∷ Map AnyZerepochScriptVersion CostModel
Cost models for script languages that use them.
Introduced in Aurum
protocolUpdatePrices ∷ Maybe ExecutionUnitPrices
Price of execution units for script languages that use them.
Introduced in Aurum
protocolUpdateMaxTxExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per tx
Introduced in Aurum
protocolUpdateMaxBlockExUnits ∷ Maybe ExecutionUnits
Max total script execution resources units allowed per block
Introduced in Aurum
protocolUpdateMaxValueSize ∷ Maybe Natural
Max size of a Value in a tx output.
Introduced in Aurum
protocolUpdateCollateralPercent ∷ Maybe Natural
The percentage of the script contribution to the txfee that must be provided as collateral inputs when including Zerepoch scripts.
Introduced in Aurum
protocolUpdateMaxCollateralInputs ∷ Maybe Natural
The maximum number of collateral inputs allowed in a transaction.
Introduced in Aurum

Instances

Instances details

Eq ProtocolParametersUpdate Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (==) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool Source # (/=) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool Source #
Show ProtocolParametersUpdate Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParametersUpdate → ShowS Source # show ∷ ProtocolParametersUpdate → String Source # showList ∷ [ProtocolParametersUpdate] → ShowS Source #
Semigroup ProtocolParametersUpdate Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (<>) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → ProtocolParametersUpdate Source # sconcat ∷ NonEmpty ProtocolParametersUpdate → ProtocolParametersUpdate Source # stimes ∷ Integral b ⇒ b → ProtocolParametersUpdate → ProtocolParametersUpdate Source #
Monoid ProtocolParametersUpdate Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods mempty ∷ ProtocolParametersUpdate Source # mappend ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → ProtocolParametersUpdate Source # mconcat ∷ [ProtocolParametersUpdate] → ProtocolParametersUpdate Source #
FromCBOR ProtocolParametersUpdate Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s ProtocolParametersUpdate # label ∷ Proxy ProtocolParametersUpdate → Text #
ToCBOR ProtocolParametersUpdate Source #
Instance details Defined in Bcc.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 #

OptimumNonce

data OptimumNonce Source #

Instances

Instances details

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

makeOptimumNonce ∷ ByteString → OptimumNonce 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 ∷ Word64 This corresponds roughly to the time to execute a script. executionMemory ∷ Word64 This corresponds roughly to the peak memory used during script execution.

Instances

Instances details

Eq ExecutionUnits Source #
Instance details Defined in Bcc.Api.Script Methods (==) ∷ ExecutionUnits → ExecutionUnits → Bool Source # (/=) ∷ ExecutionUnits → ExecutionUnits → Bool Source #
Show ExecutionUnits Source #
Instance details Defined in Bcc.Api.Script Methods showsPrec ∷ Int → ExecutionUnits → ShowS Source # show ∷ ExecutionUnits → String Source # showList ∷ [ExecutionUnits] → ShowS Source #
FromJSON ExecutionUnits Source #
Instance details Defined in Bcc.Api.Script Methods parseJSON ∷ Value → Parser ExecutionUnits # parseJSONList ∷ Value → Parser [ExecutionUnits] #
ToJSON ExecutionUnits Source #
Instance details Defined in Bcc.Api.Script Methods toJSON ∷ ExecutionUnits → Value # toEncoding ∷ ExecutionUnits → Encoding # toJSONList ∷ [ExecutionUnits] → Value # toEncodingList ∷ [ExecutionUnits] → Encoding #
FromCBOR ExecutionUnits Source #
Instance details Defined in Bcc.Api.Script Methods fromCBOR ∷ Decoder s ExecutionUnits # label ∷ Proxy ExecutionUnits → Text #
ToCBOR ExecutionUnits Source #
Instance details Defined in Bcc.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 #

data ExecutionUnitPrices Source #

The prices for ExecutionUnits as a fraction of a Entropic.

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

Eq ExecutionUnitPrices Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (==) ∷ ExecutionUnitPrices → ExecutionUnitPrices → Bool Source # (/=) ∷ ExecutionUnitPrices → ExecutionUnitPrices → Bool Source #
Show ExecutionUnitPrices Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods showsPrec ∷ Int → ExecutionUnitPrices → ShowS Source # show ∷ ExecutionUnitPrices → String Source # showList ∷ [ExecutionUnitPrices] → ShowS Source #
FromJSON ExecutionUnitPrices Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser ExecutionUnitPrices # parseJSONList ∷ Value → Parser [ExecutionUnitPrices] #
ToJSON ExecutionUnitPrices Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods toJSON ∷ ExecutionUnitPrices → Value # toEncoding ∷ ExecutionUnitPrices → Encoding # toJSONList ∷ [ExecutionUnitPrices] → Value # toEncodingList ∷ [ExecutionUnitPrices] → Encoding #
FromCBOR ExecutionUnitPrices Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s ExecutionUnitPrices # label ∷ Proxy ExecutionUnitPrices → Text #
ToCBOR ExecutionUnitPrices Source #
Instance details Defined in Bcc.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 #

newtype CostModel Source #

Constructors

CostModel (Map Text Integer)

Instances

Instances details

Eq CostModel Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (==) ∷ CostModel → CostModel → Bool Source # (/=) ∷ CostModel → CostModel → Bool Source #
Show CostModel Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods showsPrec ∷ Int → CostModel → ShowS Source # show ∷ CostModel → String Source # showList ∷ [CostModel] → ShowS Source #
FromJSON CostModel Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods parseJSON ∷ Value → Parser CostModel # parseJSONList ∷ Value → Parser [CostModel] #
ToJSON CostModel Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods toJSON ∷ CostModel → Value # toEncoding ∷ CostModel → Encoding # toJSONList ∷ [CostModel] → Value # toEncodingList ∷ [CostModel] → Encoding #
FromCBOR CostModel Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s CostModel # label ∷ Proxy CostModel → Text #
ToCBOR CostModel Source #
Instance details Defined in Bcc.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 #

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

Update proposals to change the protocol paramaters

data UpdateProposal Source #

Constructors

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

Instances

Instances details

Eq UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods (==) ∷ UpdateProposal → UpdateProposal → Bool Source # (/=) ∷ UpdateProposal → UpdateProposal → Bool Source #
Show UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods showsPrec ∷ Int → UpdateProposal → ShowS Source # show ∷ UpdateProposal → String Source # showList ∷ [UpdateProposal] → ShowS Source #
FromCBOR UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods fromCBOR ∷ Decoder s UpdateProposal # label ∷ Proxy UpdateProposal → Text #
ToCBOR UpdateProposal Source #
Instance details Defined in Bcc.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 #
HasTypeProxy UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Associated Types data AsType UpdateProposal Source # Methods proxyToAsType ∷ Proxy UpdateProposal → AsType UpdateProposal Source #
SerialiseAsCBOR UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods serialiseToCBOR ∷ UpdateProposal → ByteString Source # deserialiseFromCBOR ∷ AsType UpdateProposal → ByteString → Either DecoderError UpdateProposal Source #
HasTextEnvelope UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters Methods textEnvelopeType ∷ AsType UpdateProposal → TextEnvelopeType Source # textEnvelopeDefaultDescr ∷ UpdateProposal → TextEnvelopeDescr Source #
data AsType UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal

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

Internal conversion functions

toLedgerUpdate ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → UpdateProposal → Update ledgerera Source #

fromLedgerUpdate ∷ ∀ era ledgerera. SophieLedgerEra era ~ ledgerera ⇒ Crypto ledgerera ~ StandardCrypto ⇒ SophieBasedEra era → Update ledgerera → UpdateProposal Source #

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

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

toLedgerPParams ∷ SophieBasedEra era → ProtocolParameters → PParams (SophieLedgerEra era) Source #

fromLedgerPParams ∷ SophieBasedEra era → PParams (SophieLedgerEra era) → ProtocolParameters Source #

fromSophiePParams ∷ PParams ledgerera → ProtocolParameters Source #

toAurumPrices ∷ ExecutionUnitPrices → Maybe Prices Source #

fromAurumPrices ∷ Prices → ExecutionUnitPrices Source #

toAurumScriptLanguage ∷ AnyZerepochScriptVersion → Language Source #

fromAurumScriptLanguage ∷ Language → AnyZerepochScriptVersion Source #

toAurumCostModel ∷ CostModel → CostModel Source #

fromAurumCostModel ∷ CostModel → CostModel 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 AurumEra Source #
Instance details Defined in Bcc.Api.Eras data AsType AurumEra = AsAurumEra
data AsType JenEra Source #
Instance details Defined in Bcc.Api.Eras data AsType JenEra = AsJenEra
data AsType EvieEra Source #
Instance details Defined in Bcc.Api.Eras data AsType EvieEra = AsEvieEra
data AsType SophieEra Source #
Instance details Defined in Bcc.Api.Eras data AsType SophieEra = AsSophieEra
data AsType ColeEra Source #
Instance details Defined in Bcc.Api.Eras data AsType ColeEra = AsColeEra
data AsType TextEnvelope Source #
Instance details Defined in Bcc.Api.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType TxMetadata Source #
Instance details Defined in Bcc.Api.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType StakePoolKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType StakePoolKey = AsStakePoolKey
data AsType VestedDelegateExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType VestedDelegateExtendedKey = AsVestedDelegateExtendedKey
data AsType VestedDelegateKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType VestedDelegateKey = AsVestedDelegateKey
data AsType VestedExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType VestedExtendedKey = AsVestedExtendedKey
data AsType VestedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType VestedKey = AsVestedKey
data AsType GenesisVestedDelegateExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisVestedDelegateExtendedKey = AsGenesisVestedDelegateExtendedKey
data AsType GenesisVestedDelegateKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisVestedDelegateKey = AsGenesisVestedDelegateKey
data AsType GenesisVestedExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisVestedExtendedKey = AsGenesisVestedExtendedKey
data AsType GenesisVestedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisVestedKey = AsGenesisVestedKey
data AsType VestedUTxOKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType VestedUTxOKey = AsVestedUTxOKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType GenesisKey = AsGenesisKey
data AsType StakeExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType StakeKey = AsStakeKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Bcc.Api.KeysSophie data AsType PaymentKey = AsPaymentKey
data AsType ScriptData Source #
Instance details Defined in Bcc.Api.ScriptData data AsType ScriptData = AsScriptData
data AsType ScriptHash Source #
Instance details Defined in Bcc.Api.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Bcc.Api.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType ZerepochScriptV1 Source #
Instance details Defined in Bcc.Api.Script data AsType ZerepochScriptV1 = AsZerepochScriptV1
data AsType SimpleScriptV2 Source #
Instance details Defined in Bcc.Api.Script data AsType SimpleScriptV2 = AsSimpleScriptV2
data AsType SimpleScriptV1 Source #
Instance details Defined in Bcc.Api.Script data AsType SimpleScriptV1 = AsSimpleScriptV1
data AsType ColeKeyLegacy Source #
Instance details Defined in Bcc.Api.KeysCole data AsType ColeKeyLegacy = AsColeKeyLegacy
data AsType ColeKey Source #
Instance details Defined in Bcc.Api.KeysCole data AsType ColeKey = AsColeKey
data AsType ColeVote Source #
Instance details Defined in Bcc.Api.SpecialCole data AsType ColeVote = AsColeVote
data AsType ColeUpdateProposal Source #
Instance details Defined in Bcc.Api.SpecialCole data AsType ColeUpdateProposal = AsColeUpdateProposal
data AsType VrfKey Source #
Instance details Defined in Bcc.Api.KeysOptimum data AsType VrfKey = AsVrfKey
data AsType KesKey Source #
Instance details Defined in Bcc.Api.KeysOptimum data AsType KesKey = AsKesKey
data AsType StakePoolMetadata Source #
Instance details Defined in Bcc.Api.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType StakeAddress Source #
Instance details Defined in Bcc.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType AddressAny Source #
Instance details Defined in Bcc.Api.Address data AsType AddressAny = AsAddressAny
data AsType SophieAddr Source #
Instance details Defined in Bcc.Api.Address data AsType SophieAddr = AsSophieAddr
data AsType ColeAddr Source #
Instance details Defined in Bcc.Api.Address data AsType ColeAddr = AsColeAddr
data AsType AssetName Source #
Instance details Defined in Bcc.Api.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Bcc.Api.Value data AsType PolicyId = AsPolicyId
data AsType UpdateProposal Source #
Instance details Defined in Bcc.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType OptimumNonce Source #
Instance details Defined in Bcc.Api.ProtocolParameters data AsType OptimumNonce = AsOptimumNonce
data AsType Certificate Source #
Instance details Defined in Bcc.Api.Certificate data AsType Certificate = AsCertificate
data AsType TxId Source #
Instance details Defined in Bcc.Api.TxBody data AsType TxId = AsTxId
data AsType BlockHeader Source #
Instance details Defined in Bcc.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Bcc.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType OperationalCertificate Source #
Instance details Defined in Bcc.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType (Hash a) Source #
Instance details Defined in Bcc.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Bcc.Api.Key data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Bcc.Api.Key data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (ZerepochScript lang) Source #
Instance details Defined in Bcc.Api.Script data AsType (ZerepochScript lang) = AsZerepochScript (AsType lang)
data AsType (SimpleScript lang) Source #
Instance details Defined in Bcc.Api.Script data AsType (SimpleScript lang) = AsSimpleScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Bcc.Api.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (Script lang) Source #
Instance details Defined in Bcc.Api.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (AddressInEra era) Source #
Instance details Defined in Bcc.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Address addrtype) Source #
Instance details Defined in Bcc.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (TxBody era) Source #
Instance details Defined in Bcc.Api.TxBody data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Bcc.Api.Tx data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Bcc.Api.Tx data AsType (Tx era) = AsTx (AsType era)