Generalise mapRoutedT
So that we can write things like:
```haskell
mapRoutedT runEventWriterT :: RoutedT t r (EventWriterT t w m) a -> RoutedT t r m (a,w)
```
Because otherwise we risk needing to expose an `unsafeRoutedT` or something
that is potentially invariant breaking. This relaxation of mapRoutedT covers
all cases that I have hit.
commit1d338afddbea211f972b310a9e74bcb9dcddfeb5
authorBen Kolera <ben.kolera@gmail.com>
dateMon 18 Mar 2019, 10:51 (8 years ago)
parentca6edae
lib/route/src/Obelisk/Route/Frontend.hs+1−1
@@ -171,7 +171,7 @@ instance (Monad m, SetRoute t r m) => SetRoute t r (QueryT t q m) where
171171runRoutedT :: RoutedT t r m a -> Dynamic t r -> m a
172172runRoutedT = runReaderT . unRoutedT
173173
174−mapRoutedT :: (m a -> n a) -> RoutedT t r m a -> RoutedT t r n a
174+mapRoutedT :: (m a -> n b) -> RoutedT t r m a -> RoutedT t r n b
175175mapRoutedT f = RoutedT . mapReaderT f . unRoutedT
176176
177177withRoutedT :: (Dynamic t r -> Dynamic t r') -> RoutedT t r' m a -> RoutedT t r m a