Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Marlowe.Runtime.Transaction.Server

Documentation

data TransactionServerSelector f where Source #

Constructors

Exec :: TransactionServerSelector ExecField
ExecCreate :: TransactionServerSelector BuildTxField
ExecApplyInputs :: TransactionServerSelector BuildTxField
ExecWithdraw :: TransactionServerSelector BuildTxField

data ExecField Source #

Constructors

SystemStart SystemStart
EraHistory (EraHistory CardanoMode)
ProtocolParameters ProtocolParameters
NetworkId NetworkId
Era AnyCardanoEra

data BuildTxField where Source #

Constructors

Constraints :: IsCardanoEra era => MarloweVersion v -> TxConstraints era v -> BuildTxField
ResultingTxBody :: IsCardanoEra era => TxBody era -> BuildTxField

data TransactionServerDependencies m Source #

Constructors

TransactionServerDependencies

Fields

mkSubmitJob :: forall era. ScriptDataSupportedInEra era -> Tx era -> STM (SubmitJob m)
loadWalletContext :: LoadWalletContext m
loadMarloweContext :: LoadMarloweContext m
loadPayoutContext :: LoadPayoutContext m
chainSyncQueryConnector :: Connector (QueryClient ChainSyncQuery) m
contractQueryConnector :: Connector (QueryClient ContractRequest) m
getTip :: STM ChainPoint
getCurrentScripts :: forall v. MarloweVersion v -> MarloweScripts
analysisTimeout :: NominalDiffTime
mkRoleTokenMintingPolicy :: MkRoleTokenMintingPolicy m

transactionServer :: forall r s env m. (MonadInjectEvent r TransactionServerSelector s m, MonadUnliftIO m, WithLog env Message m) => Component m (TransactionServerDependencies m) (ServerSource (JobServer MarloweTxCommand) m ()) Source #

attachSubmit :: MonadIO m => JobId MarloweTxCommand SubmitStatus SubmitError BlockHeader -> STM (Maybe (SubmitJob m)) -> m (ServerStAttach MarloweTxCommand SubmitStatus SubmitError BlockHeader m ()) Source #

execCreate :: forall era m v. (MonadUnliftIO m, IsCardanoEra era) => MkRoleTokenMintingPolicy m -> CardanoEra era -> Connector (QueryClient ContractRequest) m -> (MarloweVersion v -> MarloweScripts) -> SolveConstraints -> ProtocolParameters -> LoadWalletContext m -> NetworkId -> Maybe StakeCredential -> MarloweVersion v -> WalletAddresses -> RoleTokensConfig -> MarloweTransactionMetadata -> Lovelace -> Either (Contract v) DatumHash -> NominalDiffTime -> m (ServerStCmd MarloweTxCommand Void CreateError (ContractCreated v) m ()) Source #

referenceInputsSupportedInEra :: Monad m => e -> CardanoEra era -> ExceptT e m (ReferenceTxInsScriptsInlineDatumsSupportedInEra era) Source #

singletonContinuations :: ContractWithAdjacency -> Continuations 'V1 Source #

foldMapM :: (Applicative m, Monoid b, Foldable t) => (a -> m b) -> t a -> m b Source #

findMarloweOutput :: forall era. IsCardanoEra era => Address -> TxBody era -> Maybe TxOutRef Source #

findPayouts :: forall era v. IsCardanoEra era => MarloweVersion v -> Address -> TxBody era -> Map TxOutRef (Payout v) Source #

execApplyInputs :: (MonadUnliftIO m, IsCardanoEra era) => CardanoEra era -> Connector (QueryClient ContractRequest) m -> STM ChainPoint -> SystemStart -> EraHistory CardanoMode -> SolveConstraints -> LoadWalletContext m -> LoadMarloweContext m -> MarloweVersion v -> WalletAddresses -> ContractId -> MarloweTransactionMetadata -> Maybe UTCTime -> Maybe UTCTime -> Inputs v -> m (ServerStCmd MarloweTxCommand Void ApplyInputsError (InputsApplied v) m ()) Source #

execWithdraw :: forall era v m. (Monad m, IsCardanoEra era) => CardanoEra era -> SolveConstraints -> LoadWalletContext m -> LoadPayoutContext m -> MarloweVersion v -> WalletAddresses -> Set TxOutRef -> m (ServerStCmd MarloweTxCommand Void WithdrawError (WithdrawTx v) m ()) Source #

execSubmit :: MonadUnliftIO m => (Tx era -> STM (SubmitJob m)) -> (TxId -> SubmitJob m -> STM ()) -> Tx era -> m (ServerStCmd MarloweTxCommand SubmitStatus SubmitError BlockHeader m ()) Source #

submitJobServerAttach :: MonadIO m => JobId MarloweTxCommand SubmitStatus SubmitError BlockHeader -> Maybe (SubmitJob m) -> m (ServerStAttach MarloweTxCommand SubmitStatus SubmitError BlockHeader m ()) Source #

submitJobServerCmd :: MonadIO m => JobId MarloweTxCommand SubmitStatus SubmitError BlockHeader -> SubmitJob m -> m (ServerStCmd MarloweTxCommand SubmitStatus SubmitError BlockHeader m ()) Source #

data SubmitJobCrashedException Source #

Constructors

SubmitJobCrashedException TxId SomeException

Instances

Instances details

Exception SubmitJobCrashedException Source #
Instance details Defined in Language.Marlowe.Runtime.Transaction.Server Methods toException :: SubmitJobCrashedException -> SomeException Source # fromException :: SomeException -> Maybe SubmitJobCrashedException Source # displayException :: SubmitJobCrashedException -> String Source #
Show SubmitJobCrashedException Source #
Instance details Defined in Language.Marlowe.Runtime.Transaction.Server Methods showsPrec :: Int -> SubmitJobCrashedException -> ShowS Source # show :: SubmitJobCrashedException -> String Source # showList :: [SubmitJobCrashedException] -> ShowS Source #

execExceptT :: Functor m => ExceptT e m a -> m (ServerStCmd cmd status e a n ()) Source #