| SMLDoc |
structure HTML : HTML =
struct
structure HttpMethod =
struct
type method = string ref
val get : method
val put : method
val toString : method -> string
val fromString : string -> method option
end
structure InputType =
struct
type ty = string ref
val text : ty
val password : ty
val checkbox : ty
val radio : ty
val submit : ty
val reset : ty
val file : ty
val hidden : ty
val image : ty
val toString : ty -> string
val fromString : string -> ty option
end
structure IAlign =
struct
type align = string ref
val top : align
val middle : align
val bottom : align
val left : align
val right : align
val toString : align -> string
val fromString : string -> align option
end
structure HAlign =
struct
type align = string ref
val left : align
val center : align
val right : align
val toString : align -> string
val fromString : string -> align option
end
structure CellVAlign =
struct
type align = string ref
val top : align
val middle : align
val bottom : align
val baseline : align
val toString : align -> string
val fromString : string -> align option
end
structure CaptionAlign =
struct
type align = string ref
val top : align
val bottom : align
val toString : align -> string
val fromString : string -> align option
end
structure ULStyle =
struct
type style = string ref
val disc : style
val square : style
val circle : style
val toString : style -> string
val fromString : string -> style option
end
structure Shape =
struct
type shape = string ref
val rect : shape
val circle : shape
val poly : shape
val default : shape
val toString : shape -> string
val fromString : string -> shape option
end
structure TextFlowCtl =
struct
type control = string ref
val left : control
val right : control
val all : control
val none : control
val toString : control -> string
val fromString : string -> control option
end
type pcdata = string
type cdata = string
type url = string
type pixels = cdata
type name = string
type id = string
datatype html =
HTML of
{version : cdata option, head : head_content list, body : body}
datatype head_content =
Head_TITLE of pcdata
| Head_ISINDEX of {prompt : cdata option}
| Head_BASE of {href : url}
| Head_META of
{httpEquiv : name option, name : name option, content : cdata}
| Head_LINK of
{
id : id option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option
}
| Head_SCRIPT of pcdata
| Head_STYLE of pcdata
datatype body =
BODY of
{
background : url option,
bgcolor : cdata option,
text : cdata option,
link : cdata option,
vlink : cdata option,
alink : cdata option,
content : block
}
| FRAMEBODY of {frame : frame, noframes : block}
datatype frame =
Frame of {src : url option, name : cdata option}
| FrameSet of
{cols : cdata option, rows : cdata option, frames : frame list}
datatype block =
BlockList of block list
| TextBlock of text
| Hn of {n : int, align : HAlign.align option, content : text}
| ADDRESS of block
| P of {align : HAlign.align option, content : text}
| UL of
{ty : ULStyle.style option, compact : bool, content : list_item list}
| OL of
{
ty : cdata option,
start : int option,
compact : bool,
content : list_item list
}
| DIR of {compact : bool, content : list_item list}
| MENU of {compact : bool, content : list_item list}
| DL of {compact : bool, content : {dt : text list, dd : block} list}
| PRE of {width : int option, content : text}
| DIV of {align : HAlign.align, content : block}
| CENTER of block
| BLOCKQUOTE of block
| FORM of
{
action : url option,
method : HttpMethod.method,
enctype : cdata option,
content : block
}
| ISINDEX of {prompt : cdata option}
| HR of
{
align : HAlign.align option,
noshade : bool,
size : pixels option,
width : cdata option
}
| TABLE of
{
align : HAlign.align option,
width : cdata option,
border : pixels option,
cellspacing : pixels option,
cellpadding : pixels option,
caption : caption option,
content : tr list
}
datatype list_item =
LI of {ty : cdata option, value : int option, content : block}
datatype caption =
CAPTION of {align : CaptionAlign.align option, content : text}
datatype tr =
TR of
{
align : HAlign.align option,
valign : CellVAlign.align option,
bgcolor : cdata option,
content : table_cell list
}
datatype table_cell =
TH of
{
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
}
| TD of
{
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
}
datatype text =
TextList of text list
| PCDATA of pcdata
| TT of text
| I of text
| B of text
| U of text
| STRIKE of text
| BIG of text
| SMALL of text
| SUB of text
| SUP of text
| EM of text
| STRONG of text
| DFN of text
| CODE of text
| SAMP of text
| KBD of text
| VAR of text
| CITE of text
| A of
{
name : cdata option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option,
target : cdata option,
content : text
}
| IMG of
{
src : url,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
border : pixels option,
hspace : pixels option,
vspace : pixels option,
usemap : url option,
ismap : bool
}
| APPLET of
{
codebase : url option,
code : cdata,
name : cdata option,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
hspace : pixels option,
vspace : pixels option,
content : text
}
| PARAM of {name : name, value : cdata option}
| FONT of {size : cdata option, color : cdata option, content : text}
| BASEFONT of {size : cdata option, content : text}
| BR of {clear : TextFlowCtl.control option}
| MAP of {name : cdata option, content : area list}
| INPUT of
{
ty : InputType.ty option,
name : cdata option,
value : cdata option,
checked : bool,
size : cdata option,
maxlength : int option,
src : url option,
align : IAlign.align option
}
| SELECT of
{name : cdata, size : int option, content : select_option list}
| TEXTAREA of {name : cdata, rows : int, cols : int, content : pcdata}
| SCRIPT of pcdata
datatype area =
AREA of
{
shape : Shape.shape option,
coords : cdata option,
href : url option,
nohref : bool,
alt : cdata
}
datatype select_option =
OPTION of {selected : bool, value : cdata option, content : pcdata}
val htmlVersion : string
end
Type detail |
---|
type pcdata = string
type cdata = string
type url = string
type pixels = cdata
type name = string
type id = string
Datatype detail |
---|
datatype html =
HTML of {version : cdata option, head : head_content list, body : body}
datatype head_content =
Head_TITLE of pcdata
| Head_ISINDEX of {prompt : cdata option}
| Head_BASE of {href : url}
| Head_META of
{httpEquiv : name option, name : name option, content : cdata}
| Head_LINK of
{
id : id option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option
}
| Head_SCRIPT of pcdata
| Head_STYLE of pcdata
datatype body =
BODY of
{
background : url option,
bgcolor : cdata option,
text : cdata option,
link : cdata option,
vlink : cdata option,
alink : cdata option,
content : block
}
| FRAMEBODY of {frame : frame, noframes : block}
datatype frame =
Frame of {src : url option, name : cdata option}
| FrameSet of
{cols : cdata option, rows : cdata option, frames : frame list}
datatype block =
BlockList of block list
| TextBlock of text
| Hn of {n : int, align : HAlign.align option, content : text}
| ADDRESS of block
| P of {align : HAlign.align option, content : text}
| UL of
{ty : ULStyle.style option, compact : bool, content : list_item list}
| OL of
{
ty : cdata option,
start : int option,
compact : bool,
content : list_item list
}
| DIR of {compact : bool, content : list_item list}
| MENU of {compact : bool, content : list_item list}
| DL of {compact : bool, content : {dt : text list, dd : block} list}
| PRE of {width : int option, content : text}
| DIV of {align : HAlign.align, content : block}
| CENTER of block
| BLOCKQUOTE of block
| FORM of
{
action : url option,
method : HttpMethod.method,
enctype : cdata option,
content : block
}
| ISINDEX of {prompt : cdata option}
| HR of
{
align : HAlign.align option,
noshade : bool,
size : pixels option,
width : cdata option
}
| TABLE of
{
align : HAlign.align option,
width : cdata option,
border : pixels option,
cellspacing : pixels option,
cellpadding : pixels option,
caption : caption option,
content : tr list
}
datatype list_item =
LI of {ty : cdata option, value : int option, content : block}
datatype caption =
CAPTION of {align : CaptionAlign.align option, content : text}
datatype tr =
TR of
{
align : HAlign.align option,
valign : CellVAlign.align option,
bgcolor : cdata option,
content : table_cell list
}
datatype table_cell =
TH of
{
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
}
| TD of
{
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
}
datatype text =
TextList of text list
| PCDATA of pcdata
| TT of text
| I of text
| B of text
| U of text
| STRIKE of text
| BIG of text
| SMALL of text
| SUB of text
| SUP of text
| EM of text
| STRONG of text
| DFN of text
| CODE of text
| SAMP of text
| KBD of text
| VAR of text
| CITE of text
| A of
{
name : cdata option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option,
target : cdata option,
content : text
}
| IMG of
{
src : url,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
border : pixels option,
hspace : pixels option,
vspace : pixels option,
usemap : url option,
ismap : bool
}
| APPLET of
{
codebase : url option,
code : cdata,
name : cdata option,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
hspace : pixels option,
vspace : pixels option,
content : text
}
| PARAM of {name : name, value : cdata option}
| FONT of {size : cdata option, color : cdata option, content : text}
| BASEFONT of {size : cdata option, content : text}
| BR of {clear : TextFlowCtl.control option}
| MAP of {name : cdata option, content : area list}
| INPUT of
{
ty : InputType.ty option,
name : cdata option,
value : cdata option,
checked : bool,
size : cdata option,
maxlength : int option,
src : url option,
align : IAlign.align option
}
| SELECT of
{name : cdata, size : int option, content : select_option list}
| TEXTAREA of {name : cdata, rows : int, cols : int, content : pcdata}
| SCRIPT of pcdata
datatype area =
AREA of
{
shape : Shape.shape option,
coords : cdata option,
href : url option,
nohref : bool,
alt : cdata
}
datatype select_option =
OPTION of {selected : bool, value : cdata option, content : pcdata}
DataConstructor detail |
---|
constructor HTML
: {version : cdata option, head : head_content list, body : body} ->
html
constructor Head_TITLE : pcdata -> head_content
constructor Head_ISINDEX : {prompt : cdata option} -> head_content
constructor Head_BASE : {href : url} -> head_content
constructor Head_META
: {httpEquiv : name option, name : name option, content : cdata} ->
head_content
constructor Head_LINK
: {
id : id option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option
} ->
head_content
constructor Head_SCRIPT : pcdata -> head_content
constructor Head_STYLE : pcdata -> head_content
constructor BODY
: {
background : url option,
bgcolor : cdata option,
text : cdata option,
link : cdata option,
vlink : cdata option,
alink : cdata option,
content : block
} ->
body
constructor FRAMEBODY : {frame : frame, noframes : block} -> body
constructor Frame : {src : url option, name : cdata option} -> frame
constructor FrameSet
: {cols : cdata option, rows : cdata option, frames : frame list} ->
frame
constructor BlockList : block list -> block
constructor TextBlock : text -> block
constructor Hn : {n : int, align : HAlign.align option, content : text} -> block
constructor ADDRESS : block -> block
constructor P : {align : HAlign.align option, content : text} -> block
constructor UL
: {
ty : ULStyle.style option,
compact : bool,
content : list_item list
} ->
block
constructor OL
: {
ty : cdata option,
start : int option,
compact : bool,
content : list_item list
} ->
block
constructor DIR : {compact : bool, content : list_item list} -> block
constructor MENU : {compact : bool, content : list_item list} -> block
constructor DL
: {compact : bool, content : {dt : text list, dd : block} list} ->
block
constructor PRE : {width : int option, content : text} -> block
constructor DIV : {align : HAlign.align, content : block} -> block
constructor CENTER : block -> block
constructor BLOCKQUOTE : block -> block
constructor FORM
: {
action : url option,
method : HttpMethod.method,
enctype : cdata option,
content : block
} ->
block
constructor ISINDEX : {prompt : cdata option} -> block
constructor HR
: {
align : HAlign.align option,
noshade : bool,
size : pixels option,
width : cdata option
} ->
block
constructor TABLE
: {
align : HAlign.align option,
width : cdata option,
border : pixels option,
cellspacing : pixels option,
cellpadding : pixels option,
caption : caption option,
content : tr list
} ->
block
constructor LI
: {ty : cdata option, value : int option, content : block} ->
list_item
constructor CAPTION
: {align : CaptionAlign.align option, content : text} -> caption
constructor TR
: {
align : HAlign.align option,
valign : CellVAlign.align option,
bgcolor : cdata option,
content : table_cell list
} ->
tr
constructor TH
: {
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
} ->
table_cell
constructor TD
: {
nowrap : bool,
rowspan : int option,
colspan : int option,
align : HAlign.align option,
valign : CellVAlign.align option,
width : pixels option,
height : pixels option,
bgcolor : cdata option,
content : block
} ->
table_cell
constructor TextList : text list -> text
constructor PCDATA : pcdata -> text
constructor STRIKE : text -> text
constructor BIG : text -> text
constructor SMALL : text -> text
constructor SUB : text -> text
constructor SUP : text -> text
constructor STRONG : text -> text
constructor DFN : text -> text
constructor CODE : text -> text
constructor SAMP : text -> text
constructor KBD : text -> text
constructor VAR : text -> text
constructor CITE : text -> text
constructor A
: {
name : cdata option,
href : url option,
rel : cdata option,
rev : cdata option,
title : cdata option,
target : cdata option,
content : text
} ->
text
constructor IMG
: {
src : url,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
border : pixels option,
hspace : pixels option,
vspace : pixels option,
usemap : url option,
ismap : bool
} ->
text
constructor APPLET
: {
codebase : url option,
code : cdata,
name : cdata option,
alt : cdata option,
align : IAlign.align option,
height : pixels option,
width : pixels option,
hspace : pixels option,
vspace : pixels option,
content : text
} ->
text
constructor PARAM : {name : name, value : cdata option} -> text
constructor FONT
: {size : cdata option, color : cdata option, content : text} ->
text
constructor BASEFONT : {size : cdata option, content : text} -> text
constructor BR : {clear : TextFlowCtl.control option} -> text
constructor MAP : {name : cdata option, content : area list} -> text
constructor INPUT
: {
ty : InputType.ty option,
name : cdata option,
value : cdata option,
checked : bool,
size : cdata option,
maxlength : int option,
src : url option,
align : IAlign.align option
} ->
text
constructor SELECT
: {name : cdata, size : int option, content : select_option list} ->
text
constructor TEXTAREA
: {name : cdata, rows : int, cols : int, content : pcdata} -> text
constructor SCRIPT : pcdata -> text
constructor AREA
: {
shape : Shape.shape option,
coords : cdata option,
href : url option,
nohref : bool,
alt : cdata
} ->
area
constructor OPTION
: {selected : bool, value : cdata option, content : pcdata} ->
select_option
Value detail |
---|
val htmlVersion : string
| SMLDoc: Documentation generator for SML |