@@ -7,7 +7,6 @@
7{-# LANGUAGE MultiParamTypeClasses #-}
7{-# LANGUAGE MultiParamTypeClasses #-}
8{-# LANGUAGE Rank2Types #-}
8{-# LANGUAGE Rank2Types #-}
9{-# LANGUAGE ScopedTypeVariables #-}
9{-# LANGUAGE ScopedTypeVariables #-}
10−{-# LANGUAGE TypeApplications #-}
11{-# LANGUAGE TypeFamilies #-}
10{-# LANGUAGE TypeFamilies #-}
12{-# LANGUAGE TypeSynonymInstances #-}
11{-# LANGUAGE TypeSynonymInstances #-}
13{-# LANGUAGE UndecidableInstances #-}
12{-# LANGUAGE UndecidableInstances #-}
@@ -66,19 +65,19 @@ instance js ~ NoJavaScript => Prerender js (StaticDomBuilderT t m) where
66 prerenderClientDict = Nothing
65 prerenderClientDict = Nothing
68instance (Prerender js m, ReflexHost t) => Prerender js (PostBuildT t m) where
67instance (Prerender js m, ReflexHost t) => Prerender js (PostBuildT t m) where
69− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
68+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
71instance Prerender js m => Prerender js (DynamicWriterT t w m) where
70instance Prerender js m => Prerender js (DynamicWriterT t w m) where
72− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
71+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
74instance Prerender js m => Prerender js (ReaderT w m) where
73instance Prerender js m => Prerender js (ReaderT w m) where
75− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
74+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
77instance Prerender js m => Prerender js (RequesterT t request response m) where
76instance Prerender js m => Prerender js (RequesterT t request response m) where
78− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
77+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
80instance Prerender js m => Prerender js (QueryT t q m) where
79instance Prerender js m => Prerender js (QueryT t q m) where
81− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
80+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
83instance Prerender js m => Prerender js (InputDisabledT m) where
82instance Prerender js m => Prerender js (InputDisabledT m) where
84− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
83+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))