git.iko.soy/patch
on develop help sign in
Add MonadQuery instance for EventWriterT and EventWriter instance for QueryT.
aad7445Luigy Leon
src/Reflex/EventWriter.hs+6
compare with develop
unifiedsplit
@@ -25,6 +25,7 @@ import Reflex.Class
25import Reflex.Host.Class
25import Reflex.Host.Class
26import Reflex.PerformEvent.Class
26import Reflex.PerformEvent.Class
27import Reflex.PostBuild.Class
27import Reflex.PostBuild.Class
28+import Reflex.Query.Class
28import Reflex.Requester.Class
29import Reflex.Requester.Class
29import Reflex.TriggerEvent.Class
30import Reflex.TriggerEvent.Class
30
31
@@ -170,3 +171,8 @@ instance MonadAtomicRef m => MonadAtomicRef (EventWriterT t w m) where
170instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (EventWriterT t w m) where
171instance MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (EventWriterT t w m) where
171 newEventWithTrigger = lift . newEventWithTrigger
172 newEventWithTrigger = lift . newEventWithTrigger
172 newFanEventWithTrigger f = lift $ newFanEventWithTrigger f
173 newFanEventWithTrigger f = lift $ newFanEventWithTrigger f
174+
175+instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t q m) where
176+ tellQueryIncremental = lift . tellQueryIncremental
177+ askQueryResult = lift askQueryResult
178+ queryIncremental = lift . queryIncremental
src/Reflex/Query/Base.hs+3
@@ -259,3 +259,6 @@ instance Requester t m => Requester t (QueryT t q m) where
259 type Request (QueryT t q m) = Request m
259 type Request (QueryT t q m) = Request m
260 type Response (QueryT t q m) = Response m
260 type Response (QueryT t q m) = Response m
261 withRequesting f = QueryT $ withRequesting $ unQueryT . f
261 withRequesting f = QueryT $ withRequesting $ unQueryT . f
262+
263+instance EventWriter t w m => EventWriter t w (QueryT t w m) where
264+ tellEvent = lift . tellEvent