Safe Haskell	None
Language	GHC2021

Singular.Registry.Capabilities

Description

Capabilities retained by a command or runner. Reads use the explicit network and generic provider; submission accepts only signed bytes; clocks and bounded confirmation belong to the caller's effect composition.

IO confirmation runs on the command's calling thread. Its implementation must be interruptible, including transport waits and resource cleanup, and must propagate asynchronous exceptions rather than convert them into a provider verdict. Blocking uninterruptibly delays both deadlines and caller cancellation until that block is released; there is no detached worker to continue confirmation after the command.

Synopsis

data Capabilities w (m :: Type -> Type) = Capabilities {
- capReads :: (Network, LedgerProvider w m)
- capSubmit :: SignedTx -> m SubmitResult
- capConfirm :: ConwayTx -> m ()
- capFacts :: m [FactRecord]
- capTrace :: m [Value]
}
sessionReceipt :: forall m w (n :: Type -> Type). Monad m => Capabilities w m -> Session w n -> m Value

Documentation

data Capabilities w (m :: Type -> Type) Source #

Constructors

Capabilities

Fields

capReads :: (Network, LedgerProvider w m)
The provider, undecorated: each scope that reads wraps it with its own tracer (tracedLedgerProvider)
capSubmit :: SignedTx -> m SubmitResult
capConfirm :: ConwayTx -> m ()
Confirm exactly this signed transaction without resubmitting it. For IO callers this action and its cleanup must be interruptible: a command runs it on its calling thread under its confirmation deadline. Provider failures, wait failures and caller cancellation retain their distinct identities. An uninterruptible replacement delays command return until it releases; it does not gain a background worker.
capFacts :: m [FactRecord]
capTrace :: m [Value]

sessionReceipt :: forall m w (n :: Type -> Type). Monad m => Capabilities w m -> Session w n -> m Value Source #

Only the actual scope's facts and source exchanges; later confirmation and prior funding scopes cannot enter this body's evidence.