ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Params

Description

Peras protocol parameters

Synopsis

Protocol parameters

newtype PerasIgnoranceRounds Source #

Number of rounds for which to ignore certificates after entering a cooldown period.

Constructors

PerasIgnoranceRounds 

Fields

Instances

Instances details
FromCBOR PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasIgnoranceRounds Source #

label ∷ Proxy PerasIgnoranceRounds → Text Source #

ToCBOR PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasIgnoranceRounds → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasIgnoranceRounds → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasIgnoranceRounds] → Size Source #

Eq PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

(/=) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

Ord PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Ordering #

(<) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

(<=) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

(>) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

(>=) ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → Bool #

max ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → PerasIgnoranceRounds #

min ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → PerasIgnoranceRounds #

Enum PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasIgnoranceRounds → PerasIgnoranceRounds #

pred ∷ PerasIgnoranceRounds → PerasIgnoranceRounds #

toEnum ∷ Int → PerasIgnoranceRounds #

fromEnum ∷ PerasIgnoranceRounds → Int #

enumFrom ∷ PerasIgnoranceRounds → [PerasIgnoranceRounds] #

enumFromThen ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → [PerasIgnoranceRounds] #

enumFromTo ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → [PerasIgnoranceRounds] #

enumFromThenTo ∷ PerasIgnoranceRounds → PerasIgnoranceRounds → PerasIgnoranceRounds → [PerasIgnoranceRounds] #

