Revision 4bd16f46
| ID | 4bd16f46e05541e81188e38af6f58e16cb4b62fe |
| Parent | deb9ff16 |
| Child | be751ab9 |
Add parameters to calls to asynchronous workers
Since a worker accumulates several request together, the type of a
parameter must be a monoid so that the requests can be combined into one
value used for running the worker's action.
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Files
- added
- modified
- copied
- renamed
- deleted