Safe Haskell	Safe-Inferred
Language	Haskell2010

Marconi.Cardano.Indexers.CurrentSyncPointQuery

Description

Gather several indexers to expose a query that can provide you block information about the current last synced block and the chain tip.

Documentation

Constructors

forall coordinator blockInfoIndexer blockInfoEvent chainTipIndexer chainTipEvent.(IsSync (ExceptT IndexerError IO) event coordinator, IsSync (ExceptT (QueryError (GetLastQuery ChainTip)) IO) chainTipEvent chainTipIndexer, Queryable (ExceptT (QueryError (LatestEventsQuery BlockInfo)) IO) blockInfoEvent (LatestEventsQuery BlockInfo) blockInfoIndexer, Queryable (ExceptT (QueryError (GetLastQuery ChainTip)) IO) chainTipEvent (GetLastQuery ChainTip) chainTipIndexer, Point blockInfoEvent ~ ChainPoint, Point chainTipEvent ~ ChainPoint) => CurrentSyncPointQueryIndexer

Fields

Instances details

(MonadIO m, MonadError (QueryError CurrentSyncPointQuery) m) => IsSync m event CurrentSyncPointQueryIndexer #
Instance details Defined in Marconi.Cardano.Indexers.CurrentSyncPointQuery Methods lastStablePoint :: CurrentSyncPointQueryIndexer event -> m (Point event) Source # lastSyncPoint :: CurrentSyncPointQueryIndexer event -> m (Point event) Source #
(MonadIO m, MonadError (QueryError CurrentSyncPointQuery) m, Point event ~ ChainPoint) => Queryable m event CurrentSyncPointQuery CurrentSyncPointQueryIndexer #
Instance details Defined in Marconi.Cardano.Indexers.CurrentSyncPointQuery Methods query :: Point event -> CurrentSyncPointQuery -> CurrentSyncPointQueryIndexer event -> m (Result CurrentSyncPointQuery) Source # queryLatest :: CurrentSyncPointQuery -> CurrentSyncPointQueryIndexer event -> m (Result CurrentSyncPointQuery) Source #

Constructors

Instances details

(MonadIO m, MonadError (QueryError CurrentSyncPointQuery) m, Point event ~ ChainPoint) => Queryable m event CurrentSyncPointQuery CurrentSyncPointQueryIndexer #
Instance details Defined in Marconi.Cardano.Indexers.CurrentSyncPointQuery Methods query :: Point event -> CurrentSyncPointQuery -> CurrentSyncPointQueryIndexer event -> m (Result CurrentSyncPointQuery) Source # queryLatest :: CurrentSyncPointQuery -> CurrentSyncPointQueryIndexer event -> m (Result CurrentSyncPointQuery) Source #
type Result CurrentSyncPointQuery #
Instance details Defined in Marconi.Cardano.Indexers.CurrentSyncPointQuery type Result CurrentSyncPointQuery = Timed ChainPoint CurrentSyncPointResult

Constructors

CurrentSyncPointResult
Fields currentBlockInfo :: BlockInfo currentTip :: ChainTip

Instances details

Show CurrentSyncPointResult #
Instance details Defined in Marconi.Cardano.Indexers.CurrentSyncPointQuery Methods showsPrec :: Int -> CurrentSyncPointResult -> ShowS Source # show :: CurrentSyncPointResult -> String Source # showList :: [CurrentSyncPointResult] -> ShowS Source #