| Safe Haskell | Safe-Inferred |
|---|---|
| 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 #