@@ -62,6 +62,7 @@ import Control.Category.Cartesian ((&&&))
62import Control.Lens hiding (Bifunctor, bimap, universe, element)
62import Control.Lens hiding (Bifunctor, bimap, universe, element)
63import Control.Monad ((<=<))
63import Control.Monad ((<=<))
64import Control.Monad.Fix
64import Control.Monad.Fix
65+import Control.Monad.Morph
65import Control.Monad.Primitive
66import Control.Monad.Primitive
66import Control.Monad.Reader
67import Control.Monad.Reader
67import Control.Monad.Ref
68import Control.Monad.Ref
@@ -108,7 +109,23 @@ instance Monad m => Routed t r (RoutedT t r m) where
108instance (Monad m, Routed t r m) => Routed t r (ReaderT r' m)
109instance (Monad m, Routed t r m) => Routed t r (ReaderT r' m)
110newtype RoutedT t r m a = RoutedT { unRoutedT :: ReaderT (Dynamic t r) m a }
111newtype RoutedT t r m a = RoutedT { unRoutedT :: ReaderT (Dynamic t r) m a }
111− deriving (Functor, Applicative, Monad, MonadFix, MonadTrans, NotReady t, MonadHold t, MonadSample t, PostBuild t, TriggerEvent t, MonadIO, MonadReflexCreateTrigger t, HasDocument, DomRenderHook t)
112+ deriving
125+ , MonadReflexCreateTrigger t
113instance MonadReader r' m => MonadReader r' (RoutedT t r m) where
130instance MonadReader r' m => MonadReader r' (RoutedT t r m) where
114 ask = lift ask
131 ask = lift ask