ouroboros-consensus-1.0.0.0: Consensus layer for the Ouroboros blockchain protocol
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
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-1.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 #

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 #

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-1.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
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-1.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 #

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 #

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-1.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
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-1.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 #

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 #

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-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBlockMinSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBlockMinSlots") '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
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-1.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 #

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 #

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-1.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
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-1.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 #

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 #

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 #

type Rep PerasRoundLength Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasRoundLength = D1 ('MetaData "PerasRoundLength" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-1.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
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 #

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-1.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 #

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 #

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-1.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasQuorumStakeThreshold Source #

Total stake needed to forge a Peras certificate.

Constructors

PerasQuorumStakeThreshold 

Fields

Instances

Instances details
Generic PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasQuorumStakeThreshold 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

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

Methods

from ∷ PerasQuorumStakeThreshold → Rep PerasQuorumStakeThreshold x #

to ∷ Rep PerasQuorumStakeThreshold x → PerasQuorumStakeThreshold #

Show PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasQuorumStakeThreshold → ShowS #

show ∷ PerasQuorumStakeThreshold → String #

showList ∷ [PerasQuorumStakeThreshold] → ShowS #

Eq PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

(/=) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

Ord PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Ordering #

(<) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

(<=) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

(>) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

(>=) ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → Bool #

max ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → PerasQuorumStakeThreshold #

min ∷ PerasQuorumStakeThreshold → PerasQuorumStakeThreshold → PerasQuorumStakeThreshold #

NoThunks PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

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

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

showTypeOf ∷ Proxy PerasQuorumStakeThreshold → String Source #

Condense PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasQuorumStakeThreshold → String Source #

type Rep PerasQuorumStakeThreshold Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

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

newtype PerasQuorumStakeThresholdSafetyMargin Source #

Safety margin needed on top of the quorum stake 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

PerasQuorumStakeThresholdSafetyMargin 

Fields

Instances

Instances details
Generic PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasQuorumStakeThresholdSafetyMargin 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

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

Methods

from ∷ PerasQuorumStakeThresholdSafetyMargin → Rep PerasQuorumStakeThresholdSafetyMargin x #

to ∷ Rep PerasQuorumStakeThresholdSafetyMargin x → PerasQuorumStakeThresholdSafetyMargin #

Show PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasQuorumStakeThresholdSafetyMargin → ShowS #

show ∷ PerasQuorumStakeThresholdSafetyMargin → String #

showList ∷ [PerasQuorumStakeThresholdSafetyMargin] → ShowS #

Eq PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

(/=) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

Ord PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

compare ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Ordering #

(<) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

(<=) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

(>) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

(>=) ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → Bool #

max ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin #

min ∷ PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin → PerasQuorumStakeThresholdSafetyMargin #

NoThunks PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

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

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

showTypeOf ∷ Proxy PerasQuorumStakeThresholdSafetyMargin → String Source #

Condense PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

condense ∷ PerasQuorumStakeThresholdSafetyMargin → String Source #

type Rep PerasQuorumStakeThresholdSafetyMargin Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

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

Protocol parameters bundle

data PerasParams 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
Generic PerasParams Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Associated Types

type Rep PerasParams 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasParams = D1 ('MetaData "PerasParams" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "perasIgnoranceRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasIgnoranceRounds) :*: S1 ('MetaSel ('Just "perasCooldownRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCooldownRounds)) :*: (S1 ('MetaSel ('Just "perasBlockMinSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasBlockMinSlots) :*: S1 ('MetaSel ('Just "perasCertArrivalThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertArrivalThreshold))) :*: ((S1 ('MetaSel ('Just "perasRoundLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundLength) :*: S1 ('MetaSel ('Just "perasWeight") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)) :*: (S1 ('MetaSel ('Just "perasQuorumStakeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumStakeThreshold) :*: S1 ('MetaSel ('Just "perasQuorumStakeThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumStakeThresholdSafetyMargin)))))

Methods

from ∷ PerasParams → Rep PerasParams x #

to ∷ Rep PerasParams x → PerasParams #

Show PerasParams Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

showsPrec ∷ Int → PerasParams → ShowS #

show ∷ PerasParams → String #

showList ∷ [PerasParams] → ShowS #

Eq PerasParams Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

(==) ∷ PerasParams → PerasParams → Bool #

(/=) ∷ PerasParams → PerasParams → Bool #

NoThunks PerasParams Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

Methods

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

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

showTypeOf ∷ Proxy PerasParams → String Source #

type Rep PerasParams Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Params

type Rep PerasParams = D1 ('MetaData "PerasParams" "Ouroboros.Consensus.Peras.Params" "ouroboros-consensus-1.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "perasIgnoranceRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasIgnoranceRounds) :*: S1 ('MetaSel ('Just "perasCooldownRounds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCooldownRounds)) :*: (S1 ('MetaSel ('Just "perasBlockMinSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasBlockMinSlots) :*: S1 ('MetaSel ('Just "perasCertArrivalThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertArrivalThreshold))) :*: ((S1 ('MetaSel ('Just "perasRoundLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasRoundLength) :*: S1 ('MetaSel ('Just "perasWeight") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)) :*: (S1 ('MetaSel ('Just "perasQuorumStakeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumStakeThreshold) :*: S1 ('MetaSel ('Just "perasQuorumStakeThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasQuorumStakeThresholdSafetyMargin)))))

mkPerasParams ∷ PerasParams Source #

Instantiate default Peras protocol parameters.

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