| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Config
Contents
Synopsis
- data family BlockConfig blk
- data family CodecConfig blk
- data family StorageConfig blk
- compactGenesis :: ShelleyGenesis era -> CompactGenesis era
- getCompactGenesis :: CompactGenesis era -> ShelleyGenesis era
- mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [ VKey ' BlockIssuer ( EraCrypto era)] -> BlockConfig ( ShelleyBlock proto era)
- data CompactGenesis era
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 era -> CompactGenesis era Source #
Compacts the given
ShelleyGenesis
.
getCompactGenesis :: CompactGenesis era -> ShelleyGenesis era Source #
mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [ VKey ' BlockIssuer ( EraCrypto era)] -> BlockConfig ( ShelleyBlock proto era) Source #
opaque
data CompactGenesis era 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.