ouroboros-consensus-byronspec-0.1.0.0: ByronSpec ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Genesis

Contents

Description

Genesis config for the spec

Intended for qualified import

import           Ouroboros.Consensus.ByronSpec.Ledger.Genesis (ByronSpecGenesis)
import qualified Ouroboros.Consensus.ByronSpec.Ledger.Genesis as Genesis
Synopsis

Documentation

data ByronSpecGenesis Source #

The equivalent of the genesis config for the abstract ledger

Constructors

ByronSpecGenesis 

Fields

modFeeParams ∷ ((Int, Int) → (Int, Int)) → ByronSpecGenesisByronSpecGenesis Source #

Modify the a and b fee parameters

modPParams ∷ (PParams → PParams) → ByronSpecGenesisByronSpecGenesis Source #

modUtxo ∷ (UTxO → UTxO) → ByronSpecGenesisByronSpecGenesis Source #

modUtxoValues ∷ (IntegerInteger) → ByronSpecGenesisByronSpecGenesis Source #

Adjust all values in the initial UTxO equally

Conversions

fromChainEnvNatural → Environment CHAIN → ByronSpecGenesis Source #

Construct genesis config from CHAIN environment

This doesn't make an awful lot of sense, but the abstract spec doesn't have a concept of a genesis config, and instead the CHAIN environment fulfills that role. In order to be able to reuse the test generators, we therefore also define a translation in the opposite direction.

toChainEnvByronSpecGenesis → Environment CHAIN Source #

Derive CHAIN rule environment