Apply a signed transaction to produce a result and events.
Apply a signed transaction to produce a result and events.
ADR-0012: All transactions must be wrapped in Signed[T] to ensure cryptographic signatures are present at compile time.
The reducer is polymorphic over the transaction type T, requiring only that T's read and write requirements are satisfied by this reducer's combined schema.
Type parameters
T
the transaction type
Value parameters
requiresReads
evidence that T's read requirements are in Owns ++ Needs
requiresWrites
evidence that T's write requirements are in Owns ++ Needs
signedTx
the signed transaction to apply (ADR-0012)
Attributes
Returns
a stateful computation returning the result and list of events