Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.SoftforkRule

Synopsis

data SoftforkRule = SoftforkRule {
- srInitThd ∷ !LovelacePortion
- srMinThd ∷ !LovelacePortion
- srThdDecrement ∷ !LovelacePortion
}

Documentation

data SoftforkRule Source #

Values defining softfork resolution rule

If a proposal is confirmed at the s-th epoch, softfork resolution threshold at the t-th epoch will be 'max spMinThd (spInitThd - (t - s) * spThdDecrement)'.

Softfork resolution threshold is the portion of total stake such that if total stake of issuers of blocks with some block version is greater than this portion, this block version becomes adopted.

Constructors

SoftforkRule
Fields srInitThd ∷ !LovelacePortion Initial threshold (right after proposal is confirmed). srMinThd ∷ !LovelacePortion Minimal threshold (i. e. threshold can't become less than this one). srThdDecrement ∷ !LovelacePortion Theshold will be decreased by this value after each epoch.

Instances

Instances details

ToJSON SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods toJSON ∷ SoftforkRule → Value Source # toEncoding ∷ SoftforkRule → Encoding Source # toJSONList ∷ [SoftforkRule] → Value Source # toEncodingList ∷ [SoftforkRule] → Encoding Source # omitField ∷ SoftforkRule → Bool Source #
Generic SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Associated Types type Rep SoftforkRule ∷ Type → Type Source # Methods from ∷ SoftforkRule → Rep SoftforkRule x Source # to ∷ Rep SoftforkRule x → SoftforkRule Source #
Show SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods showsPrec ∷ Int → SoftforkRule → ShowS Source # show ∷ SoftforkRule → String Source # showList ∷ [SoftforkRule] → ShowS Source #
FromCBOR SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods fromCBOR ∷ Decoder s SoftforkRule Source # label ∷ Proxy SoftforkRule → Text Source #
ToCBOR SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods toCBOR ∷ SoftforkRule → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SoftforkRule → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SoftforkRule] → Size Source #
DecCBOR SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods decCBOR ∷ Decoder s SoftforkRule Source # dropCBOR ∷ Proxy SoftforkRule → Decoder s () Source # label ∷ Proxy SoftforkRule → Text Source #
EncCBOR SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods encCBOR ∷ SoftforkRule → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SoftforkRule → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SoftforkRule] → Size Source #
NFData SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods rnf ∷ SoftforkRule → () Source #
Buildable SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods build ∷ SoftforkRule → Builder Source #
Eq SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods (==) ∷ SoftforkRule → SoftforkRule → Bool Source # (/=) ∷ SoftforkRule → SoftforkRule → Bool Source #
Ord SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods compare ∷ SoftforkRule → SoftforkRule → Ordering Source # (<) ∷ SoftforkRule → SoftforkRule → Bool Source # (<=) ∷ SoftforkRule → SoftforkRule → Bool Source # (>) ∷ SoftforkRule → SoftforkRule → Bool Source # (>=) ∷ SoftforkRule → SoftforkRule → Bool Source # max ∷ SoftforkRule → SoftforkRule → SoftforkRule Source # min ∷ SoftforkRule → SoftforkRule → SoftforkRule Source #
NoThunks SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods noThunks ∷ Context → SoftforkRule → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SoftforkRule → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SoftforkRule → String Source #
MonadError SchemaError m ⇒ FromJSON m SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods fromJSON ∷ JSValue → m SoftforkRule Source #
Monad m ⇒ ToJSON m SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule Methods toJSON ∷ SoftforkRule → m JSValue Source #
type Rep SoftforkRule Source #
Instance details Defined in Cardano.Chain.Update.SoftforkRule type Rep SoftforkRule = D1 ('MetaData "SoftforkRule" "Cardano.Chain.Update.SoftforkRule" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SoftforkRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "srInitThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :: (S1 ('MetaSel ('Just "srMinThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :: S1 ('MetaSel ('Just "srThdDecrement") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion))))