marlowe-runtime-0.0.5: Runtime system for running Marlowe financial contracts on the Cardano Computation Layer
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Marlowe.Runtime.Indexer.Database.PostgreSQL.CommitBlocks

Documentation

commitBlocks :: [MarloweBlock] -> Transaction () Source #

type QueryParams = (Vector ByteString, Vector Int64, Vector Int64, Vector ByteString, Vector Int16, Vector ByteString, Vector ByteString, Vector Int64, Vector ByteString, Vector Int16, Vector ByteString, Vector ByteString, Vector ByteString, Vector Int64, Vector ByteString, Vector Int16, Vector ByteString, Vector ByteString, Vector ByteString, Vector ByteString, Vector ByteString, Vector ByteString, Vector Int16, Vector Int64, Vector ByteString, Vector Int64, Vector (Maybe ByteString), Vector ByteString, Vector ByteString, Vector Int16, Vector Int64, Vector ByteString, Vector Int64, Vector LocalTime, Vector LocalTime, Vector (Maybe ByteString), Vector ByteString, Vector Int16, Vector ByteString, Vector (Maybe Int16), Vector ByteString, Vector Int16, Vector ByteString, Vector ByteString, Vector ByteString, Vector ByteString, Vector Int64, Vector ByteString, Vector Int64, Vector ByteString, Vector Int16, Vector ByteString, Vector Int16, Vector ByteString, Vector ByteString, Vector Int16, Vector ByteString, Vector Text, Vector Text, Vector ByteString, Vector Int16) Source #

type BlockRow = (ByteString, Int64, Int64) Source #

blockToRow :: BlockHeader -> BlockRow Source #

type TxOutRow = (ByteString, Int16, ByteString, ByteString, Int64) Source #

type TxOutAssetRow = (ByteString, Int16, ByteString, ByteString, ByteString, Int64) Source #

assetsToTxOutAssetRows :: BlockHeader -> ByteString -> Int16 -> Assets -> [TxOutAssetRow] Source #

type ContractTxOutRow = (ByteString, Int16, ByteString, ByteString, ByteString, ByteString, ByteString, [ContractTxOutParty]) Source #

transactionScriptOutputToRows :: ContractId -> BlockHeader -> ScriptHash -> TxOutRef -> MarloweVersion v -> TransactionScriptOutput v -> (ByteString, Int16, TxOutRow, ContractTxOutRow, [TxOutAssetRow]) Source #

type CreateTxOutRow = (ByteString, Int16, Int64, ByteString, Int64, Maybe ByteString) Source #

transactionMetadataToTagRows :: ByteString -> Int16 -> MarloweTransactionMetadata -> [ContractTxOutTagRow] Source #

type ApplyTxRow = (ByteString, ByteString, Int16, Int64, ByteString, Int64, LocalTime, LocalTime, Maybe ByteString, ByteString, Int16, ByteString, Maybe Int16) Source #

type PayoutTxOutRow = (ByteString, Int16, ByteString, ByteString, ByteString) Source #

type WithdrawalTxInRow = (ByteString, Int64, ByteString, Int64, ByteString, Int16, ByteString, Int16) Source #

type InvalidApplyTxRow = (ByteString, ByteString, Int16, ByteString, Text) Source #

type ContractTxOutTagRow = (Text, ByteString, Int16) Source #

foldMap9 :: (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Foldable t) => (x -> (a, b, c, d, e, f, g, h, i)) -> t x -> (a, b, c, d, e, f, g, h, i) Source #

unzip13 :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k], [l], [m]) Source #

unzip8 :: [(a, b, c, d, e, f, g, h)] -> ([a], [b], [c], [d], [e], [f], [g], [h]) Source #