Safe Haskell	Safe-Inferred
Language	Haskell2010

Marconi.Cardano.Indexers.Datum

Contents

Event
Indexer and worker
Extract
Query

Synopsis

data DatumInfo = DatumInfo (Hash ScriptData) ScriptData
type DatumEvent = NonEmpty DatumInfo
datumHash :: Lens' DatumInfo (Hash ScriptData)
datum :: Lens' DatumInfo ScriptData
type DatumIndexer = SQLiteIndexer DatumEvent
mkDatumIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer DatumEvent)
datumWorker :: (MonadIO m, MonadIO n, MonadError IndexerError n) => StandardWorkerConfig m input DatumEvent -> SQLiteDBLocation -> n (StandardWorker m input DatumEvent SQLiteIndexer)
datumBuilder :: (MonadIO n, MonadError IndexerError n, MonadIO m) => SecurityParam -> CatchupConfig -> Trace m Text -> FilePath -> n (StandardWorker m [AnyTxBody] DatumEvent SQLiteIndexer)
type StandardDatumIndexer m = StandardSQLiteIndexer m DatumEvent
getDataFromTxBody :: TxBody era -> [DatumInfo]
newtype ResolveDatumQuery = ResolveDatumQuery (Hash ScriptData)
newtype ResolvedData = ResolvedData {
- getData :: ScriptData
}

Event

data DatumInfo #

Constructors

DatumInfo (Hash ScriptData) ScriptData

Instances

Instances details

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

type DatumEvent = NonEmpty DatumInfo #

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

datumHash :: Lens' DatumInfo (Hash ScriptData) #

datum :: Lens' DatumInfo ScriptData #

Indexer and worker

type DatumIndexer = SQLiteIndexer DatumEvent #

A raw SQLite indexer for Datum

mkDatumIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer DatumEvent) #

A smart constructor for DatumIndexer

datumWorker #

Arguments

:: (MonadIO m, MonadIO n, MonadError IndexerError n)
=> StandardWorkerConfig m input DatumEvent	General configuration of the indexer (mostly for logging purpose)
-> SQLiteDBLocation	SQLite database location
-> n (StandardWorker m input DatumEvent SQLiteIndexer)

A worker with catchup for a DatumIndexer

datumBuilder :: (MonadIO n, MonadError IndexerError n, MonadIO m) => SecurityParam -> CatchupConfig -> Trace m Text -> FilePath -> n (StandardWorker m [AnyTxBody] DatumEvent SQLiteIndexer) #

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

type StandardDatumIndexer m = StandardSQLiteIndexer m DatumEvent #

A SQLite Datum indexer with Catchup

Extract

getDataFromTxBody :: TxBody era -> [DatumInfo] #

Query

newtype ResolveDatumQuery #

Entry type for datum hash resolution query

Constructors

ResolveDatumQuery (Hash ScriptData)

Instances

Instances details

(MonadIO m, MonadError (QueryError ResolveDatumQuery) m) => Queryable m DatumEvent ResolveDatumQuery SQLiteIndexer #
Instance details Defined in Marconi.Cardano.Indexers.Datum Methods query :: Point DatumEvent -> ResolveDatumQuery -> SQLiteIndexer DatumEvent -> m (Result ResolveDatumQuery) Source # queryLatest :: ResolveDatumQuery -> SQLiteIndexer DatumEvent -> m (Result ResolveDatumQuery) Source #
type Result ResolveDatumQuery #
Instance details Defined in Marconi.Cardano.Indexers.Datum type Result ResolveDatumQuery = Maybe ScriptData

newtype ResolvedData #

Constructors

ResolvedData
Fields getData :: ScriptData

Instances

Instances details

Generic ResolvedData #
Instance details Defined in Marconi.Cardano.Indexers.Datum Associated Types type Rep ResolvedData :: Type -> Type Source # Methods from :: ResolvedData -> Rep ResolvedData x Source # to :: Rep ResolvedData x -> ResolvedData Source #
FromRow ResolvedData #
Instance details Defined in Marconi.Cardano.Indexers.Datum Methods fromRow :: RowParser ResolvedData
type Rep ResolvedData #
Instance details Defined in Marconi.Cardano.Indexers.Datum type Rep ResolvedData = D1 ('MetaData "ResolvedData" "Marconi.Cardano.Indexers.Datum" "marconi-cardano-indexers-1.2.0.0-inplace" 'True) (C1 ('MetaCons "ResolvedData" 'PrefixI 'True) (S1 ('MetaSel ('Just "getData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptData)))