Safe Haskell	Safe-Inferred
Language	Haskell2010

Marconi.Cardano.Indexers.Spent

Contents

Event
Indexer and worker
Extractor

Synopsis

data SpentInfo = SpentInfo TxIn TxId
type SpentInfoEvent = NonEmpty SpentInfo
spentTxOutRef :: Lens' SpentInfo TxIn
spentAtTxId :: Lens' SpentInfo TxId
type SpentIndexer = SQLiteIndexer SpentInfoEvent
mkSpentIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer SpentInfoEvent)
spentWorker :: (MonadIO n, MonadError IndexerError n, MonadIO m) => StandardWorkerConfig m input SpentInfoEvent -> SQLiteDBLocation -> n (StandardWorker m input SpentInfoEvent SQLiteIndexer)
spentBuilder :: (MonadIO n, MonadError IndexerError n) => SecurityParam -> CatchupConfig -> Trace IO Text -> FilePath -> n (StandardWorker IO [AnyTxBody] SpentInfoEvent SQLiteIndexer)
type StandardSpentIndexer m = StandardSQLiteIndexer m SpentInfoEvent
catchupConfigEventHook :: Trace IO Text -> FilePath -> CatchupEvent -> IO ()
getInputs :: TxBody era -> [SpentInfo]

Event

data SpentInfo #

Constructors

SpentInfo TxIn TxId

Instances

Instances details

FromJSON SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods parseJSON :: Value -> Parser SpentInfo parseJSONList :: Value -> Parser [SpentInfo]
ToJSON SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods toJSON :: SpentInfo -> Value toEncoding :: SpentInfo -> Encoding toJSONList :: [SpentInfo] -> Value toEncodingList :: [SpentInfo] -> Encoding
Generic SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Associated Types type Rep SpentInfo :: Type -> Type Source # Methods from :: SpentInfo -> Rep SpentInfo x Source # to :: Rep SpentInfo x -> SpentInfo Source #
Show SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods showsPrec :: Int -> SpentInfo -> ShowS Source # show :: SpentInfo -> String Source # showList :: [SpentInfo] -> ShowS Source #
Eq SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods (==) :: SpentInfo -> SpentInfo -> Bool Source # (/=) :: SpentInfo -> SpentInfo -> Bool Source #
Ord SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods compare :: SpentInfo -> SpentInfo -> Ordering Source # (<) :: SpentInfo -> SpentInfo -> Bool Source # (<=) :: SpentInfo -> SpentInfo -> Bool Source # (>) :: SpentInfo -> SpentInfo -> Bool Source # (>=) :: SpentInfo -> SpentInfo -> Bool Source # max :: SpentInfo -> SpentInfo -> SpentInfo Source # min :: SpentInfo -> SpentInfo -> SpentInfo Source #
FromRow SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods fromRow :: RowParser SpentInfo
(MonadIO m, MonadError (QueryError (EventAtQuery SpentInfoEvent)) m) => Queryable m SpentInfoEvent (EventAtQuery SpentInfoEvent) SQLiteIndexer #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods query :: Point SpentInfoEvent -> EventAtQuery SpentInfoEvent -> SQLiteIndexer SpentInfoEvent -> m (Result (EventAtQuery SpentInfoEvent)) Source # queryLatest :: EventAtQuery SpentInfoEvent -> SQLiteIndexer SpentInfoEvent -> m (Result (EventAtQuery SpentInfoEvent)) Source #
(MonadIO m, MonadError (QueryError (EventsMatchingQuery SpentInfoEvent)) m) => Queryable m SpentInfoEvent (EventsMatchingQuery SpentInfoEvent) SQLiteIndexer #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods query :: Point SpentInfoEvent -> EventsMatchingQuery SpentInfoEvent -> SQLiteIndexer SpentInfoEvent -> m (Result (EventsMatchingQuery SpentInfoEvent)) Source # queryLatest :: EventsMatchingQuery SpentInfoEvent -> SQLiteIndexer SpentInfoEvent -> m (Result (EventsMatchingQuery SpentInfoEvent)) Source #
FromRow (Timed ChainPoint SpentInfo) #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods fromRow :: RowParser (Timed ChainPoint SpentInfo)
ToRow (Timed ChainPoint SpentInfo) #
Instance details Defined in Marconi.Cardano.Indexers.Spent Methods toRow :: Timed ChainPoint SpentInfo -> [SQLData] #
type Rep SpentInfo #
Instance details Defined in Marconi.Cardano.Indexers.Spent type Rep SpentInfo = D1 ('MetaData "SpentInfo" "Marconi.Cardano.Indexers.Spent" "marconi-cardano-indexers-1.2.0.0-inplace" 'False) (C1 ('MetaCons "SpentInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "_spentTxOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn) :*: S1 ('MetaSel ('Just "_spentAtTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))
type Point SpentInfoEvent #
Instance details Defined in Marconi.Cardano.Indexers.Spent type Point SpentInfoEvent = ChainPoint

type SpentInfoEvent = NonEmpty SpentInfo #

An alias for a non-empty list of SpentInfo, it's the event potentially produced on each block

spentTxOutRef :: Lens' SpentInfo TxIn #

spentAtTxId :: Lens' SpentInfo TxId #

Indexer and worker

type SpentIndexer = SQLiteIndexer SpentInfoEvent #

A raw SQLite indexer for Spent

mkSpentIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer SpentInfoEvent) #

spentWorker #

Arguments

:: (MonadIO n, MonadError IndexerError n, MonadIO m)
=> StandardWorkerConfig m input SpentInfoEvent	General configuration of a worker
-> SQLiteDBLocation	SQLite database location
-> n (StandardWorker m input SpentInfoEvent SQLiteIndexer)

A minimal worker for the UTXO indexer, with catchup and filtering.

spentBuilder :: (MonadIO n, MonadError IndexerError n) => SecurityParam -> CatchupConfig -> Trace IO Text -> FilePath -> n (StandardWorker IO [AnyTxBody] SpentInfoEvent SQLiteIndexer) #

Convenience wrapper around spentWorker with some defaults for creating StandardWorkerConfig, including a preprocessor.

type StandardSpentIndexer m = StandardSQLiteIndexer m SpentInfoEvent #

A SQLite Spent indexer with Catchup

catchupConfigEventHook :: Trace IO Text -> FilePath -> CatchupEvent -> IO () #

Extractor

getInputs :: TxBody era -> [SpentInfo] #