| 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
- newtype InitChainDB m blk = InitChainDB {
- addBlockIfEmpty :: m blk -> m ()
- fromFull :: IOLike m => ChainDB m blk -> InitChainDB m blk
- cast :: (Functor m, Coercible blk blk') => InitChainDB m blk -> InitChainDB m blk'
Documentation
newtype InitChainDB m blk Source #
Restricted interface to the ChainDB used on node initialization
Constructors
| InitChainDB | |
Fields
| |
Instances
| Functor m => Contravariant (InitChainDB m) Source # | |
Defined in Ouroboros.Consensus.Storage.ChainDB.Init Methods contramap :: (a -> b) -> InitChainDB m b -> InitChainDB m a # (>$) :: b -> InitChainDB m b -> InitChainDB m a # | |
| Functor m => Isomorphic (InitChainDB m) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => InitChainDB m (HardForkBlock '[blk]) -> InitChainDB m blk Source # inject :: NoHardForks blk => InitChainDB m blk -> InitChainDB m (HardForkBlock '[blk]) Source # | |
cast :: (Functor m, Coercible blk blk') => InitChainDB m blk -> InitChainDB m blk' Source #