Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/include/packages/html/Text/Html.hi

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


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;
}

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.