@@ -136,44 +136,47 @@ instance (Adjustable t m, PrerenderBaseConstraints js t m, ReflexHost t) => Prer
136136
137137newtype UnrunnableT js t m a = UnrunnableT { runUnrunnableT :: Void -> m a }
138138
139+unrunnable :: UnrunnableT js t m a
140+unrunnable = UnrunnableT $ \case
141+
139142instance Functor (UnrunnableT js t m) where
140− fmap _ _ = UnrunnableT $ \case
143+ fmap _ _ = unrunnable
141144instance Applicative (UnrunnableT js t m) where
142− pure _ = UnrunnableT $ \case
143− _ <*> _ = UnrunnableT $ \case
145+ pure _ = unrunnable
146+ _ <*> _ = unrunnable
144147instance Monad (UnrunnableT js t m) where
145− _ >>= _ = UnrunnableT $ \case
148+ _ >>= _ = unrunnable
146149instance MonadTrans (UnrunnableT js t) where
147− lift _ = UnrunnableT $ \case
150+ lift _ = unrunnable
148151instance Reflex t => DomBuilder t (UnrunnableT js t m) where
149152 type DomBuilderSpace (UnrunnableT js t m) = GhcjsDomSpace
150− textNode _ = UnrunnableT $ \case
151− commentNode _ = UnrunnableT $ \case
152− element _ _ _ = UnrunnableT $ \case
153− inputElement _ = UnrunnableT $ \case
154− textAreaElement _ = UnrunnableT $ \case
155− selectElement _ _ = UnrunnableT $ \case
156− placeRawElement _ = UnrunnableT $ \case
157− wrapRawElement _ _ = UnrunnableT $ \case
153+ textNode _ = unrunnable
154+ commentNode _ = unrunnable
155+ element _ _ _ = unrunnable
156+ inputElement _ = unrunnable
157+ textAreaElement _ = unrunnable
158+ selectElement _ _ = unrunnable
159+ placeRawElement _ = unrunnable
160+ wrapRawElement _ _ = unrunnable
158161instance NotReady t (UnrunnableT js t m) where
159− notReadyUntil _ = UnrunnableT $ \case
160− notReady = UnrunnableT $ \case
162+ notReadyUntil _ = unrunnable
163+ notReady = unrunnable
161164instance Reflex t => Adjustable t (UnrunnableT js t m) where
162− runWithReplace _ _ = UnrunnableT $ \case
163− traverseIntMapWithKeyWithAdjust _ _ _ = UnrunnableT $ \case
164− traverseDMapWithKeyWithAdjust _ _ _ = UnrunnableT $ \case
165− traverseDMapWithKeyWithAdjustWithMove _ _ _ = UnrunnableT $ \case
165+ runWithReplace _ _ = unrunnable
166+ traverseIntMapWithKeyWithAdjust _ _ _ = unrunnable
167+ traverseDMapWithKeyWithAdjust _ _ _ = unrunnable
168+ traverseDMapWithKeyWithAdjustWithMove _ _ _ = unrunnable
166169instance Reflex t => PerformEvent t (UnrunnableT js t m) where
167170 type Performable (UnrunnableT js t m) = UnrunnableT js t m
168− performEvent _ = UnrunnableT $ \case
169− performEvent_ _ = UnrunnableT $ \case
171+ performEvent _ = unrunnable
172+ performEvent_ _ = unrunnable
170173instance MonadRef (UnrunnableT js t m) where
171174 type Ref (UnrunnableT js t m) = Ref IO
172− newRef _ = UnrunnableT $ \case
173− readRef _ = UnrunnableT $ \case
174− writeRef _ _ = UnrunnableT $ \case
175+ newRef _ = unrunnable
176+ readRef _ = unrunnable
177+ writeRef _ _ = unrunnable
175178instance HasDocument (UnrunnableT js t m) where
176− askDocument = UnrunnableT $ \case
179+ askDocument = unrunnable
177180instance HasJSContext (UnrunnableT js t m) where
178181 --type JsContextPhantom (UnrunnableT js t m) = ()
179182instance HasJS JS' (UnrunnableT js t m) where
@@ -181,29 +184,29 @@ instance HasJS JS' (UnrunnableT js t m) where
181184instance MonadJS JS' (UnrunnableT js t m) where
182185instance TriggerEvent t (UnrunnableT js t m) where
183186instance MonadReflexCreateTrigger t (UnrunnableT js t m) where
184− newEventWithTrigger _ = UnrunnableT $ \case
187+ newEventWithTrigger _ = unrunnable
185188instance MonadFix (UnrunnableT js t m) where
186− mfix _ = UnrunnableT $ \case
189+ mfix _ = unrunnable
187190instance MonadHold t (UnrunnableT js t m) where
188− hold _ _ = UnrunnableT $ \case
189− holdDyn _ _ = UnrunnableT $ \case
190− holdIncremental _ _ = UnrunnableT $ \case
191+ hold _ _ = unrunnable
192+ holdDyn _ _ = unrunnable
193+ holdIncremental _ _ = unrunnable
191194instance MonadSample t (UnrunnableT js t m)
192195instance MonadIO (UnrunnableT js t m)
193196instance MonadJSM (UnrunnableT js t m) where
194− liftJSM' _ = UnrunnableT $ \case
197+ liftJSM' _ = unrunnable
195198instance Reflex t => PostBuild t (UnrunnableT js t m)
196199instance PrimMonad (UnrunnableT js t m) where
197200-- type RawDocument (UnrunnableT js t m) = DOM.Document
198201--instance HasJSContext (UnrunnableT js t m)
199202--instance MonadJSM (UnrunnableT js t m)
200203instance Reflex t => DomRenderHook t (UnrunnableT js t m) where
201− withRenderHook _ _ = UnrunnableT $ \case
202− requestDomAction _ = UnrunnableT $ \case
203− requestDomAction_ _ = UnrunnableT $ \case
204+ withRenderHook _ _ = unrunnable
205+ requestDomAction _ = unrunnable
206+ requestDomAction_ _ = unrunnable
204207instance Reflex t => Prerender JS' t (UnrunnableT js t m) where
205208 type Client (UnrunnableT js t m) = UnrunnableT js t m
206− prerender _ _ = UnrunnableT $ \case
209+ prerender _ _ = unrunnable
207210
208211instance (SupportsStaticDomBuilder t m) => Prerender JS' t (StaticDomBuilderT t m) where
209212 type Client (StaticDomBuilderT t m) = UnrunnableT JS' t m