haskell/yesod
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed GWidget Functor instance

Browse Source
This commit is contained in:
Michael Snoyman 2012-01-17 14:08:30 +02:00
parent ad94640041
commit 0e076d5198
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
yesod-core/Yesod/Widget.hs
View File

@ -311,12 +311,6 @@ ihamletToRepHtml ih = do
tell :: GWData (Route master) -> GWidget sub master () tell :: GWData (Route master) -> GWidget sub master ()
tell w = GWidget $ return ((), w) tell w = GWidget $ return ((), w)
mapWriterT :: (GHandler sub master (a, GWData (Route master))
-> GHandler sub' master' (b, GWData (Route master')))
-> GWidget sub master a
-> GWidget sub' master' b
mapWriterT = undefined
instance MonadLift (GHandler sub master) (GWidget sub master) where instance MonadLift (GHandler sub master) (GWidget sub master) where
lift = GWidget . fmap (\x -> (x, mempty)) lift = GWidget . fmap (\x -> (x, mempty))
@ -326,7 +320,7 @@ liftW = lift
-- Instances for GWidget -- Instances for GWidget
instance Functor (GWidget sub master) where instance Functor (GWidget sub master) where
fmap f = mapWriterT $ fmap $ \ (a, w) -> (f a, w) fmap f (GWidget x) = GWidget (fmap (\(a, w) -> (f a, w)) x)
instance Applicative (GWidget sub master) where instance Applicative (GWidget sub master) where
pure a = GWidget $ pure (a, mempty) pure a = GWidget $ pure (a, mempty)
GWidget f <*> GWidget v = GWidget f <*> GWidget v =