Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data DatumRowT f = DatumRow {
- _datumRowHash :: Columnar f ByteString
- _datumRowDatum :: Columnar f ByteString
- type DatumRow = DatumRowT Identity
- data ScriptRowT f = ScriptRow {
- _scriptRowHash :: Columnar f ByteString
- _scriptRowScript :: Columnar f ByteString
- type ScriptRow = ScriptRowT Identity
- data RedeemerRowT f = RedeemerRow {
- _redeemerRowHash :: Columnar f ByteString
- _redeemerRowRedeemer :: Columnar f ByteString
- type RedeemerRow = RedeemerRowT Identity
- data TxRowT f = TxRow {
- _txRowTxId :: Columnar f ByteString
- _txRowTx :: Columnar f ByteString
- type TxRow = TxRowT Identity
- data AddressRowT f = AddressRow {
- _addressRowCred :: Columnar f ByteString
- _addressRowOutRef :: Columnar f ByteString
- _addressRowDatumHash :: Columnar f ByteString
- type AddressRow = AddressRowT Identity
- data AssetClassRowT f = AssetClassRow {
- _assetClassRowAssetClass :: Columnar f ByteString
- _assetClassRowOutRef :: Columnar f ByteString
- type AssetClassRow = AssetClassRowT Identity
- data TipRowT f = TipRow {
- _tipRowSlot :: Columnar f Word64
- _tipRowBlockId :: Columnar f ByteString
- _tipRowBlockNumber :: Columnar f Word64
- type TipRow = TipRowT Identity
- data UnspentOutputRowT f = UnspentOutputRow {
- _unspentOutputRowTip :: PrimaryKey TipRowT f
- _unspentOutputRowOutRef :: Columnar f ByteString
- type UnspentOutputRow = UnspentOutputRowT Identity
- data UnmatchedInputRowT f = UnmatchedInputRow {
- _unmatchedInputRowTip :: PrimaryKey TipRowT f
- _unmatchedInputRowOutRef :: Columnar f ByteString
- type UnmatchedInputRow = UnmatchedInputRowT Identity
- data UtxoRowT f = UtxoRow {
- _utxoRowOutRef :: Columnar f ByteString
- _utxoRowTxOut :: Columnar f ByteString
- type UtxoRow = UtxoRowT Identity
- data Db f = Db {
- datumRows :: f (TableEntity DatumRowT)
- scriptRows :: f (TableEntity ScriptRowT)
- redeemerRows :: f (TableEntity RedeemerRowT)
- txRows :: f (TableEntity TxRowT)
- utxoOutRefRows :: f (TableEntity UtxoRowT)
- addressRows :: f (TableEntity AddressRowT)
- assetClassRows :: f (TableEntity AssetClassRowT)
- tipRows :: f (TableEntity TipRowT)
- unspentOutputRows :: f (TableEntity UnspentOutputRowT)
- unmatchedInputRows :: f (TableEntity UnmatchedInputRowT)
- type AllTables (c :: * -> Constraint) f = (c (f (TableEntity DatumRowT)), c (f (TableEntity ScriptRowT)), c (f (TableEntity RedeemerRowT)), c (f (TableEntity TxRowT)), c (f (TableEntity UtxoRowT)), c (f (TableEntity AddressRowT)), c (f (TableEntity AssetClassRowT)), c (f (TableEntity TipRowT)), c (f (TableEntity UnspentOutputRowT)), c (f (TableEntity UnmatchedInputRowT)))
- db :: DatabaseSettings Sqlite Db
- checkedSqliteDb :: CheckedDatabaseSettings Sqlite Db
- class FromBackendRow Sqlite (DbType a) => HasDbType a where
- type DbType a
- toDbValue :: a -> DbType a
- fromDbValue :: DbType a -> a
- newtype Serialisable a = Serialisable {
- getSerialisable :: a
Documentation
DatumRow | |
|
Instances
Beamable DatumRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> DatumRowT f -> DatumRowT g -> m (DatumRowT h) tblSkeleton :: TableSkeleton DatumRowT | |
Table DatumRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey DatumRowT column primaryKey :: forall (column :: Type -> Type). DatumRowT column -> PrimaryKey DatumRowT column | |
Generic (DatumRowT f) Source # | |
Beamable (PrimaryKey DatumRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey DatumRowT f -> PrimaryKey DatumRowT g -> m (PrimaryKey DatumRowT h) tblSkeleton :: TableSkeleton (PrimaryKey DatumRowT) | |
Generic (PrimaryKey DatumRowT f) Source # | |
data PrimaryKey DatumRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (DatumRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (DatumRowT f) = D1 ('MetaData "DatumRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "DatumRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_datumRowHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_datumRowDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey DatumRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey DatumRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "DatumRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
data ScriptRowT f Source #
ScriptRow | |
|
Instances
Beamable ScriptRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> ScriptRowT f -> ScriptRowT g -> m (ScriptRowT h) tblSkeleton :: TableSkeleton ScriptRowT | |
Table ScriptRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey ScriptRowT column primaryKey :: forall (column :: Type -> Type). ScriptRowT column -> PrimaryKey ScriptRowT column | |
Generic (ScriptRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: ScriptRowT f -> Rep (ScriptRowT f) x Source # to :: Rep (ScriptRowT f) x -> ScriptRowT f Source # | |
Beamable (PrimaryKey ScriptRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey ScriptRowT f -> PrimaryKey ScriptRowT g -> m (PrimaryKey ScriptRowT h) tblSkeleton :: TableSkeleton (PrimaryKey ScriptRowT) | |
Generic (PrimaryKey ScriptRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: PrimaryKey ScriptRowT f -> Rep (PrimaryKey ScriptRowT f) x Source # to :: Rep (PrimaryKey ScriptRowT f) x -> PrimaryKey ScriptRowT f Source # | |
data PrimaryKey ScriptRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (ScriptRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (ScriptRowT f) = D1 ('MetaData "ScriptRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "ScriptRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptRowHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_scriptRowScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey ScriptRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey ScriptRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "ScriptRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
type ScriptRow = ScriptRowT Identity Source #
data RedeemerRowT f Source #
RedeemerRow | |
|
Instances
Beamable RedeemerRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> RedeemerRowT f -> RedeemerRowT g -> m (RedeemerRowT h) tblSkeleton :: TableSkeleton RedeemerRowT | |
Table RedeemerRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey RedeemerRowT column primaryKey :: forall (column :: Type -> Type). RedeemerRowT column -> PrimaryKey RedeemerRowT column | |
Generic (RedeemerRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: RedeemerRowT f -> Rep (RedeemerRowT f) x Source # to :: Rep (RedeemerRowT f) x -> RedeemerRowT f Source # | |
Beamable (PrimaryKey RedeemerRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey RedeemerRowT f -> PrimaryKey RedeemerRowT g -> m (PrimaryKey RedeemerRowT h) tblSkeleton :: TableSkeleton (PrimaryKey RedeemerRowT) | |
Generic (PrimaryKey RedeemerRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: PrimaryKey RedeemerRowT f -> Rep (PrimaryKey RedeemerRowT f) x Source # to :: Rep (PrimaryKey RedeemerRowT f) x -> PrimaryKey RedeemerRowT f Source # | |
data PrimaryKey RedeemerRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (RedeemerRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (RedeemerRowT f) = D1 ('MetaData "RedeemerRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "RedeemerRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_redeemerRowHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_redeemerRowRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey RedeemerRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey RedeemerRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "RedeemerRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
type RedeemerRow = RedeemerRowT Identity Source #
TxRow | |
|
Instances
Beamable TxRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> TxRowT f -> TxRowT g -> m (TxRowT h) tblSkeleton :: TableSkeleton TxRowT | |
Table TxRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey TxRowT column primaryKey :: forall (column :: Type -> Type). TxRowT column -> PrimaryKey TxRowT column | |
Generic (TxRowT f) Source # | |
Beamable (PrimaryKey TxRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey TxRowT f -> PrimaryKey TxRowT g -> m (PrimaryKey TxRowT h) tblSkeleton :: TableSkeleton (PrimaryKey TxRowT) | |
Generic (PrimaryKey TxRowT f) Source # | |
data PrimaryKey TxRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (TxRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (TxRowT f) = D1 ('MetaData "TxRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "TxRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_txRowTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_txRowTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey TxRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey TxRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "TxRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
data AddressRowT f Source #
AddressRow | |
|
Instances
Beamable AddressRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> AddressRowT f -> AddressRowT g -> m (AddressRowT h) tblSkeleton :: TableSkeleton AddressRowT | |
Table AddressRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey AddressRowT column primaryKey :: forall (column :: Type -> Type). AddressRowT column -> PrimaryKey AddressRowT column | |
Generic (AddressRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: AddressRowT f -> Rep (AddressRowT f) x Source # to :: Rep (AddressRowT f) x -> AddressRowT f Source # | |
Beamable (PrimaryKey AddressRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey AddressRowT f -> PrimaryKey AddressRowT g -> m (PrimaryKey AddressRowT h) tblSkeleton :: TableSkeleton (PrimaryKey AddressRowT) | |
Generic (PrimaryKey AddressRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: PrimaryKey AddressRowT f -> Rep (PrimaryKey AddressRowT f) x Source # to :: Rep (PrimaryKey AddressRowT f) x -> PrimaryKey AddressRowT f Source # | |
data PrimaryKey AddressRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey AddressRowT f = AddressRowId (Columnar f ByteString) (Columnar f ByteString) (Columnar f ByteString) | |
type Rep (AddressRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (AddressRowT f) = D1 ('MetaData "AddressRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "AddressRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_addressRowCred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: (S1 ('MetaSel ('Just "_addressRowOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_addressRowDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString))))) | |
type Rep (PrimaryKey AddressRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey AddressRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "AddressRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString))))) |
type AddressRow = AddressRowT Identity Source #
data AssetClassRowT f Source #
AssetClassRow | |
|
Instances
Beamable AssetClassRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> AssetClassRowT f -> AssetClassRowT g -> m (AssetClassRowT h) tblSkeleton :: TableSkeleton AssetClassRowT | |
Table AssetClassRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey AssetClassRowT column primaryKey :: forall (column :: Type -> Type). AssetClassRowT column -> PrimaryKey AssetClassRowT column | |
Generic (AssetClassRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: AssetClassRowT f -> Rep (AssetClassRowT f) x Source # to :: Rep (AssetClassRowT f) x -> AssetClassRowT f Source # | |
Beamable (PrimaryKey AssetClassRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey AssetClassRowT f -> PrimaryKey AssetClassRowT g -> m (PrimaryKey AssetClassRowT h) tblSkeleton :: TableSkeleton (PrimaryKey AssetClassRowT) | |
Generic (PrimaryKey AssetClassRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema from :: PrimaryKey AssetClassRowT f -> Rep (PrimaryKey AssetClassRowT f) x Source # to :: Rep (PrimaryKey AssetClassRowT f) x -> PrimaryKey AssetClassRowT f Source # | |
data PrimaryKey AssetClassRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (AssetClassRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (AssetClassRowT f) = D1 ('MetaData "AssetClassRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "AssetClassRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_assetClassRowAssetClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_assetClassRowOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey AssetClassRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey AssetClassRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "AssetClassRowId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
type AssetClassRow = AssetClassRowT Identity Source #
TipRow | |
|
Instances
Beamable TipRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> TipRowT f -> TipRowT g -> m (TipRowT h) tblSkeleton :: TableSkeleton TipRowT | |
Table TipRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey TipRowT column primaryKey :: forall (column :: Type -> Type). TipRowT column -> PrimaryKey TipRowT column | |
Generic (TipRowT f) Source # | |
Beamable (PrimaryKey TipRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey TipRowT f -> PrimaryKey TipRowT g -> m (PrimaryKey TipRowT h) tblSkeleton :: TableSkeleton (PrimaryKey TipRowT) | |
Generic (PrimaryKey TipRowT f) Source # | |
data PrimaryKey TipRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (TipRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (TipRowT f) = D1 ('MetaData "TipRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "TipRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tipRowSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Word64)) :*: (S1 ('MetaSel ('Just "_tipRowBlockId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_tipRowBlockNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Word64))))) | |
type Rep (PrimaryKey TipRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey TipRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "TipRowId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTipRowId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Word64)))) |
data UnspentOutputRowT f Source #
UnspentOutputRow | |
|
Instances
data UnmatchedInputRowT f Source #
UnmatchedInputRow | |
|
Instances
UtxoRow | |
|
Instances
Beamable UtxoRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> UtxoRowT f -> UtxoRowT g -> m (UtxoRowT h) tblSkeleton :: TableSkeleton UtxoRowT | |
Table UtxoRowT Source # | |
Defined in Plutus.ChainIndex.DbSchema data PrimaryKey UtxoRowT column primaryKey :: forall (column :: Type -> Type). UtxoRowT column -> PrimaryKey UtxoRowT column | |
Generic (UtxoRowT f) Source # | |
Beamable (PrimaryKey UtxoRowT) Source # | |
Defined in Plutus.ChainIndex.DbSchema zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey UtxoRowT f -> PrimaryKey UtxoRowT g -> m (PrimaryKey UtxoRowT h) tblSkeleton :: TableSkeleton (PrimaryKey UtxoRowT) | |
Generic (PrimaryKey UtxoRowT f) Source # | |
data PrimaryKey UtxoRowT f Source # | |
Defined in Plutus.ChainIndex.DbSchema | |
type Rep (UtxoRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (UtxoRowT f) = D1 ('MetaData "UtxoRowT" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "UtxoRow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_utxoRowOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)) :*: S1 ('MetaSel ('Just "_utxoRowTxOut") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) | |
type Rep (PrimaryKey UtxoRowT f) Source # | |
Defined in Plutus.ChainIndex.DbSchema type Rep (PrimaryKey UtxoRowT f) = D1 ('MetaData "PrimaryKey" "Plutus.ChainIndex.DbSchema" "plutus-chain-index-core-1.2.0.0-KXwe88sWnh3Kg9uXBYztrS" 'False) (C1 ('MetaCons "UtxoRowOutRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f ByteString)))) |
Db | |
|
Instances
type AllTables (c :: * -> Constraint) f = (c (f (TableEntity DatumRowT)), c (f (TableEntity ScriptRowT)), c (f (TableEntity RedeemerRowT)), c (f (TableEntity TxRowT)), c (f (TableEntity UtxoRowT)), c (f (TableEntity AddressRowT)), c (f (TableEntity AssetClassRowT)), c (f (TableEntity TipRowT)), c (f (TableEntity UnspentOutputRowT)), c (f (TableEntity UnmatchedInputRowT))) Source #
checkedSqliteDb :: CheckedDatabaseSettings Sqlite Db Source #
class FromBackendRow Sqlite (DbType a) => HasDbType a where Source #
Instances of HasDbType
can be converted to types that can be stored in the database.
toDbValue
and fromDbValue
must be inverses of each other.
Instances
newtype Serialisable a Source #
Instances
Serialise a => HasDbType (Serialisable a) Source # | |
Defined in Plutus.ChainIndex.DbSchema type DbType (Serialisable a) Source # toDbValue :: Serialisable a -> DbType (Serialisable a) Source # fromDbValue :: DbType (Serialisable a) -> Serialisable a Source # | |
type DbType (Serialisable a) Source # | |
Defined in Plutus.ChainIndex.DbSchema |