| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.ChainDB.Init
Description
Intended for qualified import
import Ouroboros.Consensus.Storage.ChainDB.Init (InitChainDB) import qualified Ouroboros.Consensus.Storage.ChainDB.Init as InitChainDB
Synopsis
-
data
InitChainDB
m blk =
InitChainDB
{
- addBlock :: blk -> m ()
- getCurrentLedger :: m ( LedgerState blk)
- fromFull :: ( IsLedger ( LedgerState blk), IOLike m) => ChainDB m blk -> InitChainDB m blk
- map :: Functor m => (blk' -> blk) -> ( LedgerState blk -> LedgerState blk') -> InitChainDB m blk -> InitChainDB m blk'
Documentation
data InitChainDB m blk Source #
Restricted interface to the
ChainDB
used on node initialization
Constructors
| InitChainDB | |
|
Fields
|
|
Instances
| Functor m => Isomorphic ( InitChainDB m) Source # | |
|
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => InitChainDB m ( HardForkBlock '[blk]) -> InitChainDB m blk Source # inject :: NoHardForks blk => InitChainDB m blk -> InitChainDB m ( HardForkBlock '[blk]) Source # |
|
fromFull :: ( IsLedger ( LedgerState blk), IOLike m) => ChainDB m blk -> InitChainDB m blk Source #
map :: Functor m => (blk' -> blk) -> ( LedgerState blk -> LedgerState blk') -> InitChainDB m blk -> InitChainDB m blk' Source #