ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol

Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Storage.VolatileDB.Impl.Index

Contents

opaque

Description

VolatileDB Index

Intended for qualified import > import qualified Ouroboros.Consensus.Storage.VolatileDB.Impl.Index as Index

Synopsis

delete ∷ FileId → Index blk → Index blk
elems ∷ Index blk → [FileInfo blk]
empty ∷ Index blk
insert ∷ FileId → FileInfo blk → Index blk → Index blk
lastFile ∷ Index blk → Maybe (FileId, FileInfo blk)
lookup ∷ FileId → Index blk → Maybe (FileInfo blk)
toAscList ∷ Index blk → [(FileId, FileInfo blk)]
data Index blk

Documentation

delete ∷ FileId → Index blk → Index blk Source #

elems ∷ Index blk → [FileInfo blk] Source #

empty ∷ Index blk Source #

insert ∷ FileId → FileInfo blk → Index blk → Index blk Source #

lastFile ∷ Index blk → Maybe (FileId, FileInfo blk) Source #

Return the last, i.e. the highest, FileId and corresponding FileInfo stored in the Index. Return Nothing when empty.

lookup ∷ FileId → Index blk → Maybe (FileInfo blk) Source #

toAscList ∷ Index blk → [(FileId, FileInfo blk)] Source #

opaque

data Index blk Source #

Mapping from FileId to FileInfo

Instances

Instances details

Generic (Index blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Index Associated Types type Rep (Index blk) ∷ Type → Type # Methods from ∷ Index blk → Rep (Index blk) x # to ∷ Rep (Index blk) x → Index blk #
StandardHash blk ⇒ NoThunks (Index blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Index Methods noThunks ∷ Context → Index blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Index blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Index blk) → String Source #
type Rep (Index blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Index type Rep (Index blk) = D1 ('MetaData "Index" "Ouroboros.Consensus.Storage.VolatileDB.Impl.Index" "ouroboros-consensus-0.18.0.0-inplace" 'True) (C1 ('MetaCons "Index" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap (FileInfo blk)))))