@@ -46,7 +46,6 @@ import Text.Blaze.Html.Renderer.Utf8 (renderHtml)
4646import Text.Blaze.Html5 (preEscapedToHtml, toHtml, (!))
4747import qualified Text.Blaze.Html5 as H
4848import Text.Blaze.Html5.Attributes as A
49−import Text.Blaze.Internal (MarkupM(Empty))
5049import Text.Blaze.Renderer.String (renderMarkup)
5150import Text.PrettyPrint.Annotated.Leijen (displayDecorated, renderCompact)
5251
@@ -543,7 +542,7 @@ createFunDoc :: IState -- ^ Needed to determine the types of names
543542createFunDoc ist fd@(FD name docstring args ftype fixity) = do
544543 H.dt ! (A.id $ toValue $ show name) $ genTypeHeader ist fd
545544 H.dd $ do
546− (if nullDocstring docstring then Empty else Docstrings.renderHtml docstring)
545+ (if nullDocstring docstring then mempty else Docstrings.renderHtml docstring)
547546 let args' = filter (\(_, _, _, d) -> isJust d) args
548547 if (not $ null args') || (isJust fixity)
549548 then H.dl $ do
@@ -551,9 +550,9 @@ createFunDoc ist fd@(FD name docstring args ftype fixity) = do
551550 H.dt ! class_ "fixity" $ "Fixity"
552551 let f = fromJust fixity
553552 H.dd ! class_ "fixity" ! title (toValue $ show f) $ genFix f
554− else Empty
553+ else mempty
555554 forM_ args' genArg
556− else Empty
555+ else mempty
557556
558557 where genFix (Infixl {prec=p}) =
559558 toHtml $ "Left associative, precedence " ++ show p
@@ -563,7 +562,7 @@ createFunDoc ist fd@(FD name docstring args ftype fixity) = do
563562 toHtml $ "Non-associative, precedence " ++ show p
564563 genFix (PrefixN {prec=p}) =
565564 toHtml $ "Prefix, precedence " ++ show p
566− genArg (_, _, _, Nothing) = Empty
565+ genArg (_, _, _, Nothing) = mempty
567566 genArg (name, _, _, Just docstring) = do
568567 H.dt $ toHtml $ show name
569568 H.dd $ Docstrings.renderHtml docstring
@@ -584,7 +583,7 @@ createOtherDoc ist (InterfaceDoc n docstring fds _ _ _ _ _ c) = do
584583 $ toHtml $ name $ nsroot n
585584 H.span ! class_ "signature" $ nbsp
586585 H.dd $ do
587− (if nullDocstring docstring then Empty else Docstrings.renderHtml docstring)
586+ (if nullDocstring docstring then mempty else Docstrings.renderHtml docstring)
588587 H.dl ! class_ "decls" $ (forM_ (maybeToList c ++ fds) (createFunDoc ist))
589588
590589 where name (NS n ns) = show (NS (sUN $ name n) ns)
@@ -601,10 +600,10 @@ createOtherDoc ist (RecordDoc n doc ctor projs params) = do
601600 $ toHtml $ name $ nsroot n
602601 H.span ! class_ "type" $ do nbsp ; prettyParameters
603602 H.dd $ do
604− (if nullDocstring doc then Empty else Docstrings.renderHtml doc)
603+ (if nullDocstring doc then mempty else Docstrings.renderHtml doc)
605604 if not $ null params
606605 then H.dl $ forM_ params genParam
607− else Empty
606+ else mempty
608607 H.dl ! class_ "decls" $ createFunDoc ist ctor
609608 H.dl ! class_ "decls" $ forM_ projs (createFunDoc ist)
610609 where name (NS n ns) = show (NS (sUN $ name n) ns)
@@ -624,14 +623,14 @@ createOtherDoc ist (DataDoc fd@(FD n docstring args _ _) fds) = do
624623 H.span ! class_ "word" $ do "data"; nbsp
625624 genTypeHeader ist fd
626625 H.dd $ do
627− (if nullDocstring docstring then Empty else Docstrings.renderHtml docstring)
626+ (if nullDocstring docstring then mempty else Docstrings.renderHtml docstring)
628627 let args' = filter (\(_, _, _, d) -> isJust d) args
629628 if not $ null args'
630629 then H.dl $ forM_ args' genArg
631− else Empty
630+ else mempty
632631 H.dl ! class_ "decls" $ forM_ fds (createFunDoc ist)
633632
634− where genArg (_, _, _, Nothing) = Empty
633+ where genArg (_, _, _, Nothing) = mempty
635634 genArg (name, _, _, Just docstring) = do
636635 H.dt $ toHtml $ show name
637636 H.dd $ Docstrings.renderHtml docstring
@@ -663,7 +662,7 @@ wrapper ns inner =
663662 H.div ! class_ "wrapper" $ do
664663 H.header $ do
665664 H.strong "IdrisDoc"
666− if index then Empty else do
665+ if index then mempty else do
667666 ": "
668667 toHtml str
669668 H.nav $ H.a ! href (toValue indexPage) $ "Index"