@@ -86,7 +86,7 @@ newtype RoutedT t r m a = RoutedT { unRoutedT :: ReaderT (Dynamic t r) m a }
8686instance Prerender js m => Prerender js (RoutedT t r m) where
8787 prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
8888
89−instance (Requester t m, PrimMonad m) => Requester t (RoutedT t r m) where
89+instance Requester t m => Requester t (RoutedT t r m) where
9090 type Request (RoutedT t r m) = Request m
9191 type Response (RoutedT t r m) = Response m
9292 requesting = RoutedT . requesting
@@ -131,6 +131,11 @@ instance Adjustable t m => Adjustable t (RoutedT t r m) where
131131 traverseDMapWithKeyWithAdjust f a0 a' = RoutedT $ traverseDMapWithKeyWithAdjust (\k v -> coerce $ f k v) (coerce a0) $ coerce a'
132132 traverseDMapWithKeyWithAdjustWithMove f a0 a' = RoutedT $ traverseDMapWithKeyWithAdjustWithMove (\k v -> coerce $ f k v) (coerce a0) $ coerce a'
133133
134+instance (Monad m, MonadQuery t vs m) => MonadQuery t vs (RoutedT t r m) where
135+ tellQueryIncremental = lift . tellQueryIncremental
136+ askQueryResult = lift askQueryResult
137+ queryIncremental = lift . queryIncremental
138+
134139runRoutedT :: RoutedT t r m a -> Dynamic t r -> m a
135140runRoutedT = runReaderT . unRoutedT
136141