Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data DatumRowT f = DatumRow { }
- type DatumRow = DatumRowT Identity
- data ScriptRowT f = ScriptRow { }
- type ScriptRow = ScriptRowT Identity
- data RedeemerRowT f = RedeemerRow { }
- type RedeemerRow = RedeemerRowT Identity
-
data
TxRowT
f =
TxRow
{
- _txRowTxId :: Columnar f ByteString
- _txRowTx :: Columnar f ByteString
- type TxRow = TxRowT Identity
- data AddressRowT f = AddressRow { }
- type AddressRow = AddressRowT Identity
- data AssetClassRowT f = AssetClassRow { }
- 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 { }
- type UnspentOutputRow = UnspentOutputRowT Identity
- data UnmatchedInputRowT f = UnmatchedInputRow { }
- type UnmatchedInputRow = UnmatchedInputRowT Identity
- data UtxoRowT f = UtxoRow { }
- 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
Instances
data ScriptRowT f Source #
Instances
type ScriptRow = ScriptRowT Identity Source #
data RedeemerRowT f Source #
Instances
type RedeemerRow = RedeemerRowT Identity Source #
TxRow | |
|
Instances
data AddressRowT f Source #
Instances
type AddressRow = AddressRowT Identity Source #
data AssetClassRowT f Source #
Instances
type AssetClassRow = AssetClassRowT Identity Source #
TipRow | |
|
Instances
data UnspentOutputRowT f Source #
Instances
data UnmatchedInputRowT f Source #
Instances
Instances
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 #
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 |