Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ImmutableDB.Impl.State

Synopsis

value cleanUp
value closeOpenHandles
value dbIsOpen
value getOpenState
value mkOpenState
value modifyOpenState
value withOpenState
data ImmutableDBEnv
data InternalState
type ModifyOpenState
data OpenState

Packageouroboros-consensus-4.2.1.0
Exports11
LicenceApache-2.0

valuecleanUp :: Monad m => HasFS m h -> OpenState m blk h -> m ()

valuecloseOpenHandles :: Monad m => HasFS m h -> OpenState m blk h -> m ()

valuedbIsOpen :: InternalState m blk h -> Bool

valuegetOpenState

:: (HasCallStack, IOLike m, StandardHash blk, Typeable blk)
=> ImmutableDBEnv m blk
-> STM m (SomePair (HasFS m) (OpenState m blk))

valuemkOpenState

:: (HasCallStack, IOLike m, Eq h)
=> HasFS m h
-> Index m blk h
-> ChunkNo
-> WithOrigin (Tip blk)
-> AllowExisting
-> WithTempRegistry (OpenState m blk h) m (OpenState m blk h)

valuemodifyOpenState

:: (HasCallStack, IOLike m, StandardHash blk, Typeable blk)
=> ImmutableDBEnv m blk
-> forall h. Eq h => HasFS m h -> ModifyOpenState m blk h a
-> m a

valuewithOpenState

:: (HasCallStack, IOLike m, StandardHash blk, Typeable blk)
=> ImmutableDBEnv m blk
-> forall h. HasFS m h -> OpenState m blk h -> m r
-> m r

datadata ImmutableDBEnv (m :: Type -> Type) blk

Constructors

forall h. Eq h => ImmutableDBEnv
- hasFS :: !HasFS m h
- varInternalState :: !StrictSVar m (InternalState m blk h)
- checkIntegrity :: !blk -> Bool
- chunkInfo :: !ChunkInfo
- tracer :: !Tracer m (TraceEvent blk)
- cacheConfig :: !CacheConfig
- codecConfig :: !CodecConfig blk

datadata InternalState (m :: Type -> Type) blk h

Constructors

DbClosed
DbOpen !(OpenState m blk h)

Instances3Generic, NoThunks, Rep

Generic (InternalState m blk h)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State
StandardHash blk => NoThunks (InternalState m blk h)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State
type Rep (InternalState m blk h) = D1 ('MetaData "InternalState" "Ouroboros.Consensus.Storage.ImmutableDB.Impl.State" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "DbClosed" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DbOpen" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OpenState m blk h))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State

typetype ModifyOpenState (m :: Type -> Type) blk h = StateT (OpenState m blk h) (WithTempRegistry (OpenState m blk h) m)

datadata OpenState (m :: Type -> Type) blk h

Constructors

OpenState
- currentChunk :: !ChunkNo
- currentChunkOffset :: !BlockOffset
- currentSecondaryOffset :: !SecondaryOffset
- currentChunkHandle :: !Handle h
- currentPrimaryHandle :: !Handle h
- currentSecondaryHandle :: !Handle h
- currentTip :: !WithOrigin (Tip blk)
- currentIndex :: !Index m blk h

Instances3Generic, NoThunks, Rep

Generic (OpenState m blk h)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State
StandardHash blk => NoThunks (OpenState m blk h)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State
type Rep (OpenState m blk h) = D1 ('MetaData "OpenState" "Ouroboros.Consensus.Storage.ImmutableDB.Impl.State" "ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC" 'False) (C1 ('MetaCons "OpenState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "currentChunk") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChunkNo) :*: S1 ('MetaSel ('Just "currentChunkOffset") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockOffset)) :*: (S1 ('MetaSel ('Just "currentSecondaryOffset") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecondaryOffset) :*: S1 ('MetaSel ('Just "currentChunkHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Handle h)))) :*: ((S1 ('MetaSel ('Just "currentPrimaryHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Handle h)) :*: S1 ('MetaSel ('Just "currentSecondaryHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Handle h))) :*: (S1 ('MetaSel ('Just "currentTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (Tip blk))) :*: S1 ('MetaSel ('Just "currentIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Index m blk h))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.Impl.State