interface Text.Html where { infixr 4 <->; infixr 3 ; infixr 2 +++; infixr 7 <<; infixl 8 !; {-# NEED #-} instance HTMLTABLE HtmlTable; {-# NEED #-} instance HTMLTABLE Html; {-# NEED #-} instance ADDATTRS Html; {-# NEED #-} instance (ADDATTRS b) => ADDATTRS (a -> b); {-# NEED #-} instance HTML HotLink; {-# NEED #-} instance HTML HtmlTree; {-# NEED #-} instance HTML HtmlTable; {-# NEED #-} instance HTML Html; {-# NEED #-} instance HTML Prelude.Char; {-# NEED #-} instance (HTML a) => HTML [a]; {-# NEED #-} instance Prelude.Functor NHC.Internal.IO; {-# NEED #-} instance Prelude.Monad NHC.Internal.IO; {-# NEED #-} instance (Prelude.Integral a) => Prelude.Fractional (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.RealFrac (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Num (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Real (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Enum (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Read a,Prelude.Integral a) => Prelude.Read (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Ord (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Eq (Ratio.Ratio a); {-# NEED #-} instance Prelude.Show HotLink; {-# NEED #-} instance Prelude.Show HtmlTable; {-# NEED #-} instance Prelude.Show Html; {-# NEED #-} instance Prelude.Show HtmlAttr; {-# NEED #-} instance (Prelude.Show a) => Prelude.Show (NHC.Internal.IO a); {-# NEED #-} instance (Prelude.Integral a) => Prelude.Show (Ratio.Ratio a); {-# NEED #-} instance (Prelude.Show a) => Prelude.Show (Text.Html.BlockTable.BlockTable a); interface NHC.Internal {-# NEED IO #-} newtype {-# #-} IO a; {-# NEED World #-} data World; interface Ratio {-# NEED Ratio #-} data (Prelude.Integral a) => Ratio a; interface ! Text.Html {-# NEED renderTag #-} renderTag{-# 5 #-}::(Prelude.Bool -> (Prelude.String -> ([HtmlAttr] -> (Prelude.Int -> Prelude.ShowS)))); {-# NEED rmNL #-} rmNL{-# 0 #-}::([Prelude.Char] -> [Prelude.Char]); {-# NEED prettyHtml' #-} prettyHtml'{-# 1 #-}::(HtmlElement -> [Prelude.String]); {-# NEED renderHtml' #-} renderHtml'{-# 2 #-}::(Prelude.Int -> (HtmlElement -> Prelude.ShowS)); {-# NEED prettyHtml #-} prettyHtml{-# 1 #-}::(HTML a) => (a -> Prelude.String); {-# NEED renderMessage #-} renderMessage{-# 0 #-}::[Prelude.Char]; {-# NEED renderHtml #-} renderHtml{-# 1 #-}::(HTML a) => (a -> Prelude.String); {-# NEED gui #-} gui{-# 1 #-}::(Prelude.String -> (Html -> Html)); {-# NEED menu #-} menu{-# 2 #-}::(Prelude.String -> ([Html] -> Html)); {-# NEED clickmap #-} clickmap{-# 1 #-}::(Prelude.String -> Html); {-# NEED afile #-} afile{-# 1 #-}::(Prelude.String -> Html); {-# NEED textfield #-} textfield{-# 1 #-}::(Prelude.String -> Html); {-# NEED password #-} password{-# 1 #-}::(Prelude.String -> Html); {-# NEED submit #-} submit{-# 2 #-}::(Prelude.String -> (Prelude.String -> Html)); {-# NEED reset #-} reset{-# 2 #-}::(Prelude.String -> (Prelude.String -> Html)); {-# NEED radio #-} radio{-# 2 #-}::(Prelude.String -> (Prelude.String -> Html)); {-# NEED hidden #-} hidden{-# 2 #-}::(Prelude.String -> (Prelude.String -> Html)); {-# NEED checkbox #-} checkbox{-# 2 #-}::(Prelude.String -> (Prelude.String -> Html)); {-# NEED widget #-} widget{-# 3 #-}::(Prelude.String -> (Prelude.String -> ([HtmlAttr] -> Html))); {-# NEED defList #-} defList{-# 1 #-}::(HTML a,HTML b) => ([(a,b)] -> Html); {-# NEED unordList #-} unordList{-# 1 #-}::(HTML a) => ([a] -> Html); {-# NEED ordList #-} ordList{-# 1 #-}::(HTML a) => ([a] -> Html); {-# NEED hotlink #-} hotlink{-# 2 #-}::(URL -> ([Html] -> HotLink)); {-# NEED {HotLink HotLink hotLinkURL hotLinkContents hotLinkAttributes} #-} data HotLink = HotLink {hotLinkURL :: URL} {hotLinkContents :: [Html]} {hotLinkAttributes :: [HtmlAttr]}; {-# NEED debugHtml #-} debugHtml{-# 1 #-}::(HTML a) => (a -> Html); {-# NEED treeColors #-} treeColors{-# 0 #-}::[Prelude.String]; {-# NEED treeHtml #-} treeHtml{-# 2 #-}::([Prelude.String] -> (HtmlTree -> Html)); {-# NEED {HtmlTree HtmlLeaf HtmlNode} #-} data HtmlTree = HtmlLeaf Html | HtmlNode Html [HtmlTree] Html; {-# NEED simpleTable #-} simpleTable{-# 3 #-}::([HtmlAttr] -> ([HtmlAttr] -> ([[Html]] -> Html))); {-# NEED renderTable #-} renderTable{-# 1 #-}::((Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))) -> Html); {-# NEED besides #-} besides{-# 1 #-}::(HTMLTABLE a) => ([a] -> HtmlTable); {-# NEED aboves #-} aboves{-# 1 #-}::(HTMLTABLE a) => ([a] -> HtmlTable); {-# NEED combine #-} combine{-# 3 #-}::(((Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))) -> ((Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))) -> (Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))))) -> (HtmlTable -> (HtmlTable -> HtmlTable))); {-# NEED (<->) #-} (<->){-# 0 #-}::(HTMLTABLE a,HTMLTABLE b) => (a -> (b -> HtmlTable)); {-# NEED beside #-} beside{-# 2 #-}::(HTMLTABLE a,HTMLTABLE b) => (a -> (b -> HtmlTable)); {-# NEED () #-} (){-# 0 #-}::(HTMLTABLE a,HTMLTABLE b) => (a -> (b -> HtmlTable)); {-# NEED above #-} above{-# 2 #-}::(HTMLTABLE a,HTMLTABLE b) => (a -> (b -> HtmlTable)); {-# NEED mkHtmlTable #-} mkHtmlTable{-# 1 #-}::((Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))) -> HtmlTable); {-# NEED {HTMLTABLE cell} #-} class HTMLTABLE a where { cell{-# 1 #-}::(a -> HtmlTable); }; {-# NEED {HtmlTable HtmlTable} #-} newtype {-# #-} HtmlTable = HtmlTable (Text.Html.BlockTable.BlockTable (Prelude.Int -> (Prelude.Int -> Html))); interface Text.Html.BlockTable {-# NEED BlockTable #-} data BlockTable a; interface ! Text.Html {-# NEED p #-} p{-# 0 #-}::(Html -> Html); {-# NEED bullet #-} bullet{-# 0 #-}::Html; {-# NEED spaceHtml #-} spaceHtml{-# 0 #-}::Html; {-# NEED copyright #-} copyright{-# 0 #-}::Html; {-# NEED primHtmlChar #-} primHtmlChar{-# 0 #-}::(Prelude.String -> Html); {-# NEED linesToHtml #-} linesToHtml{-# 1 #-}::([Prelude.String] -> Html); {-# NEED white #-} white{-# 0 #-}::Prelude.String; {-# NEED yellow #-} yellow{-# 0 #-}::Prelude.String; {-# NEED teal #-} teal{-# 0 #-}::Prelude.String; {-# NEED silver #-} silver{-# 0 #-}::Prelude.String; {-# NEED red #-} red{-# 0 #-}::Prelude.String; {-# NEED purple #-} purple{-# 0 #-}::Prelude.String; {-# NEED olive #-} olive{-# 0 #-}::Prelude.String; {-# NEED navy #-} navy{-# 0 #-}::Prelude.String; {-# NEED maroon #-} maroon{-# 0 #-}::Prelude.String; {-# NEED lime #-} lime{-# 0 #-}::Prelude.String; {-# NEED green #-} green{-# 0 #-}::Prelude.String; {-# NEED gray #-} gray{-# 0 #-}::Prelude.String; {-# NEED fuchsia #-} fuchsia{-# 0 #-}::Prelude.String; {-# NEED blue #-} blue{-# 0 #-}::Prelude.String; {-# NEED black #-} black{-# 0 #-}::Prelude.String; {-# NEED aqua #-} aqua{-# 0 #-}::Prelude.String; {-# NEED validHtmlAttrs #-} validHtmlAttrs{-# 0 #-}::[Prelude.String]; {-# NEED validHtmlITags #-} validHtmlITags{-# 0 #-}::[Prelude.String]; {-# NEED validHtmlTags #-} validHtmlTags{-# 0 #-}::[Prelude.String]; {-# NEED width #-} width{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED vspace #-} vspace{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED vlink #-} vlink{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED version #-} version{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED value #-} value{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED valign #-} valign{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED usemap #-} usemap{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED title #-} title{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED thetype #-} thetype{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED thestyle #-} thestyle{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED theclass #-} theclass{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED text #-} text{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED target #-} target{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED start #-} start{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED src #-} src{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED size #-} size{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED shape #-} shape{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED selected #-} selected{-# 0 #-}::HtmlAttr; {-# NEED scrolling #-} scrolling{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED rules #-} rules{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED rowspan #-} rowspan{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED rows #-} rows{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED rev #-} rev{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED rel #-} rel{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED nowrap #-} nowrap{-# 0 #-}::HtmlAttr; {-# NEED noshade #-} noshade{-# 0 #-}::HtmlAttr; {-# NEED noresize #-} noresize{-# 0 #-}::HtmlAttr; {-# NEED nohref #-} nohref{-# 0 #-}::HtmlAttr; {-# NEED name #-} name{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED multiple #-} multiple{-# 0 #-}::HtmlAttr; {-# NEED method #-} method{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED maxlength #-} maxlength{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED marginwidth #-} marginwidth{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED marginheight #-} marginheight{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED link #-} link{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED lang #-} lang{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED ismap #-} ismap{-# 0 #-}::HtmlAttr; {-# NEED identifier #-} identifier{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED httpequiv #-} httpequiv{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED hspace #-} hspace{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED href #-} href{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED height #-} height{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED frameborder #-} frameborder{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED face #-} face{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED enctype #-} enctype{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED coords #-} coords{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED content #-} content{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED compact #-} compact{-# 0 #-}::HtmlAttr; {-# NEED colspan #-} colspan{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED cols #-} cols{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED color #-} color{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED codebase #-} codebase{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED code #-} code{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED clear #-} clear{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED checked #-} checked{-# 0 #-}::HtmlAttr; {-# NEED cellspacing #-} cellspacing{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED cellpadding #-} cellpadding{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED bordercolor #-} bordercolor{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED border #-} border{-# 0 #-}::(Prelude.Int -> HtmlAttr); {-# NEED bgcolor #-} bgcolor{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED base #-} base{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED background #-} background{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED archive #-} archive{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED altcode #-} altcode{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED alt #-} alt{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED alink #-} alink{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED align #-} align{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED action #-} action{-# 0 #-}::(Prelude.String -> HtmlAttr); {-# NEED variable #-} variable{-# 0 #-}::(Html -> Html); {-# NEED underline #-} underline{-# 0 #-}::(Html -> Html); {-# NEED ulist #-} ulist{-# 0 #-}::(Html -> Html); {-# NEED tt #-} tt{-# 0 #-}::(Html -> Html); {-# NEED tr #-} tr{-# 0 #-}::(Html -> Html); {-# NEED thetitle #-} thetitle{-# 0 #-}::(Html -> Html); {-# NEED thespan #-} thespan{-# 0 #-}::(Html -> Html); {-# NEED themap #-} themap{-# 0 #-}::(Html -> Html); {-# NEED thelink #-} thelink{-# 0 #-}::(Html -> Html); {-# NEED thehtml #-} thehtml{-# 0 #-}::(Html -> Html); {-# NEED thediv #-} thediv{-# 0 #-}::(Html -> Html); {-# NEED thecode #-} thecode{-# 0 #-}::(Html -> Html); {-# NEED thebase #-} thebase{-# 0 #-}::Html; {-# NEED th #-} th{-# 0 #-}::(Html -> Html); {-# NEED textarea #-} textarea{-# 0 #-}::(Html -> Html); {-# NEED td #-} td{-# 0 #-}::(Html -> Html); {-# NEED table #-} table{-# 0 #-}::(Html -> Html); {-# NEED sup #-} sup{-# 0 #-}::(Html -> Html); {-# NEED sub #-} sub{-# 0 #-}::(Html -> Html); {-# NEED style #-} style{-# 0 #-}::(Html -> Html); {-# NEED strong #-} strong{-# 0 #-}::(Html -> Html); {-# NEED small #-} small{-# 0 #-}::(Html -> Html); {-# NEED select #-} select{-# 0 #-}::(Html -> Html); {-# NEED sample #-} sample{-# 0 #-}::(Html -> Html); {-# NEED pre #-} pre{-# 0 #-}::(Html -> Html); {-# NEED param #-} param{-# 0 #-}::Html; {-# NEED paragraph #-} paragraph{-# 0 #-}::(Html -> Html); {-# NEED option #-} option{-# 0 #-}::(Html -> Html); {-# NEED olist #-} olist{-# 0 #-}::(Html -> Html); {-# NEED noframes #-} noframes{-# 0 #-}::(Html -> Html); {-# NEED meta #-} meta{-# 0 #-}::Html; {-# NEED li #-} li{-# 0 #-}::(Html -> Html); {-# NEED legend #-} legend{-# 0 #-}::(Html -> Html); {-# NEED keyboard #-} keyboard{-# 0 #-}::(Html -> Html); {-# NEED italics #-} italics{-# 0 #-}::(Html -> Html); {-# NEED input #-} input{-# 0 #-}::Html; {-# NEED image #-} image{-# 0 #-}::Html; {-# NEED hr #-} hr{-# 0 #-}::Html; {-# NEED header #-} header{-# 0 #-}::(Html -> Html); {-# NEED h6 #-} h6{-# 0 #-}::(Html -> Html); {-# NEED h5 #-} h5{-# 0 #-}::(Html -> Html); {-# NEED h4 #-} h4{-# 0 #-}::(Html -> Html); {-# NEED h3 #-} h3{-# 0 #-}::(Html -> Html); {-# NEED h2 #-} h2{-# 0 #-}::(Html -> Html); {-# NEED h1 #-} h1{-# 0 #-}::(Html -> Html); {-# NEED frameset #-} frameset{-# 0 #-}::(Html -> Html); {-# NEED frame #-} frame{-# 0 #-}::(Html -> Html); {-# NEED form #-} form{-# 0 #-}::(Html -> Html); {-# NEED font #-} font{-# 0 #-}::(Html -> Html); {-# NEED fieldset #-} fieldset{-# 0 #-}::(Html -> Html); {-# NEED emphasize #-} emphasize{-# 0 #-}::(Html -> Html); {-# NEED dterm #-} dterm{-# 0 #-}::(Html -> Html); {-# NEED dlist #-} dlist{-# 0 #-}::(Html -> Html); {-# NEED define #-} define{-# 0 #-}::(Html -> Html); {-# NEED ddef #-} ddef{-# 0 #-}::(Html -> Html); {-# NEED cite #-} cite{-# 0 #-}::(Html -> Html); {-# NEED center #-} center{-# 0 #-}::(Html -> Html); {-# NEED caption #-} caption{-# 0 #-}::(Html -> Html); {-# NEED br #-} br{-# 0 #-}::Html; {-# NEED bold #-} bold{-# 0 #-}::(Html -> Html); {-# NEED body #-} body{-# 0 #-}::(Html -> Html); {-# NEED blockquote #-} blockquote{-# 0 #-}::(Html -> Html); {-# NEED big #-} big{-# 0 #-}::(Html -> Html); {-# NEED basefont #-} basefont{-# 0 #-}::Html; {-# NEED area #-} area{-# 0 #-}::Html; {-# NEED applet #-} applet{-# 0 #-}::(Html -> Html); {-# NEED anchor #-} anchor{-# 0 #-}::(Html -> Html); {-# NEED address #-} address{-# 0 #-}::(Html -> Html); {-# NEED lineToHtml #-} lineToHtml{-# 0 #-}::(Prelude.String -> Html); {-# NEED stringToHtml #-} stringToHtml{-# 0 #-}::(Prelude.String -> Html); {-# NEED primHtml #-} primHtml{-# 1 #-}::(Prelude.String -> Html); {-# NEED URL #-} type {-# 2 #-} URL = Prelude.String; {-# NEED stringToHtmlString #-} stringToHtmlString{-# 0 #-}::(Prelude.String -> Prelude.String); {-# NEED strAttr #-} strAttr{-# 2 #-}::(Prelude.String -> (Prelude.String -> HtmlAttr)); {-# NEED intAttr #-} intAttr{-# 2 #-}::(Prelude.String -> (Prelude.Int -> HtmlAttr)); {-# NEED emptyAttr #-} emptyAttr{-# 1 #-}::(Prelude.String -> HtmlAttr); {-# NEED itag #-} itag{-# 1 #-}::(Prelude.String -> Html); {-# NEED tag #-} tag{-# 2 #-}::(Prelude.String -> (Html -> Html)); {-# NEED isNoHtml #-} isNoHtml{-# 1 #-}::(Html -> Prelude.Bool); {-# NEED noHtml #-} noHtml{-# 0 #-}::Html; {-# NEED (+++) #-} (+++){-# 2 #-}::(HTML a,HTML b) => (a -> (b -> Html)); {-# NEED concatHtml #-} concatHtml{-# 1 #-}::(HTML a) => ([a] -> Html); {-# NEED (<<) #-} (<<){-# 2 #-}::(HTML b) => ((Html -> a) -> (b -> a)); {-# NEED {ADDATTRS (!)} #-} class ADDATTRS a where { (!){-# 2 #-}::(a -> ([HtmlAttr] -> a)); }; {-# NEED {HTML toHtmlFromList toHtml} #-} class HTML a where { toHtmlFromList{-# 1 #-}::([a] -> Html); toHtml{-# 1 #-}::(a -> Html); }; {-# NEED {HtmlElement HtmlString HtmlTag markupTag markupAttrs markupContent} {Html Html getHtmlElements} #-} data HtmlElement = HtmlString Prelude.String | HtmlTag {markupTag :: Prelude.String} {markupAttrs :: [HtmlAttr]} {markupContent :: Html}; newtype {-# #-} Html = Html {getHtmlElements :: [HtmlElement]}; {-# NEED {HtmlAttr HtmlAttr} #-} data HtmlAttr = HtmlAttr Prelude.String Prelude.String; }