ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.HardFork.History.EraParams

Synopsis

API

data EraParams Source #

Parameters that can vary across hard forks

Constructors

EraParams

Fields

Instances

Instances details
Eq EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

(==) :: EraParams -> EraParams -> Bool Source #

(/=) :: EraParams -> EraParams -> Bool Source #

Show EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

showsPrec :: Int -> EraParams -> ShowS Source #

show :: EraParams -> String Source #

showList :: [ EraParams ] -> ShowS Source #

Generic EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Associated Types

type Rep EraParams :: Type -> Type Source #

Methods

from :: EraParams -> Rep EraParams x Source #

to :: Rep EraParams x -> EraParams Source #

NoThunks EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

noThunks :: Context -> EraParams -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> EraParams -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy EraParams -> String Source #

Serialise EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

encode :: EraParams -> Encoding Source #

decode :: Decoder s EraParams Source #

encodeList :: [ EraParams ] -> Encoding Source #

decodeList :: Decoder s [ EraParams ] Source #

type Rep EraParams Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

type Rep EraParams = D1 (' MetaData "EraParams" "Ouroboros.Consensus.HardFork.History.EraParams" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "EraParams" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "eraEpochSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EpochSize ) :*: ( S1 (' MetaSel (' Just "eraSlotLength") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotLength ) :*: S1 (' MetaSel (' Just "eraSafeZone") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SafeZone ))))

data SafeZone Source #

Zone in which it is guaranteed that no hard fork can take place

Constructors

StandardSafeZone ! Word64

Standard safe zone

We record

  • Number of slots from the tip of the ledger. This should be (at least) the number of slots in which we are guaranteed to have k blocks.
  • Optionally, an EpochNo before which no hard fork can take place.
UnsafeIndefiniteSafeZone

Pretend the transition to the next era will not take place.

This constructor is marked as unsafe because it effectively extends the safe zone of this era indefinitely into the future. This means that we might reach invalid conclusions when doing

  • slot to time conversions for blocks that are past the actual safe zone
  • time to slot conversions for the current time, when behind in syncing

This is safe when the code is simply not yet ready to transition to the next era, because in that case, we can be sure that blocks that come in are still from this era. It also means that we can always produce a block, no matter how far ahead of the current ledger we are.

If the code is ready for the transition, just awaiting an update proposal, then LowerBound can be used instead.

This constructor can be regarded as an " extreme " version of LowerBound , and can be used for similar reasons.

Instances

Instances details
Eq SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

(==) :: SafeZone -> SafeZone -> Bool Source #

(/=) :: SafeZone -> SafeZone -> Bool Source #

Show SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

showsPrec :: Int -> SafeZone -> ShowS Source #

show :: SafeZone -> String Source #

showList :: [ SafeZone ] -> ShowS Source #

Generic SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Associated Types

type Rep SafeZone :: Type -> Type Source #

Methods

from :: SafeZone -> Rep SafeZone x Source #

to :: Rep SafeZone x -> SafeZone Source #

NoThunks SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

noThunks :: Context -> SafeZone -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> SafeZone -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy SafeZone -> String Source #

Serialise SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

Methods

encode :: SafeZone -> Encoding Source #

decode :: Decoder s SafeZone Source #

encodeList :: [ SafeZone ] -> Encoding Source #

decodeList :: Decoder s [ SafeZone ] Source #

type Rep SafeZone Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.History.EraParams

type Rep SafeZone = D1 (' MetaData "SafeZone" "Ouroboros.Consensus.HardFork.History.EraParams" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "StandardSafeZone" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )) :+: C1 (' MetaCons "UnsafeIndefiniteSafeZone" ' PrefixI ' False ) ( U1 :: Type -> Type ))

Defaults

defaultEraParams :: SecurityParam -> SlotLength -> EraParams Source #

Default EraParams

We set

  • epoch size to 10k slots
  • the safe zone to 2k slots
  • the upper bound to NoLowerBound

This is primarily useful for tests.