| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Runtime.Transaction.Query
Synopsis
- data LoadWalletContextSelector f where
- data LoadWalletContextField
- = ForAddresses (Set Address)
- | WalletContextLoaded WalletContext
- data LoadPayoutContextSelector f where
- data LoadPayoutContextField
- = ForPayouts (Set TxOutRef)
- | PayoutContextLoaded PayoutContext
- data LoadMarloweContextSelector f where
- LoadMarloweContext :: LoadMarloweContextSelector LoadMarloweContextField
- ContractNotFound :: LoadMarloweContextSelector Void
- ContractFound :: LoadMarloweContextSelector ContractFoundField
- ExtractCreationFailed :: LoadMarloweContextSelector ExtractCreationError
- ExtractMarloweTransactionFailed :: LoadMarloweContextSelector ExtractMarloweTransactionError
- ContractTipFound :: MarloweVersion v -> LoadMarloweContextSelector (MarloweContext v)
- data LoadMarloweContextField where
- DesiredVersion :: MarloweVersion v -> LoadMarloweContextField
- Contract :: ContractId -> LoadMarloweContextField
- data ContractFoundField where
- ActualVersion :: MarloweVersion v -> ContractFoundField
- MarloweScriptAddress :: Address -> ContractFoundField
- PayoutScriptHash :: ScriptHash -> ContractFoundField
- type LoadWalletContext m = WalletAddresses -> m WalletContext
- type LoadPayoutContext m = forall v. MarloweVersion v -> Set TxOutRef -> m PayoutContext
- type LoadMarloweContext m = forall v. MarloweVersion v -> ContractId -> m (Either LoadMarloweContextError (MarloweContext v))
- loadWalletContext :: MonadInjectEvent r LoadWalletContextSelector s m => (GetUTxOsQuery -> m UTxOs) -> LoadWalletContext m
- loadPayoutContext :: MonadInjectEvent r LoadPayoutContextSelector s m => (forall v. MarloweVersion v -> Set MarloweScripts) -> NetworkId -> (GetUTxOsQuery -> m UTxOs) -> LoadPayoutContext m
- loadMarloweContext :: forall m r s. (MonadUnliftIO m, MonadInjectEvent r LoadMarloweContextSelector s m) => (forall v. MarloweVersion v -> Set MarloweScripts) -> NetworkId -> Connector RuntimeChainSeekClient m -> Connector (QueryClient ChainSyncQuery) m -> LoadMarloweContext m
- lookupMarloweScriptUtxo :: NetworkId -> MarloweScripts -> Either LoadMarloweContextError ReferenceScriptUtxo
- lookupPayoutScriptUtxo :: NetworkId -> MarloweScripts -> Either LoadMarloweContextError ReferenceScriptUtxo
Documentation
data LoadWalletContextSelector f where Source #
Constructors
| LoadWalletContext :: LoadWalletContextSelector LoadWalletContextField |
data LoadWalletContextField Source #
Constructors
| ForAddresses (Set Address) | |
| WalletContextLoaded WalletContext |
data LoadPayoutContextSelector f where Source #
Constructors
| LoadPayoutContext :: LoadPayoutContextSelector LoadPayoutContextField |
data LoadPayoutContextField Source #
Constructors
| ForPayouts (Set TxOutRef) | |
| PayoutContextLoaded PayoutContext |
data LoadMarloweContextSelector f where Source #
Constructors
| LoadMarloweContext :: LoadMarloweContextSelector LoadMarloweContextField | |
| ContractNotFound :: LoadMarloweContextSelector Void | |
| ContractFound :: LoadMarloweContextSelector ContractFoundField | |
| ExtractCreationFailed :: LoadMarloweContextSelector ExtractCreationError | |
| ExtractMarloweTransactionFailed :: LoadMarloweContextSelector ExtractMarloweTransactionError | |
| ContractTipFound :: MarloweVersion v -> LoadMarloweContextSelector (MarloweContext v) |
data LoadMarloweContextField where Source #
Constructors
| DesiredVersion :: MarloweVersion v -> LoadMarloweContextField | |
| Contract :: ContractId -> LoadMarloweContextField |
data ContractFoundField where Source #
Constructors
| ActualVersion :: MarloweVersion v -> ContractFoundField | |
| MarloweScriptAddress :: Address -> ContractFoundField | |
| PayoutScriptHash :: ScriptHash -> ContractFoundField |
type LoadWalletContext m = WalletAddresses -> m WalletContext Source #
type LoadPayoutContext m = forall v. MarloweVersion v -> Set TxOutRef -> m PayoutContext Source #
type LoadMarloweContext m = forall v. MarloweVersion v -> ContractId -> m (Either LoadMarloweContextError (MarloweContext v)) Source #
loadWalletContext :: MonadInjectEvent r LoadWalletContextSelector s m => (GetUTxOsQuery -> m UTxOs) -> LoadWalletContext m Source #
loadPayoutContext :: MonadInjectEvent r LoadPayoutContextSelector s m => (forall v. MarloweVersion v -> Set MarloweScripts) -> NetworkId -> (GetUTxOsQuery -> m UTxOs) -> LoadPayoutContext m Source #
loadMarloweContext :: forall m r s. (MonadUnliftIO m, MonadInjectEvent r LoadMarloweContextSelector s m) => (forall v. MarloweVersion v -> Set MarloweScripts) -> NetworkId -> Connector RuntimeChainSeekClient m -> Connector (QueryClient ChainSyncQuery) m -> LoadMarloweContext m Source #
Loads the current MarloweContext for a contract by its ID.
lookupMarloweScriptUtxo :: NetworkId -> MarloweScripts -> Either LoadMarloweContextError ReferenceScriptUtxo Source #
lookupPayoutScriptUtxo :: NetworkId -> MarloweScripts -> Either LoadMarloweContextError ReferenceScriptUtxo Source #