@@ -24,7 +24,7 @@ module Reflex.Dom.Prerender
2424 , PrerenderBaseConstraints
2525 ) where
2626
27−import Control.Monad.Primitive (PrimMonad)
27+import Control.Monad.Primitive (PrimMonad(..))
2828import Control.Monad.Reader
2929import Control.Monad.Ref (MonadRef(..))
3030import Data.IORef (IORef, newIORef)
@@ -170,28 +170,58 @@ instance Monad m => MonadRef (UnrunnableT js t m) where
170170instance Monad m => HasDocument (UnrunnableT js t m) where
171171 askDocument = unrunnable
172172instance Monad m => HasJSContext (UnrunnableT js t m) where
173− --type JsContextPhantom (UnrunnableT js t m) = ()
173+ type JSContextPhantom (UnrunnableT js t m) = ()
174+ askJSContext = unrunnable
174175instance Monad m => HasJS JS' (UnrunnableT js t m) where
175176 type JSX (UnrunnableT js t m) = UnrunnableT js t m
177+ liftJS _ = unrunnable
176178instance Monad m => MonadJS JS' (UnrunnableT js t m) where
179+ runJS _ _ = unrunnable
180+ forkJS _ = unrunnable
181+ mkJSUndefined = unrunnable
182+ isJSNull _ = unrunnable
183+ isJSUndefined _ = unrunnable
184+ fromJSBool _ = unrunnable
185+ fromJSString _ = unrunnable
186+ fromJSArray _ = unrunnable
187+ fromJSUint8Array _ = unrunnable
188+ fromJSNumber _ = unrunnable
189+ withJSBool _ _ = unrunnable
190+ withJSString _ _ = unrunnable
191+ withJSNumber _ _ = unrunnable
192+ withJSArray _ _ = unrunnable
193+ withJSUint8Array _ _ = unrunnable
194+ mkJSFun _ = unrunnable
195+ freeJSFun _ = unrunnable
196+ setJSProp _ _ _ = unrunnable
197+ getJSProp _ _ = unrunnable
198+ withJSNode _ _ = unrunnable
177199instance Monad m => TriggerEvent t (UnrunnableT js t m) where
200+ newTriggerEvent = unrunnable
201+ newTriggerEventWithOnComplete = unrunnable
202+ newEventWithLazyTriggerWithOnComplete _ = unrunnable
178203instance Monad m => MonadReflexCreateTrigger t (UnrunnableT js t m) where
179204 newEventWithTrigger _ = unrunnable
205+ newFanEventWithTrigger _ = unrunnable
180206instance Monad m => MonadFix (UnrunnableT js t m) where
181207 mfix _ = unrunnable
182208instance Monad m => MonadHold t (UnrunnableT js t m) where
183209 hold _ _ = unrunnable
184210 holdDyn _ _ = unrunnable
185211 holdIncremental _ _ = unrunnable
186−instance Monad m => MonadSample t (UnrunnableT js t m)
187−instance Monad m => MonadIO (UnrunnableT js t m)
212+ buildDynamic _ _ = unrunnable
213+ headE _ = unrunnable
214+instance Monad m => MonadSample t (UnrunnableT js t m) where
215+ sample _ = unrunnable
216+instance Monad m => MonadIO (UnrunnableT js t m) where
217+ liftIO _ = unrunnable
188218instance Monad m => MonadJSM (UnrunnableT js t m) where
189219 liftJSM' _ = unrunnable
190−instance (Reflex t, Monad m) => PostBuild t (UnrunnableT js t m)
220+instance (Reflex t, Monad m) => PostBuild t (UnrunnableT js t m) where
221+ getPostBuild = unrunnable
191222instance Monad m => PrimMonad (UnrunnableT js t m) where
192−-- type RawDocument (UnrunnableT js t m) = DOM.Document
193−--instance HasJSContext (UnrunnableT js t m)
194−--instance MonadJSM (UnrunnableT js t m)
223+ type PrimState (UnrunnableT js t m) = PrimState IO
224+ primitive _ = unrunnable
195225instance (Reflex t, Monad m) => DomRenderHook t (UnrunnableT js t m) where
196226 withRenderHook _ _ = unrunnable
197227 requestDomAction _ = unrunnable