Generic PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasIgnoranceRounds 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasIgnoranceRounds = D1 ('MetaData "PerasIgnoranceRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasIgnoranceRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasIgnoranceRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasIgnoranceRounds → Rep PerasIgnoranceRounds x #

to ∷ Rep PerasIgnoranceRounds x → PerasIgnoranceRounds #

Show PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasIgnoranceRounds → ShowS #

show ∷ PerasIgnoranceRounds → String #

showList ∷ [PerasIgnoranceRounds] → ShowS #

NoThunks PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasIgnoranceRounds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasIgnoranceRounds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasIgnoranceRounds → String Source #

Condense PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasIgnoranceRounds → String Source #

type Rep PerasIgnoranceRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasIgnoranceRounds = D1 ('MetaData "PerasIgnoranceRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasIgnoranceRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasIgnoranceRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasCooldownRounds Source #

Minimum number of rounds to wait before voting again after a cooldown period starts.

Constructors

PerasCooldownRounds 

Fields

Instances

Instances details
FromCBOR PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasCooldownRounds Source #

label ∷ Proxy PerasCooldownRounds → Text Source #

ToCBOR PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasCooldownRounds → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasCooldownRounds → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasCooldownRounds] → Size Source #

Eq PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

(/=) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

Ord PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasCooldownRounds → PerasCooldownRounds → Ordering #

(<) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

(<=) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

(>) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

(>=) ∷ PerasCooldownRounds → PerasCooldownRounds → Bool #

max ∷ PerasCooldownRounds → PerasCooldownRounds → PerasCooldownRounds #

min ∷ PerasCooldownRounds → PerasCooldownRounds → PerasCooldownRounds #

Enum PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasCooldownRounds → PerasCooldownRounds #

pred ∷ PerasCooldownRounds → PerasCooldownRounds #

toEnum ∷ Int → PerasCooldownRounds #

fromEnum ∷ PerasCooldownRounds → Int #

enumFrom ∷ PerasCooldownRounds → [PerasCooldownRounds] #

enumFromThen ∷ PerasCooldownRounds → PerasCooldownRounds → [PerasCooldownRounds] #

enumFromTo ∷ PerasCooldownRounds → PerasCooldownRounds → [PerasCooldownRounds] #

enumFromThenTo ∷ PerasCooldownRounds → PerasCooldownRounds → PerasCooldownRounds → [PerasCooldownRounds] #

Generic PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasCooldownRounds 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCooldownRounds = D1 ('MetaData "PerasCooldownRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCooldownRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCooldownRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasCooldownRounds → Rep PerasCooldownRounds x #

to ∷ Rep PerasCooldownRounds x → PerasCooldownRounds #

Show PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasCooldownRounds → ShowS #

show ∷ PerasCooldownRounds → String #

showList ∷ [PerasCooldownRounds] → ShowS #

NoThunks PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasCooldownRounds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasCooldownRounds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasCooldownRounds → String Source #

Condense PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasCooldownRounds → String Source #

type Rep PerasCooldownRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCooldownRounds = D1 ('MetaData "PerasCooldownRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCooldownRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCooldownRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasBlockMinSlots Source #

Minimum age in slots of a block before it can be voted for in order to get a boost.

Constructors

PerasBlockMinSlots 

Fields

Instances

Instances details
FromCBOR PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasBlockMinSlots Source #

label ∷ Proxy PerasBlockMinSlots → Text Source #

ToCBOR PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasBlockMinSlots → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasBlockMinSlots → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasBlockMinSlots] → Size Source #

Eq PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

(/=) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

Ord PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasBlockMinSlots → PerasBlockMinSlots → Ordering #

(<) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

(<=) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

(>) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

(>=) ∷ PerasBlockMinSlots → PerasBlockMinSlots → Bool #

max ∷ PerasBlockMinSlots → PerasBlockMinSlots → PerasBlockMinSlots #

min ∷ PerasBlockMinSlots → PerasBlockMinSlots → PerasBlockMinSlots #

Enum PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasBlockMinSlots → PerasBlockMinSlots #

pred ∷ PerasBlockMinSlots → PerasBlockMinSlots #

toEnum ∷ Int → PerasBlockMinSlots #

fromEnum ∷ PerasBlockMinSlots → Int #

enumFrom ∷ PerasBlockMinSlots → [PerasBlockMinSlots] #

enumFromThen ∷ PerasBlockMinSlots → PerasBlockMinSlots → [PerasBlockMinSlots] #

enumFromTo ∷ PerasBlockMinSlots → PerasBlockMinSlots → [PerasBlockMinSlots] #

enumFromThenTo ∷ PerasBlockMinSlots → PerasBlockMinSlots → PerasBlockMinSlots → [PerasBlockMinSlots] #

Generic PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasBlockMinSlots 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasBlockMinSlots = D1 ('MetaData "PerasBlockMinSlots" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBlockMinSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBlockMinSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasBlockMinSlots → Rep PerasBlockMinSlots x #

to ∷ Rep PerasBlockMinSlots x → PerasBlockMinSlots #

Show PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasBlockMinSlots → ShowS #

show ∷ PerasBlockMinSlots → String #

showList ∷ [PerasBlockMinSlots] → ShowS #

NoThunks PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasBlockMinSlots → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasBlockMinSlots → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasBlockMinSlots → String Source #

Condense PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasBlockMinSlots → String Source #

type Rep PerasBlockMinSlots Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasBlockMinSlots = D1 ('MetaData "PerasBlockMinSlots" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBlockMinSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBlockMinSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasCertMaxRounds Source #

Maximum age for a certificate to be included in a block, in rounds.

Constructors

PerasCertMaxRounds 

Fields

Instances

Instances details
FromCBOR PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasCertMaxRounds Source #

label ∷ Proxy PerasCertMaxRounds → Text Source #

ToCBOR PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasCertMaxRounds → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasCertMaxRounds → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasCertMaxRounds] → Size Source #

Eq PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

(/=) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

Ord PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasCertMaxRounds → PerasCertMaxRounds → Ordering #

(<) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

(<=) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

(>) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

(>=) ∷ PerasCertMaxRounds → PerasCertMaxRounds → Bool #

max ∷ PerasCertMaxRounds → PerasCertMaxRounds → PerasCertMaxRounds #

min ∷ PerasCertMaxRounds → PerasCertMaxRounds → PerasCertMaxRounds #

Enum PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasCertMaxRounds → PerasCertMaxRounds #

pred ∷ PerasCertMaxRounds → PerasCertMaxRounds #

toEnum ∷ Int → PerasCertMaxRounds #

fromEnum ∷ PerasCertMaxRounds → Int #

enumFrom ∷ PerasCertMaxRounds → [PerasCertMaxRounds] #

enumFromThen ∷ PerasCertMaxRounds → PerasCertMaxRounds → [PerasCertMaxRounds] #

enumFromTo ∷ PerasCertMaxRounds → PerasCertMaxRounds → [PerasCertMaxRounds] #

enumFromThenTo ∷ PerasCertMaxRounds → PerasCertMaxRounds → PerasCertMaxRounds → [PerasCertMaxRounds] #

Generic PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasCertMaxRounds 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCertMaxRounds = D1 ('MetaData "PerasCertMaxRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCertMaxRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCertMaxRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasCertMaxRounds → Rep PerasCertMaxRounds x #

to ∷ Rep PerasCertMaxRounds x → PerasCertMaxRounds #

Show PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasCertMaxRounds → ShowS #

show ∷ PerasCertMaxRounds → String #

showList ∷ [PerasCertMaxRounds] → ShowS #

NoThunks PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasCertMaxRounds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasCertMaxRounds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasCertMaxRounds → String Source #

Condense PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasCertMaxRounds → String Source #

type Rep PerasCertMaxRounds Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCertMaxRounds = D1 ('MetaData "PerasCertMaxRounds" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCertMaxRounds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCertMaxRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasCertArrivalThreshold Source #

Maximum number of slots to wait for after the start of a round to consider a certificate valid for voting.

Constructors

PerasCertArrivalThreshold 

Fields

Instances

Instances details
FromCBOR PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasCertArrivalThreshold Source #

label ∷ Proxy PerasCertArrivalThreshold → Text Source #

ToCBOR PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasCertArrivalThreshold → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasCertArrivalThreshold → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasCertArrivalThreshold] → Size Source #

Eq PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

(/=) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

Ord PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Ordering #

(<) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

(<=) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

(>) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

(>=) ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → Bool #

max ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → PerasCertArrivalThreshold #

min ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → PerasCertArrivalThreshold #

Enum PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold #

pred ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold #

toEnum ∷ Int → PerasCertArrivalThreshold #

fromEnum ∷ PerasCertArrivalThreshold → Int #

enumFrom ∷ PerasCertArrivalThreshold → [PerasCertArrivalThreshold] #

enumFromThen ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → [PerasCertArrivalThreshold] #

enumFromTo ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → [PerasCertArrivalThreshold] #

enumFromThenTo ∷ PerasCertArrivalThreshold → PerasCertArrivalThreshold → PerasCertArrivalThreshold → [PerasCertArrivalThreshold] #

Generic PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasCertArrivalThreshold 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCertArrivalThreshold = D1 ('MetaData "PerasCertArrivalThreshold" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCertArrivalThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCertArrivalThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasCertArrivalThreshold → Rep PerasCertArrivalThreshold x #

to ∷ Rep PerasCertArrivalThreshold x → PerasCertArrivalThreshold #

Show PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasCertArrivalThreshold → ShowS #

show ∷ PerasCertArrivalThreshold → String #

showList ∷ [PerasCertArrivalThreshold] → ShowS #

NoThunks PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasCertArrivalThreshold → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasCertArrivalThreshold → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasCertArrivalThreshold → String Source #

Condense PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasCertArrivalThreshold → String Source #

type Rep PerasCertArrivalThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasCertArrivalThreshold = D1 ('MetaData "PerasCertArrivalThreshold" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasCertArrivalThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasCertArrivalThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasRoundLength Source #

Length of a Peras round in slots.

Constructors

PerasRoundLength 

Fields

Instances

Instances details
FromCBOR PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasRoundLength Source #

label ∷ Proxy PerasRoundLength → Text Source #

ToCBOR PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasRoundLength → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasRoundLength → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasRoundLength] → Size Source #

Eq PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasRoundLength → PerasRoundLength → Bool #

(/=) ∷ PerasRoundLength → PerasRoundLength → Bool #

Ord PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasRoundLength → PerasRoundLength → Ordering #

(<) ∷ PerasRoundLength → PerasRoundLength → Bool #

(<=) ∷ PerasRoundLength → PerasRoundLength → Bool #

(>) ∷ PerasRoundLength → PerasRoundLength → Bool #

(>=) ∷ PerasRoundLength → PerasRoundLength → Bool #

max ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength #

min ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength #

Enum PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasRoundLength → PerasRoundLength #

pred ∷ PerasRoundLength → PerasRoundLength #

toEnum ∷ Int → PerasRoundLength #

fromEnum ∷ PerasRoundLength → Int #

enumFrom ∷ PerasRoundLength → [PerasRoundLength] #

enumFromThen ∷ PerasRoundLength → PerasRoundLength → [PerasRoundLength] #

enumFromTo ∷ PerasRoundLength → PerasRoundLength → [PerasRoundLength] #

enumFromThenTo ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength → [PerasRoundLength] #

Generic PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasRoundLength 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasRoundLength = D1 ('MetaData "PerasRoundLength" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundLength" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasRoundLength → Rep PerasRoundLength x #

to ∷ Rep PerasRoundLength x → PerasRoundLength #

Show PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasRoundLength → ShowS #

show ∷ PerasRoundLength → String #

showList ∷ [PerasRoundLength] → ShowS #

NoThunks PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasRoundLength → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasRoundLength → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasRoundLength → String Source #

Condense PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasRoundLength → String Source #

type Rep PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasRoundLength = D1 ('MetaData "PerasRoundLength" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundLength" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasWeight Source #

Weight assigned to a block when boosted by a Peras certificate.

Constructors

PerasWeight 

Fields

Instances

Instances details
FromCBOR PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasWeight Source #

label ∷ Proxy PerasWeight → Text Source #

ToCBOR PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasWeight → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasWeight → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasWeight] → Size Source #

Monoid PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

mempty ∷ PerasWeight #

mappend ∷ PerasWeight → PerasWeight → PerasWeight #

mconcat ∷ [PerasWeight] → PerasWeight #

Semigroup PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(<>) ∷ PerasWeight → PerasWeight → PerasWeight #

sconcat ∷ NonEmpty PerasWeight → PerasWeight #

stimes ∷ Integral b ⇒ b → PerasWeight → PerasWeight #

Eq PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasWeight → PerasWeight → Bool #

(/=) ∷ PerasWeight → PerasWeight → Bool #

Ord PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasWeight → PerasWeight → Ordering #

(<) ∷ PerasWeight → PerasWeight → Bool #

(<=) ∷ PerasWeight → PerasWeight → Bool #

(>) ∷ PerasWeight → PerasWeight → Bool #

(>=) ∷ PerasWeight → PerasWeight → Bool #

max ∷ PerasWeight → PerasWeight → PerasWeight #

min ∷ PerasWeight → PerasWeight → PerasWeight #

Enum PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

succ ∷ PerasWeight → PerasWeight #

pred ∷ PerasWeight → PerasWeight #

toEnum ∷ Int → PerasWeight #

fromEnum ∷ PerasWeight → Int #

enumFrom ∷ PerasWeight → [PerasWeight] #

enumFromThen ∷ PerasWeight → PerasWeight → [PerasWeight] #

enumFromTo ∷ PerasWeight → PerasWeight → [PerasWeight] #

enumFromThenTo ∷ PerasWeight → PerasWeight → PerasWeight → [PerasWeight] #

Generic PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasWeight 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasWeight = D1 ('MetaData "PerasWeight" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasWeight → Rep PerasWeight x #

to ∷ Rep PerasWeight x → PerasWeight #

Show PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasWeight → ShowS #

show ∷ PerasWeight → String #

showList ∷ [PerasWeight] → ShowS #

NoThunks PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasWeight → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasWeight → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasWeight → String Source #

Condense PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasWeight → String Source #

type Rep PerasWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasWeight = D1 ('MetaData "PerasWeight" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasQuorumWeightThreshold Source #

Total vote weight needed to forge a Peras certificate.

Constructors

PerasQuorumWeightThreshold 

Fields

Instances

Instances details
FromCBOR PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasQuorumWeightThreshold Source #

label ∷ Proxy PerasQuorumWeightThreshold → Text Source #

ToCBOR PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasQuorumWeightThreshold → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasQuorumWeightThreshold → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasQuorumWeightThreshold] → Size Source #

Eq PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

(/=) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

Ord PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Ordering #

(<) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

(<=) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

(>) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

(>=) ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → Bool #

max ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → PerasQuorumWeightThreshold #

min ∷ PerasQuorumWeightThreshold → PerasQuorumWeightThreshold → PerasQuorumWeightThreshold #

Generic PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasQuorumWeightThreshold 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasQuorumWeightThreshold = D1 ('MetaData "PerasQuorumWeightThreshold" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasQuorumWeightThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasQuorumWeightThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ PerasQuorumWeightThreshold → Rep PerasQuorumWeightThreshold x #

to ∷ Rep PerasQuorumWeightThreshold x → PerasQuorumWeightThreshold #

Show PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasQuorumWeightThreshold → ShowS #

show ∷ PerasQuorumWeightThreshold → String #

showList ∷ [PerasQuorumWeightThreshold] → ShowS #

NoThunks PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasQuorumWeightThreshold → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasQuorumWeightThreshold → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasQuorumWeightThreshold → String Source #

Condense PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasQuorumWeightThreshold → String Source #

type Rep PerasQuorumWeightThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasQuorumWeightThreshold = D1 ('MetaData "PerasQuorumWeightThreshold" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasQuorumWeightThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasQuorumWeightThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

newtype PerasQuorumWeightThresholdSafetyMargin Source #

Safety margin needed on top of the quorum vote weight threshold.

NOTE: this is needed to account for an extremely unlikely local sortition where not enough honest non-persistent parties decide to vote in a round. This mostly depend on the expected size of the voting committee.

Constructors

PerasQuorumWeightThresholdSafetyMargin 

Fields

Instances

Instances details
FromCBOR PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s PerasQuorumWeightThresholdSafetyMargin Source #

label ∷ Proxy PerasQuorumWeightThresholdSafetyMargin → Text Source #

ToCBOR PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasQuorumWeightThresholdSafetyMargin → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasQuorumWeightThresholdSafetyMargin → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasQuorumWeightThresholdSafetyMargin] → Size Source #

Eq PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

(/=) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

Ord PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Ordering #

(<) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

(<=) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

(>) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

(>=) ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → Bool #

max ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin #

min ∷ PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin → PerasQuorumWeightThresholdSafetyMargin #

Generic PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasQuorumWeightThresholdSafetyMargin 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasQuorumWeightThresholdSafetyMargin = D1 ('MetaData "PerasQuorumWeightThresholdSafetyMargin" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasQuorumWeightThresholdSafetyMargin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasQuorumWeightThresholdSafetyMargin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ PerasQuorumWeightThresholdSafetyMargin → Rep PerasQuorumWeightThresholdSafetyMargin x #

to ∷ Rep PerasQuorumWeightThresholdSafetyMargin x → PerasQuorumWeightThresholdSafetyMargin #

Show PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasQuorumWeightThresholdSafetyMargin → ShowS #

show ∷ PerasQuorumWeightThresholdSafetyMargin → String #

showList ∷ [PerasQuorumWeightThresholdSafetyMargin] → ShowS #

NoThunks PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasQuorumWeightThresholdSafetyMargin → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasQuorumWeightThresholdSafetyMargin → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasQuorumWeightThresholdSafetyMargin → String Source #

Condense PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasQuorumWeightThresholdSafetyMargin → String Source #

type Rep PerasQuorumWeightThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasQuorumWeightThresholdSafetyMargin = D1 ('MetaData "PerasQuorumWeightThresholdSafetyMargin" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasQuorumWeightThresholdSafetyMargin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasQuorumWeightThresholdSafetyMargin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Protocol parameters bundle

data PerasParams blk Source #

Peras protocol parameters.

These are documented in the section 2.1 of the Peras design report: https://tweag.github.io/cardano-peras/peras-design.pdf#section.2.1

TODO: make fields strict when we have concrete default values for them.

Constructors

PerasParams 

Fields

Instances

Instances details
Typeable blk ⇒ FromCBOR (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s (PerasParams blk) Source #

label ∷ Proxy (PerasParams blk) → Text Source #

Typeable blk ⇒ ToCBOR (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasParams blk → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PerasParams blk) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasParams blk] → Size Source #

Eq (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasParams blk → PerasParams blk → Bool #

(/=) ∷ PerasParams blk → PerasParams blk → Bool #

Generic (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep (PerasParams blk) 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep (PerasParams blk) = D1 ('MetaData "PerasParams" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "perasIgnoranceRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasIgnoranceRounds) :*: S1 ('MetaSel ('Just "perasCooldownRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCooldownRounds)) :*: (S1 ('MetaSel ('Just "perasBlockMinSlots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasBlockMinSlots) :*: S1 ('MetaSel ('Just "perasCertMaxRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCertMaxRounds))) :*: ((S1 ('MetaSel ('Just "perasCertArrivalThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCertArrivalThreshold) :*: S1 ('MetaSel ('Just "perasWeight") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)) :*: (S1 ('MetaSel ('Just "perasQuorumWeightThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumWeightThreshold) :*: (S1 ('MetaSel ('Just "perasQuorumWeightThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumWeightThresholdSafetyMargin) :*: S1 ('MetaSel ('Just "perasTargetCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TargetCommitteeSize))))))

Methods

from ∷ PerasParams blk → Rep (PerasParams blk) x #

to ∷ Rep (PerasParams blk) x → PerasParams blk #

Show (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasParams blk → ShowS #

show ∷ PerasParams blk → String #

showList ∷ [PerasParams blk] → ShowS #

NoThunks (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasParams blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasParams blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerasParams blk) → String Source #

type Rep (PerasParams blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep (PerasParams blk) = D1 ('MetaData "PerasParams" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "perasIgnoranceRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasIgnoranceRounds) :*: S1 ('MetaSel ('Just "perasCooldownRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCooldownRounds)) :*: (S1 ('MetaSel ('Just "perasBlockMinSlots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasBlockMinSlots) :*: S1 ('MetaSel ('Just "perasCertMaxRounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCertMaxRounds))) :*: ((S1 ('MetaSel ('Just "perasCertArrivalThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasCertArrivalThreshold) :*: S1 ('MetaSel ('Just "perasWeight") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)) :*: (S1 ('MetaSel ('Just "perasQuorumWeightThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumWeightThreshold) :*: (S1 ('MetaSel ('Just "perasQuorumWeightThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumWeightThresholdSafetyMargin) :*: S1 ('MetaSel ('Just "perasTargetCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TargetCommitteeSize))))))

castPerasParams ∷ ∀ blk' blk. PerasParams blk → PerasParams blk' Source #

Retag a PerasParams with a new phantom blk type.

defaultPerasParams ∷ PerasParams blk Source #

Instantiate default Peras protocol parameters.

NOTE: in the future this will depend on a concrete BlockConfig.

Era-dependent default values

dijkstraPerasRoundLength ∷ PerasEnabled PerasRoundLength Source #

Default value for PerasRoundLength in the Dijkstra eras.

PerasEnabled wrapper

data PerasEnabled a Source #

A marker for Peras-specific values that are not present in all eras

Instances

Instances details
Applicative PerasEnabled Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

pure ∷ a → PerasEnabled a #

(<*>) ∷ PerasEnabled (a → b) → PerasEnabled a → PerasEnabled b #

liftA2 ∷ (a → b → c) → PerasEnabled a → PerasEnabled b → PerasEnabled c #

(*>) ∷ PerasEnabled a → PerasEnabled b → PerasEnabled b #

(<*) ∷ PerasEnabled a → PerasEnabled b → PerasEnabled a #

Functor PerasEnabled Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fmap ∷ (a → b) → PerasEnabled a → PerasEnabled b #

(<$) ∷ a → PerasEnabled b → PerasEnabled a #

Monad PerasEnabled Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(>>=) ∷ PerasEnabled a → (a → PerasEnabled b) → PerasEnabled b #

(>>) ∷ PerasEnabled a → PerasEnabled b → PerasEnabled b #

return ∷ a → PerasEnabled a #

FromCBOR a ⇒ FromCBOR (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fromCBOR ∷ Decoder s (PerasEnabled a) Source #

label ∷ Proxy (PerasEnabled a) → Text Source #

ToCBOR a ⇒ ToCBOR (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

toCBOR ∷ PerasEnabled a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PerasEnabled a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasEnabled a] → Size Source #

Eq a ⇒ Eq (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasEnabled a → PerasEnabled a → Bool #

(/=) ∷ PerasEnabled a → PerasEnabled a → Bool #

Ord a ⇒ Ord (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasEnabled a → PerasEnabled a → Ordering #

(<) ∷ PerasEnabled a → PerasEnabled a → Bool #

(<=) ∷ PerasEnabled a → PerasEnabled a → Bool #

(>) ∷ PerasEnabled a → PerasEnabled a → Bool #

(>=) ∷ PerasEnabled a → PerasEnabled a → Bool #

max ∷ PerasEnabled a → PerasEnabled a → PerasEnabled a #

min ∷ PerasEnabled a → PerasEnabled a → PerasEnabled a #

Generic (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep (PerasEnabled a) 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep (PerasEnabled a) = D1 ('MetaData "PerasEnabled" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "MkPerasEnabled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

Methods

from ∷ PerasEnabled a → Rep (PerasEnabled a) x #

to ∷ Rep (PerasEnabled a) x → PerasEnabled a #

Show a ⇒ Show (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasEnabled a → ShowS #

show ∷ PerasEnabled a → String #

showList ∷ [PerasEnabled a] → ShowS #

NoThunks a ⇒ NoThunks (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

noThunks ∷ Context → PerasEnabled a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasEnabled a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerasEnabled a) → String Source #

type Rep (PerasEnabled a) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep (PerasEnabled a) = D1 ('MetaData "PerasEnabled" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "MkPerasEnabled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

pattern PerasEnabled ∷ a → PerasEnabled a Source #

pattern NoPerasEnabled ∷ PerasEnabled a Source #

newtype PerasEnabledT (m ∷ Type → Type) a Source #

A MaybeT-like monad transformer.

Used solely for the Peras-related hard fork combinator queries, see Qry.

Constructors

PerasEnabledT 

Fields

Instances

Instances details
MonadTrans PerasEnabledT Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

lift ∷ Monad m ⇒ m a → PerasEnabledT m a #

(Functor m, Monad m) ⇒ Applicative (PerasEnabledT m) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

pure ∷ a → PerasEnabledT m a #

(<*>) ∷ PerasEnabledT m (a → b) → PerasEnabledT m a → PerasEnabledT m b #

liftA2 ∷ (a → b → c) → PerasEnabledT m a → PerasEnabledT m b → PerasEnabledT m c #

(*>) ∷ PerasEnabledT m a → PerasEnabledT m b → PerasEnabledT m b #

(<*) ∷ PerasEnabledT m a → PerasEnabledT m b → PerasEnabledT m a #

Functor m ⇒ Functor (PerasEnabledT m) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

fmap ∷ (a → b) → PerasEnabledT m a → PerasEnabledT m b #

(<$) ∷ a → PerasEnabledT m b → PerasEnabledT m a #

Monad m ⇒ Monad (PerasEnabledT m) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(>>=) ∷ PerasEnabledT m a → (a → PerasEnabledT m b) → PerasEnabledT m b #

(>>) ∷ PerasEnabledT m a → PerasEnabledT m b → PerasEnabledT m b #

return ∷ a → PerasEnabledT m a #

fromPerasEnabled ∷ a → PerasEnabled a → a Source #

A fromMaybe-like eliminator for PerasEnabled

perasEnabledToMaybe ∷ PerasEnabled a → Maybe a Source #

Return the underlying Maybe of a PerasEnabled value.

Convenience re-exports

newtype TargetCommitteeSize Source #

Target committee size

Constructors

TargetCommitteeSize 

Fields

Instances

Instances details
FromCBOR TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s TargetCommitteeSize Source #

label ∷ Proxy TargetCommitteeSize → Text Source #

ToCBOR TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ TargetCommitteeSize → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TargetCommitteeSize → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TargetCommitteeSize] → Size Source #

Eq TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ TargetCommitteeSize → TargetCommitteeSize → Bool #

(/=) ∷ TargetCommitteeSize → TargetCommitteeSize → Bool #

Generic TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep TargetCommitteeSize 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep TargetCommitteeSize = D1 ('MetaData "TargetCommitteeSize" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "TargetCommitteeSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTargetCommitteeSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ TargetCommitteeSize → Rep TargetCommitteeSize x #

to ∷ Rep TargetCommitteeSize x → TargetCommitteeSize #

Show TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → TargetCommitteeSize → ShowS #

show ∷ TargetCommitteeSize → String #

showList ∷ [TargetCommitteeSize] → ShowS #

NoThunks TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

noThunks ∷ Context → TargetCommitteeSize → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TargetCommitteeSize → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy TargetCommitteeSize → String Source #

type Rep TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep TargetCommitteeSize = D1 ('MetaData "TargetCommitteeSize" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "TargetCommitteeSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTargetCommitteeSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))