1150ac9 · patch · git.iko.soy

git.iko.soy/patch

on develop help sign in

Add MonadDynamicWriter for QueryT and MonadQuery for DynamicWriterT

1150ac9Ken Micklas8 years ago

src/Reflex/DynamicWriter/Base.hs+6

compare with develop

unifiedsplit

@@ -44,6 +44,7 @@ import Reflex.Host.Class

44import qualified Reflex.Patch.MapWithMove as MapWithMove

45import Reflex.PerformEvent.Class

46import Reflex.PostBuild.Class

47+import Reflex.Query.Class

47import Reflex.Requester.Class

48import Reflex.Requester.Class

48import Reflex.TriggerEvent.Class

49import Reflex.TriggerEvent.Class

@@ -214,3 +215,8 @@ instance Requester t m => Requester t (DynamicWriterT t w m) where

214 type Response (DynamicWriterT t w m) = Response m

215 type Response (DynamicWriterT t w m) = Response m

215 requesting = lift . requesting

216 requesting = lift . requesting

216 requesting_ = lift . requesting_

217 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

40import Reflex.Class

41import Reflex.Adjustable.Class

42+import Reflex.DynamicWriter.Class

42import Reflex.EventWriter.Base

43import Reflex.EventWriter.Base

43import Reflex.EventWriter.Class

44import Reflex.EventWriter.Class

44import Reflex.Host.Class

45import Reflex.Host.Class

@@ -286,3 +287,6 @@ instance Requester t m => Requester t (QueryT t q m) where

286

287

287instance EventWriter t w m => EventWriter t w (QueryT t q m) where

288instance EventWriter t w m => EventWriter t w (QueryT t q m) where

288 tellEvent = lift . tellEvent

289 tellEvent = lift . tellEvent

290+

291+instance MonadDynamicWriter t w m => MonadDynamicWriter t w (QueryT t q m) where

292+ tellDyn = lift . tellDyn