on develop help sign in
Add instance Requester t (QueryT t q m)
75426f7Ryan Trinkle
src/Reflex/Query/Base.hs+6
@@ -40,6 +40,7 @@ import Reflex.Host.Class
40import Reflex.PerformEvent.Class
40import Reflex.PerformEvent.Class
41import Reflex.PostBuild.Class
41import Reflex.PostBuild.Class
42import Reflex.Query.Class
42import Reflex.Query.Class
43+import Reflex.Requester.Class
43import Reflex.TriggerEvent.Class
44import Reflex.TriggerEvent.Class
44import qualified Reflex.Patch.MapWithMove as MapWithMove
45import qualified Reflex.Patch.MapWithMove as MapWithMove
45
46
@@ -253,3 +254,8 @@ instance (Monad m, Group q, Additive q, Query q, Reflex t) => MonadQuery t q (Qu
253 tellQueryIncremental q
254 tellQueryIncremental q
254 r <- askQueryResult
255 r <- askQueryResult
255 return $ zipDynWith crop (incrementalToDynamic q) r
256 return $ zipDynWith crop (incrementalToDynamic q) r
257+
258+instance Requester t m => Requester t (QueryT t q m) where
259+ type Request (QueryT t q m) = Request m
260+ type Response (QueryT t q m) = Response m
261+ withRequesting f = QueryT $ withRequesting $ unQueryT . f