Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB.Impl.Query

Synopsis

value allocInRegistryReadOnlyForkerAtPoint
value getAnyBlockComponent
value getAnyKnownBlock
value getAnyKnownBlockComponent
value getBlockComponent
value getChainSelStarvation
value getCurrentChain
value getCurrentChainWithTime
value getCurrentLedger
value getHeaderStateHistory
value getImmutableLedger
value getIsFetched
value getIsInvalidBlock
value getIsValid
value getLatestPerasCertOnChainRound
value getLatestPerasCertSeen
value getMaxSlotNo
value getPastLedger
value getPerasCertIds
value getPerasCertsAfter
value getPerasVoteIds
value getPerasVotesAfter
value getPerasWeightSnapshot
value getStatistics
value getTipBlock
value getTipHeader
value getTipPoint
value openReadOnlyForkerAtPoint
value waitForImmutableBlock
value withReadOnlyForkerAtPoint

Packageouroboros-consensus-4.2.1.0
Exports30
LicenceApache-2.0

valueallocInRegistryReadOnlyForkerAtPoint

:: IOLike m
=> ChainDbEnv m blk
-> Target (Point blk)
-> ResourceRegistry m
-> m (Either GetForkerError (ResourceKey m, ReadOnlyForker' m blk))

valuegetAnyBlockComponent

:: IOLike m
=> ImmutableDB m blk
-> VolatileDB m blk
-> BlockComponent blk b
-> RealPoint blk
-> m (Maybe b)

valuegetAnyKnownBlock

:: (IOLike m, HasHeader blk)
=> ImmutableDB m blk
-> VolatileDB m blk
-> RealPoint blk
-> m blk

valuegetAnyKnownBlockComponent

:: (IOLike m, HasHeader blk)
=> ImmutableDB m blk
-> VolatileDB m blk
-> BlockComponent blk b
-> RealPoint blk
-> m b

valuegetBlockComponent

:: IOLike m
=> ChainDbEnv m blk
-> BlockComponent blk b
-> RealPoint blk
-> m (Maybe b)

valuegetChainSelStarvation

:: IOLike m
=> ChainDbEnv m blk
-> STM m ChainSelStarvation

valuegetCurrentChain

:: (IOLike m, StandardHash blk, HasHeader (Header blk), ConsensusProtocol (BlockProtocol blk))
=> ChainDbEnv m blk
-> STM m (AnchoredFragment (Header blk))

valuegetCurrentChainWithTime

:: (IOLike m, StandardHash blk, HasHeader (Header blk), ConsensusProtocol (BlockProtocol blk), Typeable blk)
=> ChainDbEnv m blk
-> STM m (AnchoredFragment (HeaderWithTime blk))

valuegetCurrentLedger :: ChainDbEnv m blk -> STM m (ExtLedgerState blk EmptyMK)

valuegetHeaderStateHistory :: ChainDbEnv m blk -> STM m (HeaderStateHistory blk)

valuegetImmutableLedger :: ChainDbEnv m blk -> STM m (ExtLedgerState blk EmptyMK)

valuegetIsFetched

:: (IOLike m, HasHeader blk)
=> ChainDbEnv m blk
-> STM m (Point blk -> Bool)

valuegetIsInvalidBlock

:: (IOLike m, HasHeader blk)
=> ChainDbEnv m blk
-> STM m (WithFingerprint (HeaderHash blk -> Maybe (ExtValidationError blk)))

valuegetIsValid

:: (IOLike m, HasHeader blk)
=> ChainDbEnv m blk
-> STM m (RealPoint blk -> Maybe Bool)

valuegetLatestPerasCertOnChainRound

:: (IOLike m, LedgerSupportsPeras blk)
=> ChainDbEnv m blk
-> STM m (Maybe PerasRoundNo)

valuegetLatestPerasCertSeen

:: ChainDbEnv m blk
-> STM m (Maybe (WithArrivalTime (ValidatedPerasCert blk)))

valuegetMaxSlotNo

:: (IOLike m, HasHeader (Header blk))
=> ChainDbEnv m blk
-> STM m MaxSlotNo

valuegetPastLedger

:: ChainDbEnv m blk
-> Point blk
-> STM m (Maybe (ExtLedgerState blk EmptyMK))

valuegetPerasCertIds :: ChainDbEnv m blk -> STM m (Set PerasRoundNo)

valuegetPerasCertsAfter

:: ChainDbEnv m blk
-> PerasCertTicketNo
-> STM m (Map PerasCertTicketNo (m (WithArrivalTime (ValidatedPerasCert blk))))

valuegetPerasVoteIds :: ChainDbEnv m blk -> STM m (Set (PerasVoteId blk))

valuegetPerasVotesAfter

:: ChainDbEnv m blk
-> PerasVoteTicketNo
-> STM m (Map PerasVoteTicketNo (WithArrivalTime (ValidatedPerasVote blk)))

valuegetPerasWeightSnapshot

:: ChainDbEnv m blk
-> STM m (WithFingerprint (PerasWeightSnapshot blk))

valuegetStatistics :: IOLike m => ChainDbEnv m blk -> m Statistics

valuegetTipBlock

:: (IOLike m, HasHeader blk, HasHeader (Header blk))
=> ChainDbEnv m blk
-> m (Maybe blk)

valuegetTipHeader

:: (IOLike m, HasHeader blk, HasHeader (Header blk))
=> ChainDbEnv m blk
-> m (Maybe (Header blk))

valuegetTipPoint

:: (IOLike m, HasHeader (Header blk))
=> ChainDbEnv m blk
-> STM m (Point blk)

valueopenReadOnlyForkerAtPoint

:: IOLike m
=> ChainDbEnv m blk
-> Target (Point blk)
-> m (Either GetForkerError (ReadOnlyForker' m blk))

valuewaitForImmutableBlock

:: (StandardHash blk, IOLike m)
=> ChainDbEnv m blk
-> RealPoint blk
-> m (Either SeekBlockError (RealPoint blk))

valuewithReadOnlyForkerAtPoint

:: IOLike m
=> ChainDbEnv m blk
-> Target (Point blk)
-> Either GetForkerError (ReadOnlyForker' m blk) -> WithEarlyExit m r
-> WithEarlyExit m r