Safe Haskell	None
Language	Haskell2010

Marconi.Index.ScriptTx

Contents

SQLite
Indexer
Copy-paste
Orphan instances

Synopsis

data ScriptTxHandle = ScriptTxHandle {
- hdlConnection :: Connection
- hdlDepth :: Int
}
newtype Depth = Depth Int
newtype TxCbor = TxCbor ByteString
type ScriptTxIndexer = State ScriptTxHandle
data ScriptTxRow = ScriptTxRow {
- scriptAddress :: !(StorableQuery ScriptTxHandle)
- txCbor :: !TxCbor
- txSlot :: !SlotNo
- blockHash :: !(Hash BlockHeader)
}
type Query = StorableQuery ScriptTxHandle
type Result = StorableResult ScriptTxHandle
toUpdate :: forall era. IsCardanoEra era => [Tx era] -> ChainPoint -> StorableEvent ScriptTxHandle
getTxBodyScripts :: forall era. TxBody era -> [StorableQuery ScriptTxHandle]
getTxScripts :: forall era. Tx era -> [StorableQuery ScriptTxHandle]
asEvents :: [ScriptTxRow] -> [StorableEvent ScriptTxHandle]
open :: FilePath -> Depth -> IO ScriptTxIndexer
fromShelleyBasedScript :: ShelleyBasedEra era -> Script (ShelleyLedgerEra era) -> ScriptInEra era

Documentation

data ScriptTxHandle Source #

Constructors

ScriptTxHandle
Fields hdlConnection :: Connection hdlDepth :: Int

Instances

Instances details

Buffered ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx Methods persistToStorage :: Foldable f => f (StorableEvent ScriptTxHandle) -> ScriptTxHandle -> StorableMonad ScriptTxHandle ScriptTxHandle Source # getStoredEvents :: ScriptTxHandle -> StorableMonad ScriptTxHandle [StorableEvent ScriptTxHandle] Source #
Queryable ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx Methods queryStorage :: Foldable f => QueryInterval (StorablePoint ScriptTxHandle) -> f (StorableEvent ScriptTxHandle) -> ScriptTxHandle -> StorableQuery ScriptTxHandle -> StorableMonad ScriptTxHandle (StorableResult ScriptTxHandle) Source #
Rewindable ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx Methods rewindStorage :: StorablePoint ScriptTxHandle -> ScriptTxHandle -> StorableMonad ScriptTxHandle (Maybe ScriptTxHandle) Source #
Resumable ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx Methods resumeFromStorage :: ScriptTxHandle -> StorableMonad ScriptTxHandle [StorablePoint ScriptTxHandle] Source #
Eq (StorableQuery ScriptTxHandle) Source #
Instance details Defined in Marconi.Index.ScriptTx Methods (==) :: StorableQuery ScriptTxHandle -> StorableQuery ScriptTxHandle -> Bool Source # (/=) :: StorableQuery ScriptTxHandle -> StorableQuery ScriptTxHandle -> Bool Source #
Show (StorableEvent ScriptTxHandle) Source #
Instance details Defined in Marconi.Index.ScriptTx Methods showsPrec :: Int -> StorableEvent ScriptTxHandle -> ShowS Source # show :: StorableEvent ScriptTxHandle -> String Source # showList :: [StorableEvent ScriptTxHandle] -> ShowS Source #
Show (StorableQuery ScriptTxHandle) Source #
Instance details Defined in Marconi.Index.ScriptTx Methods showsPrec :: Int -> StorableQuery ScriptTxHandle -> ShowS Source # show :: StorableQuery ScriptTxHandle -> String Source # showList :: [StorableQuery ScriptTxHandle] -> ShowS Source #
FromField (StorableQuery ScriptTxHandle) Source #
Instance details Defined in Marconi.Index.ScriptTx Methods fromField :: FieldParser (StorableQuery ScriptTxHandle) Source #
ToField (StorableQuery ScriptTxHandle) Source #
Instance details Defined in Marconi.Index.ScriptTx Methods toField :: StorableQuery ScriptTxHandle -> SQLData Source #
HasPoint (StorableEvent ScriptTxHandle) ChainPoint Source #
Instance details Defined in Marconi.Index.ScriptTx Methods getPoint :: StorableEvent ScriptTxHandle -> ChainPoint Source #
data StorableEvent ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx data StorableEvent ScriptTxHandle = ScriptTxEvent { txScripts :: [(TxCbor, [StorableQuery ScriptTxHandle])] chainPoint :: !ChainPoint }
type StorablePoint ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx type StorablePoint ScriptTxHandle = ChainPoint
newtype StorableQuery ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx newtype StorableQuery ScriptTxHandle = ScriptTxAddress ScriptHash
newtype StorableResult ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx newtype StorableResult ScriptTxHandle = ScriptTxResult [TxCbor]
type StorableMonad ScriptTxHandle Source #
Instance details Defined in Marconi.Index.ScriptTx type StorableMonad ScriptTxHandle = IO

