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

Language.Marlowe.Runtime.Sync.Database.PostgreSQL.GetContractState

Documentation

getContractState :: ContractId -> Transaction (Maybe SomeContractState) Source #

type CreateResultRow = (ByteString, Int16, Maybe ByteString, Int64, ByteString, Int64, ByteString, ByteString, ByteString, ByteString, Int64, Vector ByteString, Vector ByteString, Vector Int64) Source #

decodeCreateResults :: CreateResultRow -> (ContractId, PolicyId, MarloweTransactionMetadata, BlockHeader, TransactionScriptOutput 'V1) Source #

type LatestResultRow = (ByteString, Maybe Int16, Int64, ByteString, Int64, Maybe ByteString, Maybe ByteString, Maybe ByteString, Maybe ByteString, Maybe Int64, Vector ByteString, Vector ByteString, Vector Int64) Source #

decodeLatestResults :: LatestResultRow -> (BlockHeader, Maybe (TransactionScriptOutput 'V1)) Source #

type PayoutRow = (ByteString, Int16, ByteString, ByteString, ByteString, Int64, Vector ByteString, Vector ByteString, Vector Int64) Source #

decodePayout :: PayoutRow -> (TxOutRef, Payout 'V1) Source #

decodeBinary :: Binary a => ByteString -> a Source #

decodeMetadata :: Maybe ByteString -> MarloweTransactionMetadata Source #

decodeContractId :: ByteString -> Int16 -> ContractId Source #

decodeTxOutRef :: ByteString -> Int16 -> TxOutRef Source #

decodeBlockHeader :: Int64 -> ByteString -> Int64 -> BlockHeader Source #

decodeTransactionScriptOutput :: ByteString -> Int16 -> ByteString -> Int64 -> Vector ByteString -> Vector ByteString -> Vector Int64 -> ByteString -> ByteString -> ByteString -> TransactionScriptOutput 'V1 Source #

decodeMarloweData :: ByteString -> ByteString -> ByteString -> MarloweData Source #

decodeDatumBytes :: FromData a => ByteString -> a Source #

decodeTokens :: Vector ByteString -> Vector ByteString -> Vector Int64 -> Tokens Source #