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

relax instance matching for GGWidget hamlet instances

Browse Source
This commit is contained in:
Matt Brown 2011-01-16 17:15:55 -08:00 committed by Michael Snoyman
parent 62cdd6ba63
commit 5c3670c848
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Yesod/Widget.hs
View File

@ -80,20 +80,20 @@ type GWInner sub master monad =
StateT Int (
monad
))))))))
instance Monad monad => Monoid (GGWidget sub master monad ()) where
instance (Monad monad, a ~ ()) => Monoid (GGWidget sub master monad a) where
mempty = return ()
mappend x y = x >> y
instance Monad monad => HamletValue (GGWidget s m monad ()) where
newtype HamletMonad (GGWidget s m monad ()) a =
GWidget' { runGWidget' :: GGWidget s m monad a }
type HamletUrl (GGWidget s m monad ()) = Route m
instance (Monad monad, a ~ ()) => HamletValue (GGWidget s m monad a) where
newtype HamletMonad (GGWidget s m monad a) b =
GWidget' { runGWidget' :: GGWidget s m monad b }
type HamletUrl (GGWidget s m monad a) = Route m
toHamletValue = runGWidget'
htmlToHamletMonad = GWidget' . addHtml
urlToHamletMonad url params = GWidget' $
addHamlet $ \r -> preEscapedString (r url params)
fromHamletValue = GWidget'
instance Monad monad => Monad (HamletMonad (GGWidget s m monad ())) where
instance (Monad monad, a ~ ()) => Monad (HamletMonad (GGWidget s m monad a)) where
return = GWidget' . return
x >>= y = GWidget' $ runGWidget' x >>= runGWidget' . y