Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Config
Contents
Synopsis
- data family BlockConfig blk
- mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [VKey 'BlockIssuer (EraCrypto era)] -> BlockConfig (ShelleyBlock era)
- data family CodecConfig blk
- data family StorageConfig blk
- data CompactGenesis era
- getCompactGenesis :: CompactGenesis era -> ShelleyGenesis era
- compactGenesis :: ShelleyGenesis era -> CompactGenesis era
Documentation
data family BlockConfig blk Source #
Static configuration required to work with this type of blocks
Instances
mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [VKey 'BlockIssuer (EraCrypto era)] -> BlockConfig (ShelleyBlock era) Source #
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
Generic (CodecConfig (ShelleyBlock era)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep (CodecConfig (ShelleyBlock era)) :: Type -> Type # Methods from :: CodecConfig (ShelleyBlock era) -> Rep (CodecConfig (ShelleyBlock era)) x # to :: Rep (CodecConfig (ShelleyBlock era)) x -> CodecConfig (ShelleyBlock era) # | |
NoThunks (CodecConfig (ShelleyBlock era)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks :: Context -> CodecConfig (ShelleyBlock era) -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CodecConfig (ShelleyBlock era) -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CodecConfig (ShelleyBlock era)) -> String Source # | |
type Rep (CodecConfig (ShelleyBlock era)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Config | |
data CodecConfig (ShelleyBlock era) Source # | No particular codec configuration is needed for Shelley |
Defined in Ouroboros.Consensus.Shelley.Ledger.Config |
data family StorageConfig blk Source #
Config needed for the
NodeInitStorage
class. Defined here to
avoid circular dependencies.
Instances
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
sgInitialFunds
field is erased. It is only used to set up the initial UTxO in tests and testnets. - The
sgStaking
field is erased. It is only used to register initial stake pools in tests and benchmarks.
Instances
getCompactGenesis :: CompactGenesis era -> ShelleyGenesis era Source #
compactGenesis :: ShelleyGenesis era -> CompactGenesis era Source #
Compacts the given ShelleyGenesis
.