Safe Haskell	Safe-Inferred
Language	Haskell2010

Marconi.Cardano.Indexers.EpochNonce

Contents

Event types and lenses
Create an indexer
Create a worker
Queries
Extract event

Description

Store Nonce in a SQLIte table

Synopsis

data EpochNonce = EpochNonce !EpochNo !Nonce !BlockNo
nonceEpochNo :: Lens' EpochNonce EpochNo
nonceNonce :: Lens' EpochNonce Nonce
nonceBlockNo :: Lens' EpochNonce BlockNo
mkEpochNonceIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer EpochNonce)
newtype EpochNonceWorkerConfig input = EpochNonceWorkerConfig {
- epochNonceWorkerConfigExtractor :: input -> EpochNo
}
epochNonceWorker :: forall input m n. (MonadIO m, MonadError IndexerError m, MonadIO n) => StandardWorkerConfig n input EpochNonce -> EpochNonceWorkerConfig input -> SQLiteDBLocation -> m (WorkerIndexer n input EpochNonce (WithTrace n SQLiteIndexer))
newtype NonceByEpochNoQuery = NonceByEpochNoQuery EpochNo
getEpochNonce :: ExtLedgerStateEvent -> Maybe EpochNonce
getEpochNo :: ExtLedgerState (CardanoBlock StandardCrypto) -> Maybe EpochNo

Event types and lenses

data EpochNonce #

Event for Nonce storage

Constructors

EpochNonce !EpochNo !Nonce !BlockNo

Instances

Instances details

FromJSON EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods parseJSON :: Value -> Parser EpochNonce parseJSONList :: Value -> Parser [EpochNonce]
ToJSON EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods toJSON :: EpochNonce -> Value toEncoding :: EpochNonce -> Encoding toJSONList :: [EpochNonce] -> Value toEncodingList :: [EpochNonce] -> Encoding
Generic EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Associated Types type Rep EpochNonce :: Type -> Type Source # Methods from :: EpochNonce -> Rep EpochNonce x Source # to :: Rep EpochNonce x -> EpochNonce Source #
Show EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods showsPrec :: Int -> EpochNonce -> ShowS Source # show :: EpochNonce -> String Source # showList :: [EpochNonce] -> ShowS Source #
Eq EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods (==) :: EpochNonce -> EpochNonce -> Bool Source # (/=) :: EpochNonce -> EpochNonce -> Bool Source #
Ord EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods compare :: EpochNonce -> EpochNonce -> Ordering Source # (<) :: EpochNonce -> EpochNonce -> Bool Source # (<=) :: EpochNonce -> EpochNonce -> Bool Source # (>) :: EpochNonce -> EpochNonce -> Bool Source # (>=) :: EpochNonce -> EpochNonce -> Bool Source # max :: EpochNonce -> EpochNonce -> EpochNonce Source # min :: EpochNonce -> EpochNonce -> EpochNonce Source #
FromRow EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods fromRow :: RowParser EpochNonce
ToRow EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods toRow :: EpochNonce -> [SQLData] #
FromRow (Timed ChainPoint EpochNonce) #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods fromRow :: RowParser (Timed ChainPoint EpochNonce)
ToRow (Timed ChainPoint EpochNonce) #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods toRow :: Timed ChainPoint EpochNonce -> [SQLData] #
type Rep EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce type Rep EpochNonce = D1 ('MetaData "EpochNonce" "Marconi.Cardano.Indexers.EpochNonce" "marconi-cardano-indexers-1.2.0.0-inplace" 'False) (C1 ('MetaCons "EpochNonce" 'PrefixI 'True) (S1 ('MetaSel ('Just "_nonceEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Just "_nonceNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Just "_nonceBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo))))
type Point EpochNonce #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce type Point EpochNonce = ChainPoint

nonceEpochNo :: Lens' EpochNonce EpochNo #

nonceNonce :: Lens' EpochNonce Nonce #

nonceBlockNo :: Lens' EpochNonce BlockNo #

Create an indexer

mkEpochNonceIndexer :: (MonadIO m, MonadError IndexerError m) => SQLiteDBLocation -> m (SQLiteIndexer EpochNonce) #

Smart constructor that creates a FileIndexer that stores Nonce.

Create a worker

newtype EpochNonceWorkerConfig input #

Constructors

EpochNonceWorkerConfig
Fields epochNonceWorkerConfigExtractor :: input -> EpochNo

epochNonceWorker :: forall input m n. (MonadIO m, MonadError IndexerError m, MonadIO n) => StandardWorkerConfig n input EpochNonce -> EpochNonceWorkerConfig input -> SQLiteDBLocation -> m (WorkerIndexer n input EpochNonce (WithTrace n SQLiteIndexer)) #

Queries

newtype NonceByEpochNoQuery #

Constructors

NonceByEpochNoQuery EpochNo

Instances

Instances details

FromJSON NonceByEpochNoQuery #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods parseJSON :: Value -> Parser NonceByEpochNoQuery parseJSONList :: Value -> Parser [NonceByEpochNoQuery]
ToJSON NonceByEpochNoQuery #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods toJSON :: NonceByEpochNoQuery -> Value toEncoding :: NonceByEpochNoQuery -> Encoding toJSONList :: [NonceByEpochNoQuery] -> Value toEncodingList :: [NonceByEpochNoQuery] -> Encoding
(MonadIO m, MonadError (QueryError NonceByEpochNoQuery) m) => Queryable m event NonceByEpochNoQuery SQLiteIndexer #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce Methods query :: Point event -> NonceByEpochNoQuery -> SQLiteIndexer event -> m (Result NonceByEpochNoQuery) Source # queryLatest :: NonceByEpochNoQuery -> SQLiteIndexer event -> m (Result NonceByEpochNoQuery) Source #
type Result NonceByEpochNoQuery #
Instance details Defined in Marconi.Cardano.Indexers.EpochNonce type Result NonceByEpochNoQuery = Maybe (Timed ChainPoint EpochNonce)

Extract event

getEpochNonce :: ExtLedgerStateEvent -> Maybe EpochNonce #

getEpochNo :: ExtLedgerState (CardanoBlock StandardCrypto) -> Maybe EpochNo #