on develop help sign in
Add PrimMonad instance for EventWriterT
4a32a82Ali Abrar
src/Reflex/EventWriter/Base.hs+5
@@ -34,6 +34,7 @@ import Reflex.TriggerEvent.Class
34
34
35import Control.Monad.Exception
35import Control.Monad.Exception
36import Control.Monad.Identity
36import Control.Monad.Identity
37+import Control.Monad.Primitive
37import Control.Monad.Reader
38import Control.Monad.Reader
38import Control.Monad.Ref
39import Control.Monad.Ref
39import Control.Monad.State.Strict
40import Control.Monad.State.Strict
@@ -266,6 +267,10 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher
266 askQueryResult = lift askQueryResult
267 askQueryResult = lift askQueryResult
267 queryIncremental = lift . queryIncremental
268 queryIncremental = lift . queryIncremental
268
269
270+instance PrimMonad m => PrimMonad (EventWriterT t w m) where
271+ type PrimState (EventWriterT t w m) = PrimState m
272+ primitive = lift . primitive
273+
269-- | Map a function over the output of a 'EventWriterT'.
274-- | Map a function over the output of a 'EventWriterT'.
270withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m)
275withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m)
271 => (w -> w')
276 => (w -> w')