6229dde · reflex · git.iko.soy

git.iko.soy/reflex

Give [Event|Dynamic]Writer instances of each other

commit6229dde80d1f14502aa407a401d3075e686ab358 authorElliot Cameron <eacameron@gmail.com> dateTue 23 Oct 2018, 23:39 (8 years ago) parent59ef31e

2 files changed+10−2

compare with develop

unifiedsplit

src/Reflex/DynamicWriter/Base.hs+5−1 src/Reflex/EventWriter/Base.hs+5−1

src/Reflex/DynamicWriter/Base.hs+5−1

@@ -38,9 +38,10 @@ import Data.Semigroup

3838import Data.Some (Some)

3939import Data.These

4040

41−import Reflex.Class

4241import Reflex.Adjustable.Class

42+import Reflex.Class

4343import Reflex.DynamicWriter.Class

44+import Reflex.EventWriter.Class (EventWriter, tellEvent)

4445import Reflex.Host.Class

4546import qualified Reflex.Patch.MapWithMove as MapWithMove

4647import Reflex.PerformEvent.Class

@@ -226,3 +227,6 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (DynamicWriterT t w m) wh

226227 tellQueryIncremental = lift . tellQueryIncremental

227228 askQueryResult = lift askQueryResult

228229 queryIncremental = lift . queryIncremental

230+

231+instance EventWriter t w m => EventWriter t w (DynamicWriterT t v m) where

232+ tellEvent = lift . tellEvent

src/Reflex/EventWriter/Base.hs+5−1

@@ -22,9 +22,10 @@ module Reflex.EventWriter.Base

2222 , withEventWriterT

2323 ) where

2424

25−import Reflex.Class

2625import Reflex.Adjustable.Class

26+import Reflex.Class

2727import Reflex.EventWriter.Class (EventWriter, tellEvent)

28+import Reflex.DynamicWriter.Class (MonadDynamicWriter, tellDyn)

2829import Reflex.Host.Class

2930import Reflex.PerformEvent.Class

3031import Reflex.PostBuild.Class

@@ -267,6 +268,9 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher

267268 askQueryResult = lift askQueryResult

268269 queryIncremental = lift . queryIncremental

269270

271+instance MonadDynamicWriter t w m => MonadDynamicWriter t w (EventWriterT t v m) where

272+ tellDyn = lift . tellDyn

273+

270274instance PrimMonad m => PrimMonad (EventWriterT t w m) where

271275 type PrimState (EventWriterT t w m) = PrimState m

272276 primitive = lift . primitive