git.iko.soy/typeable/reflex-dom-nested-routing
on master help sign in
Add instances for DynamicWriter
commit0c38b37417ce087f5ffde2318efcbaf49a16fd1f author3noch <eacameron@gmail.com> dateThu 16 Nov 2017, 14:40 (9 years ago) parentfb85e65
2 files changed+13−1
compare with master
unifiedsplit
Reflex/Dom/NestedRoute.hs+7 Reflex/Dom/RouteWriter.hs+6−1
Reflex/Dom/NestedRoute.hs+7
@@ -127,6 +127,13 @@ instance HasRoute t segment m => HasRoute t segment (EventWriterT t w m) where
127127instance EventWriter t w m => EventWriter t w (RouteT t segment m) where
128128 tellEvent = lift . tellEvent
129129
130+instance HasRoute t segment m => HasRoute t segment (DynamicWriterT t w m) where
131+ routeContext = lift routeContext
132+ withSegments f (DynamicWriterT a) = DynamicWriterT $ StrictState.mapStateT (withSegments f) a
133+
134+instance MonadDynamicWriter t w m => MonadDynamicWriter t w (RouteT t segment m) where
135+ tellDyn = lift . tellDyn
136+
130137instance HasDocument m => HasDocument (RouteT t segment m)
131138instance HasJSContext m => HasJSContext (RouteT t segment m) where
132139 type JSContextPhantom (RouteT t segment m) = JSContextPhantom m
Reflex/Dom/RouteWriter.hs+6−1
@@ -95,10 +95,15 @@ deriving instance MonadReader r m => MonadReader r (RouteWriterT t segment m)
9595
9696instance RouteWriter t segment m => RouteWriter t segment (EventWriterT t w m) where
9797 tellRoute = lift . tellRoute
98−
9998instance EventWriter t w m => EventWriter t w (RouteWriterT t segment m) where
10099 tellEvent = lift . tellEvent
101100
101+instance RouteWriter t segment m => RouteWriter t segment (DynamicWriterT t w m) where
102+ tellRoute = lift . tellRoute
103+instance MonadDynamicWriter t w m => MonadDynamicWriter t w (RouteWriterT t segment m) where
104+ tellDyn = lift . tellDyn
105+
106+
102107instance HasDocument m => HasDocument (RouteWriterT t segment m)
103108instance HasJSContext m => HasJSContext (RouteWriterT t segment m) where
104109 type JSContextPhantom (RouteWriterT t segment m) = JSContextPhantom m