RouterHoles.hs

-- HAND-OWNED hole module for the router's behaviour-bearing bodies.
-- keiro-dsl creates it once and never overwrites it.
module SkelRouter.MyService.PagingRouter.RouterHoles () where

-- HOLE resolve :: IncidentRaised -> Eff es [PMCommand targetCommand]
--   Spec source: typed resolver hole.
--   The spec's 'stable' keyword acknowledges that retry attempts accumulate
--   the UNION of resolved target identities. Keep the recipient set stable
--   for a source event whenever an exact recipient set matters.
-- HOLE router value: assemble Keiro.Router.Router with name = pagingRouterName,
--   key, resolve, targetEventStream, and targetProjections; run it with
--   runRouterWorkerWith pagingRouterWorkerOptions.
-- HOLE targetProjections: spec projections = [].
-- NOTE on-duplicate AckOk is sound because Keiro.Router confirms a duplicate
--   event id against the TARGET stream via confirmBenignDuplicate before
--   returning PMCommandDuplicate. Hand-rolled dispatch paths must do likewise.