on develop help sign in
Add PrimMonad instance for EventWriterT
commit4a32a8202e180f0919ec36e6770f6af5ce88818e authorAli Abrar <aliabrar@gmail.com> dateFri 28 Sep 2018, 01:36 (8 years ago) parent7180ebf
1 file changed+5
src/Reflex/EventWriter/Base.hs+5
src/Reflex/EventWriter/Base.hs+5
@@ -34,6 +34,7 @@ import Reflex.TriggerEvent.Class
3434
3535import Control.Monad.Exception
3636import Control.Monad.Identity
37+import Control.Monad.Primitive
3738import Control.Monad.Reader
3839import Control.Monad.Ref
3940import Control.Monad.State.Strict
@@ -266,6 +267,10 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher
266267 askQueryResult = lift askQueryResult
267268 queryIncremental = lift . queryIncremental
268269
270+instance PrimMonad m => PrimMonad (EventWriterT t w m) where
271+ type PrimState (EventWriterT t w m) = PrimState m
272+ primitive = lift . primitive
273+
269274-- | Map a function over the output of a 'EventWriterT'.
270275withEventWriterT :: (Semigroup w, Semigroup w', Reflex t, MonadHold t m)
271276 => (w -> w')