on develop help sign in
Add MonadDynamicWriter for QueryT and MonadQuery for DynamicWriterT

This fixes #207.

commit1150ac955db52c137acbfd51a46d58e33f7ede7f authorKen Micklas <kmicklas@gmail.com> dateFri 20 Jul 2018, 14:42 (8 years ago) parent39d9392
2 files changed+10
src/Reflex/DynamicWriter/Base.hs+6 src/Reflex/Query/Base.hs+4
src/Reflex/DynamicWriter/Base.hs+6
@@ -44,6 +44,7 @@ import Reflex.Host.Class
4444import qualified Reflex.Patch.MapWithMove as MapWithMove
4545import Reflex.PerformEvent.Class
4646import Reflex.PostBuild.Class
47+import Reflex.Query.Class
4748import Reflex.Requester.Class
4849import Reflex.TriggerEvent.Class
4950
@@ -214,3 +215,8 @@ instance Requester t m => Requester t (DynamicWriterT t w m) where
214215 type Response (DynamicWriterT t w m) = Response m
215216 requesting = lift . requesting
216217 requesting_ = lift . requesting_
218+
219+instance (MonadQuery t q m, Monad m) => MonadQuery t q (DynamicWriterT t w m) where
220+ tellQueryIncremental = lift . tellQueryIncremental
221+ askQueryResult = lift askQueryResult
222+ queryIncremental = lift . queryIncremental
src/Reflex/Query/Base.hs+4
@@ -39,6 +39,7 @@ import Data.These
3939
4040import Reflex.Class
4141import Reflex.Adjustable.Class
42+import Reflex.DynamicWriter.Class
4243import Reflex.EventWriter.Base
4344import Reflex.EventWriter.Class
4445import Reflex.Host.Class
@@ -286,3 +287,6 @@ instance Requester t m => Requester t (QueryT t q m) where
286287
287288instance EventWriter t w m => EventWriter t w (QueryT t q m) where
288289 tellEvent = lift . tellEvent
290+
291+instance MonadDynamicWriter t w m => MonadDynamicWriter t w (QueryT t q m) where
292+ tellDyn = lift . tellDyn