| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Config
Contents
Synopsis
- data family BlockConfig blk
- data family CodecConfig blk
- data family StorageConfig blk
- compactGenesis ∷ ShelleyGenesis c → CompactGenesis c
- getCompactGenesis ∷ CompactGenesis c → ShelleyGenesis c
- mkShelleyBlockConfig ∷ ∀ proto era. ShelleyBasedEra era ⇒ ProtVer → ShelleyGenesis (EraCrypto era) → [VKey 'BlockIssuer (EraCrypto era)] → BlockConfig (ShelleyBlock proto era)
- data CompactGenesis c
Documentation
data family BlockConfig blk Source #
Static configuration required to work with this type of blocks
Instances
data family CodecConfig blk Source #
Static configuration required for serialisation and deserialisation of types pertaining to this type of block.
Data family instead of type family to get better type inference.
Instances
data family StorageConfig blk Source #
Config needed for the
NodeInitStorage class. Defined here to
avoid circular dependencies.
Instances
compactGenesis ∷ ShelleyGenesis c → CompactGenesis c Source #
Compacts the given ShelleyGenesis.
mkShelleyBlockConfig ∷ ∀ proto era. ShelleyBasedEra era ⇒ ProtVer → ShelleyGenesis (EraCrypto era) → [VKey 'BlockIssuer (EraCrypto era)] → BlockConfig (ShelleyBlock proto era) Source #
opaque
data CompactGenesis c Source #
Compact variant of ShelleyGenesis with some fields erased that are
only used on start-up and that should not be kept in memory forever.
Concretely:
- The
sgInitialFundsfield is erased. It is only used to set up the initial UTxO in tests and testnets. - The
sgStakingfield is erased. It is only used to register initial stake pools in tests and benchmarks.