newtype Depth Source #

Constructors

Depth Int

newtype TxCbor Source #

Constructors

TxCbor ByteString

Instances

Instances details

Eq TxCbor Source #
Instance details Defined in Marconi.Index.ScriptTx Methods (==) :: TxCbor -> TxCbor -> Bool Source # (/=) :: TxCbor -> TxCbor -> Bool Source #
Show TxCbor Source #
Instance details Defined in Marconi.Index.ScriptTx Methods showsPrec :: Int -> TxCbor -> ShowS Source # show :: TxCbor -> String Source # showList :: [TxCbor] -> ShowS Source #
FromField TxCbor Source #
Instance details Defined in Marconi.Index.ScriptTx Methods fromField :: FieldParser TxCbor Source #
ToField TxCbor Source #
Instance details Defined in Marconi.Index.ScriptTx Methods toField :: TxCbor -> SQLData Source #

type ScriptTxIndexer = State ScriptTxHandle Source #

SQLite

data ScriptTxRow Source #

Constructors

ScriptTxRow
Fields scriptAddress :: !(StorableQuery ScriptTxHandle) txCbor :: !TxCbor txSlot :: !SlotNo blockHash :: !(Hash BlockHeader)

Instances

Instances details

Generic ScriptTxRow Source #
Instance details Defined in Marconi.Index.ScriptTx Associated Types type Rep ScriptTxRow :: Type -> Type Source # Methods from :: ScriptTxRow -> Rep ScriptTxRow x Source # to :: Rep ScriptTxRow x -> ScriptTxRow Source #
FromRow ScriptTxRow Source #
Instance details Defined in Marconi.Index.ScriptTx Methods fromRow :: RowParser ScriptTxRow Source #
ToRow ScriptTxRow Source #
Instance details Defined in Marconi.Index.ScriptTx Methods toRow :: ScriptTxRow -> [SQLData] Source #
type Rep ScriptTxRow Source #
Instance details Defined in Marconi.Index.ScriptTx type Rep ScriptTxRow = D1 ('MetaData "ScriptTxRow" "Marconi.Index.ScriptTx" "marconi-1.1.0.0-BO2L0UwGwl69Jz9Y6geoz2" 'False) (C1 ('MetaCons "ScriptTxRow" 'PrefixI 'True) ((S1 ('MetaSel ('Just "scriptAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorableQuery ScriptTxHandle)) :: S1 ('MetaSel ('Just "txCbor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxCbor)) :: (S1 ('MetaSel ('Just "txSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "blockHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash BlockHeader)))))

Indexer

type Query = StorableQuery ScriptTxHandle Source #

type Result = StorableResult ScriptTxHandle Source #

toUpdate :: forall era. IsCardanoEra era => [Tx era] -> ChainPoint -> StorableEvent ScriptTxHandle Source #

getTxBodyScripts :: forall era. TxBody era -> [StorableQuery ScriptTxHandle] Source #

getTxScripts :: forall era. Tx era -> [StorableQuery ScriptTxHandle] Source #

asEvents :: [ScriptTxRow] -> [StorableEvent ScriptTxHandle] Source #

open :: FilePath -> Depth -> IO ScriptTxIndexer Source #

Copy-paste

fromShelleyBasedScript :: ShelleyBasedEra era -> Script (ShelleyLedgerEra era) -> ScriptInEra era Source #

TODO: Remove when the following function is exported from Cardano.Api.Script PR: https://github.com/input-output-hk/cardano-node/pull/4386

Orphan instances

Ord ChainPoint Source #
Instance details Methods compare :: ChainPoint -> ChainPoint -> Ordering Source # (<) :: ChainPoint -> ChainPoint -> Bool Source # (<=) :: ChainPoint -> ChainPoint -> Bool Source # (>) :: ChainPoint -> ChainPoint -> Bool Source # (>=) :: ChainPoint -> ChainPoint -> Bool Source # max :: ChainPoint -> ChainPoint -> ChainPoint Source # min :: ChainPoint -> ChainPoint -> ChainPoint Source #
FromField SlotNo Source #
Instance details Methods fromField :: FieldParser SlotNo Source #
ToField SlotNo Source #
Instance details Methods toField :: SlotNo -> SQLData Source #
FromField (Hash BlockHeader) Source #
Instance details Methods fromField :: FieldParser (Hash BlockHeader) Source #
ToField (Hash BlockHeader) Source #
Instance details Methods toField :: Hash BlockHeader -> SQLData Source #