git.iko.soy/reflex-dom
on develop help sign in
Merge remote-tracking branch 'origin/ghc-8.2' into develop
f3b3101Ryan Trinkle
reflex-dom-core/src/Reflex/Dom/Builder/Class.hs+1−1
compare with develop
unifiedsplit
@@ -631,7 +631,7 @@ type LiftDomBuilder t f m =
631
631
632class MonadTransControl t => MonadTransControlStateless t where
632class MonadTransControl t => MonadTransControlStateless t where
633 stTCoercion :: proxy t -> Coercion (StT t a) a
633 stTCoercion :: proxy t -> Coercion (StT t a) a
634− default stTCoercion :: proxy t -> Coercion a a
634+ default stTCoercion :: (a ~ StT t a) => proxy t -> Coercion (StT t a) a
635 stTCoercion _ = Control.Category.id
635 stTCoercion _ = Control.Category.id
636
636
637toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a
637toStT :: MonadTransControlStateless t => proxy t -> a -> StT t a
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+1−1
@@ -232,7 +232,7 @@ runImmediateDomBuilderT (ImmediateDomBuilderT a) env eventChan = do
232
232
233class Monad m => HasDocument m where
233class Monad m => HasDocument m where
234 askDocument :: m Document
234 askDocument :: m Document
235− default askDocument :: (m ~ f m', MonadTrans f, Monad m', HasDocument m') => f m' Document
235+ default askDocument :: (m ~ f m', MonadTrans f, Monad m', HasDocument m') => m Document
236 askDocument = lift askDocument
236 askDocument = lift askDocument
237
237
238instance HasDocument m => HasDocument (ReaderT r m)
238instance HasDocument m => HasDocument (ReaderT r m)