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

Document IsString instance for WidgetT.

Browse Source
This commit is contained in:
Christopher Reichert 2015-07-21 11:50:21 -05:00
parent 4e354c9e07
commit 66ed314866
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
yesod-core/Yesod/Core/Types.hs
View File

@ -250,6 +250,13 @@ instance (a ~ (), Monad m) => Monoid (WidgetT site m a) where
mempty = return () mempty = return ()
mappend x y = x >> y mappend x y = x >> y
instance (a ~ (), Monad m) => Semigroup (WidgetT site m a) instance (a ~ (), Monad m) => Semigroup (WidgetT site m a)
-- | Any type with an 'IsString' instance can be trivially
-- promoted to a widget.
--
-- For example, in a yesod-scaffold site you could use:
--
-- @getHomeR = do defaultLayout "Widget text"@
instance (Monad m, a ~ ()) => IsString (WidgetT site m a) where instance (Monad m, a ~ ()) => IsString (WidgetT site m a) where
fromString = toWidget . toHtml . T.pack fromString = toWidget . toHtml . T.pack
where toWidget x = WidgetT $ const $ return $ ((), GWData (Body (const x)) where toWidget x = WidgetT $ const $ return $ ((), GWData (Body (const x))