Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Abstract.NoHardForks
Synopsis
- class ImmutableEraParams blk where
- class (SingleEraBlock blk, ImmutableEraParams blk) ⇒ NoHardForks blk where
- toPartialLedgerConfig ∷ proxy blk → LedgerConfig blk → PartialLedgerConfig blk
- immutableEpochInfo ∷ (Monad m, ImmutableEraParams blk) ⇒ TopLevelConfig blk → EpochInfo m
Documentation
class ImmutableEraParams blk where Source #
A block type for which the EraParams
will never change
Technically, some application of
HardForkBlock
could have an
instance for this. But that would only be appropriate if two conditions were
met.
Methods
immutableEraParams ∷ TopLevelConfig blk → EraParams Source #
Extract EraParams
from the top-level config
The HFC itself does not care about this, as it must be given the full shape across all eras.
class (SingleEraBlock blk, ImmutableEraParams blk) ⇒ NoHardForks blk where Source #
Methods
toPartialLedgerConfig ∷ proxy blk → LedgerConfig blk → PartialLedgerConfig blk Source #
Construct partial ledger config from full ledger config
See also toPartialConsensusConfig
immutableEpochInfo ∷ (Monad m, ImmutableEraParams blk) ⇒ TopLevelConfig blk → EpochInfo m Source #