Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.ProtocolParameters

Synopsis

data ProtocolParameters = ProtocolParameters {
- ppScriptVersion ∷ !Word16
- ppSlotDuration ∷ !Natural
- ppMaxBlockSize ∷ !Natural
- ppMaxHeaderSize ∷ !Natural
- ppMaxTxSize ∷ !Natural
- ppMaxProposalSize ∷ !Natural
- ppMpcThd ∷ !LovelacePortion
- ppHeavyDelThd ∷ !LovelacePortion
- ppUpdateVoteThd ∷ !LovelacePortion
- ppUpdateProposalThd ∷ !LovelacePortion
- ppUpdateProposalTTL ∷ !SlotNumber
- ppSoftforkRule ∷ !SoftforkRule
- ppTxFeePolicy ∷ !TxFeePolicy
- ppUnlockStakeEpoch ∷ !EpochNumber
}
upAdptThd ∷ Word8 → ProtocolParameters → Int
isBootstrapEraPP ∷ ProtocolParameters → EpochNumber → Bool

Documentation

data ProtocolParameters Source #

Data which is associated with BlockVersion

Constructors

ProtocolParameters

Fields

ppScriptVersion ∷ !Word16
ppSlotDuration ∷ !Natural
Milliseconds.
ppMaxBlockSize ∷ !Natural
ppMaxHeaderSize ∷ !Natural
ppMaxTxSize ∷ !Natural
ppMaxProposalSize ∷ !Natural
ppMpcThd ∷ !LovelacePortion
ppHeavyDelThd ∷ !LovelacePortion
ppUpdateVoteThd ∷ !LovelacePortion
ppUpdateProposalThd ∷ !LovelacePortion
ppUpdateProposalTTL ∷ !SlotNumber
Time to live for a protocol update proposal. This used to be the number of slots after which the system made a decision regarding an update proposal confirmation, when a majority of votes was not reached in the given number of slots. If there were more positive than negative votes the proposal became confirmed, otherwise it was rejected. Since in the Byron-Shelley bridge we do not have negative votes, and we aim at simplifying the update mechanism, ppUpdateProposalTTL is re-interpreted as the number of slots a proposal has to gather a majority of votes. If a majority of votes has not been reached before this period, then the proposal is rejected.
- - TODO: it seems this should be a slot count.
ppSoftforkRule ∷ !SoftforkRule
ppTxFeePolicy ∷ !TxFeePolicy
ppUnlockStakeEpoch ∷ !EpochNumber

Instances

Instances details

Generic ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.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.Chain.Update.ProtocolParameters Methods showsPrec ∷ Int → ProtocolParameters → ShowS Source # show ∷ ProtocolParameters → String Source # showList ∷ [ProtocolParameters] → ShowS Source #
FromCBOR ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods fromCBOR ∷ Decoder s ProtocolParameters Source # label ∷ Proxy ProtocolParameters → Text Source #
ToCBOR ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods toCBOR ∷ ProtocolParameters → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ProtocolParameters → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProtocolParameters] → Size Source #
DecCBOR ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods decCBOR ∷ Decoder s ProtocolParameters Source # dropCBOR ∷ Proxy ProtocolParameters → Decoder s () Source # label ∷ Proxy ProtocolParameters → Text Source #
EncCBOR ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods encCBOR ∷ ProtocolParameters → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProtocolParameters → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProtocolParameters] → Size Source #
NFData ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods rnf ∷ ProtocolParameters → () Source #
Buildable ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods build ∷ ProtocolParameters → Builder Source #
Eq ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods (==) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (/=) ∷ ProtocolParameters → ProtocolParameters → Bool Source #
Ord ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods compare ∷ ProtocolParameters → ProtocolParameters → Ordering Source # (<) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (<=) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (>) ∷ ProtocolParameters → ProtocolParameters → Bool Source # (>=) ∷ ProtocolParameters → ProtocolParameters → Bool Source # max ∷ ProtocolParameters → ProtocolParameters → ProtocolParameters Source # min ∷ ProtocolParameters → ProtocolParameters → ProtocolParameters Source #
NoThunks ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods noThunks ∷ Context → ProtocolParameters → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ProtocolParameters → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ProtocolParameters → String Source #
MonadError SchemaError m ⇒ FromJSON m ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods fromJSON ∷ JSValue → m ProtocolParameters Source #
Monad m ⇒ ToJSON m ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters Methods toJSON ∷ ProtocolParameters → m JSValue Source #
type Rep ProtocolParameters Source #
Instance details Defined in Cardano.Chain.Update.ProtocolParameters type Rep ProtocolParameters = D1 ('MetaData "ProtocolParameters" "Cardano.Chain.Update.ProtocolParameters" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ProtocolParameters" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ppScriptVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :: (S1 ('MetaSel ('Just "ppSlotDuration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "ppMaxBlockSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) :: ((S1 ('MetaSel ('Just "ppMaxHeaderSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "ppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :: (S1 ('MetaSel ('Just "ppMaxProposalSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "ppMpcThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion)))) :: ((S1 ('MetaSel ('Just "ppHeavyDelThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :: (S1 ('MetaSel ('Just "ppUpdateVoteThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :: S1 ('MetaSel ('Just "ppUpdateProposalThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion))) :: ((S1 ('MetaSel ('Just "ppUpdateProposalTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNumber) :: S1 ('MetaSel ('Just "ppSoftforkRule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftforkRule)) :: (S1 ('MetaSel ('Just "ppTxFeePolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxFeePolicy) :*: S1 ('MetaSel ('Just "ppUnlockStakeEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNumber))))))

upAdptThd ∷ Word8 → ProtocolParameters → Int Source #

In Byron we do not have a upAdptThd protocol parameter, so we have to use the existing ones.

lovelacePortionToRational . srMinThd . ppSoftforkRule will give us the ratio (in the interval [0, 1]) of the total stake that has to endorse a protocol version to become adopted. In genesis configuration, this ratio will evaluate to 0.6, so if we have 7 genesis keys, upAdptThd = 4.

isBootstrapEraPP ∷ ProtocolParameters → EpochNumber → Bool Source #

Version of isBootstrapEra which takes ProtocolParameters instead of unlock stake epoch