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 ∷ Type → Type) blk = InitChainDB {
- addBlock ∷ blk → m ()
- getCurrentLedger ∷ m (LedgerState blk EmptyMK)
}
fromFull ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ ChainDB m blk → InitChainDB m blk
map ∷ ∀ (m ∷ Type → Type) blk' blk. Functor m ⇒ (blk' → blk) → (LedgerState blk EmptyMK → LedgerState blk' EmptyMK) → InitChainDB m blk → InitChainDB m blk'

Documentation

Restricted interface to the ChainDB used on node initialization

Constructors

InitChainDB
Fields addBlock ∷ blk → m () Add a block to the DB getCurrentLedger ∷ m (LedgerState blk EmptyMK) Return the current ledger state

Instances details

Functor m ⇒ Isomorphic (InitChainDB m) Source #
Instance details 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 ∷ ∀ (m ∷ Type → Type) blk. IOLike m ⇒ ChainDB m blk → InitChainDB m blk Source #

map ∷ ∀ (m ∷ Type → Type) blk' blk. Functor m ⇒ (blk' → blk) → (LedgerState blk EmptyMK → LedgerState blk' EmptyMK) → InitChainDB m blk → InitChainDB m blk' Source #