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.GetNextSteps

Documentation

getNextSteps :: MarloweVersion v -> ContractId -> ChainPoint -> Transaction (Next (ContractStep v)) Source #

data Orientation Source #

Constructors

BeforeTip 
AtTip 
RolledBack ChainPoint 

orient :: ChainPoint -> Transaction Orientation Source #

data NextTxIds Source #

Constructors

NextTxIds 

Fields

getNextTxIds :: ContractId -> ChainPoint -> Transaction (Maybe NextTxIds) Source #

getApplySteps :: BlockHeader -> ContractId -> [TxId] -> Transaction [Transaction 'V1] Source #

getRedeemSteps :: [TxId] -> Transaction [RedeemStep 'V1] Source #

mergeWithChildren :: (a -> r) -> (c -> r -> r) -> Fold a c -> Fold a (Maybe r) Source #