Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type TCSIndex = SqliteIndex Event () TxId Result
- data TxInfo = TxInfo {
- txId :: TxId
- blockNumber :: BlockNumber
- slotNumber :: SlotNo
- newtype Depth = Depth Int
- open :: FilePath -> Depth -> IO TCSIndex
- insert :: forall m h (v :: Type -> Type) e n q r. (Monad m, PrimMonad m, MVector (Mutable v) e) => e -> SplitIndex m h v e n q r -> m (SplitIndex m h v e n q r)
- rewind :: forall (v :: Type -> Type) e (m :: Type -> Type) h n q r. MVector (Mutable v) e => Int -> SplitIndex m h v e n q r -> Maybe (SplitIndex m h v e n q r)
TxConfirmationStatus
TxInfo | |
|
Instances
Eq TxInfo Source # | |
Show TxInfo Source # | |
Generic TxInfo Source # | |
FromRow TxInfo Source # | |
Defined in Plutus.PAB.Core.Indexer.TxConfirmationStatus | |
ToRow TxInfo Source # | |
Defined in Plutus.PAB.Core.Indexer.TxConfirmationStatus | |
type Rep TxInfo Source # | |
Defined in Plutus.PAB.Core.Indexer.TxConfirmationStatus type Rep TxInfo = D1 ('MetaData "TxInfo" "Plutus.PAB.Core.Indexer.TxConfirmationStatus" "plutus-pab-1.2.0.0-LtxAAjtTYeqGloVmBPlsYv" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: (S1 ('MetaSel ('Just "blockNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNumber) :*: S1 ('MetaSel ('Just "slotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))) |
insert :: forall m h (v :: Type -> Type) e n q r. (Monad m, PrimMonad m, MVector (Mutable v) e) => e -> SplitIndex m h v e n q r -> m (SplitIndex m h v e n q r) #
rewind :: forall (v :: Type -> Type) e (m :: Type -> Type) h n q r. MVector (Mutable v) e => Int -> SplitIndex m h v e n q r -> Maybe (SplitIndex m h v e n q r) #
Orphan instances
FromField SlotNo Source # | |
fromField :: FieldParser SlotNo | |
FromField BlockNumber Source # | |
fromField :: FieldParser BlockNumber | |
FromField TxId Source # | |
fromField :: FieldParser TxId | |
ToField SlotNo Source # | |
toField :: SlotNo -> SQLData | |
ToField BlockNumber Source # | |
toField :: BlockNumber -> SQLData | |
ToField TxId Source # | |
toField :: TxId -> SQLData |