Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB.Impl.Query

30 values

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