definition module htmlDataDef
// Clean Algebraic Data Types that are isomorphic with HTML intructions
// (c) 2005 MJP
import htmlStyleDef
:: Url :== String
:: UniqueName :== String
None :== [NoAttr]
:: NoAttr = NoAttr
// a Clean data structure representing a subset of html
:: Html = Html Head Rest
:: Head = Head [HeadAttr] [HeadTag]
:: HeadAttr = Hd_Profile Url // space separated list of URL's that contains meta data information about the page
| `Hd_Std [Standard_Attr]
:: HeadTag = Hd_Base [BaseAttr] // base TAG
| B [Std_Attr] String // bold
| Dl [Std_Attr] [BodyTag] // definition list
| Pre [Pre_Attr] [BodyTag] // preformatted text
| Opt_Selected Selected // ??? // the option should appear selected
| Opt_Value String // value of the option to be sent to the server
| `Opt_Std [Standard_Attr]
| `Opt_Events [ElementEvents]
:: Optgroup_Attr = Opg_Label String // label for the option group
| Opg_Disabled // option-group disabled when it first loads
| `Opg_Std [Standard_Attr]
| `Opg_Events [ElementEvents]
:: P_Attr = Pat_Align AlignTxt // alignment of the text
| `Pat_Std [Standard_Attr]
| `Pat_Events [ElementEvents]
:: Param = Param [Param_Attr]
:: Param_Attr = Pam_Id String // id for the parameter
| Pam_Name UniqueName // unique name for the parameter
| Pam_Type String // internet media type for the parameter
| Pam_Value Value // value of the parameter
| Pam_ValueType ParamValType // MIME type of the value
:: ParamValType = Data
| Ref
| Object
:: Pre_Attr = Pre_Width Int // maximum number of characters per line
| `Pre_Std [Standard_Attr]
| `Pre_Events [ElementEvents]
:: Q_Attr = Qat_Cite String // citation for the quotation
| `Qat_Std [Standard_Attr]
| `Qat_Events [ElementEvents]
:: ReadOnly = ReadOnly
:: RGBColor = RGBColor Int Int Int
:: RuleOption = Rul_None
| Rul_Groups
| Rul_Rows
| Rul_Cols
| Rul_All
:: ScopeOption = Scp_Col
| Scp_ColGroup
| Scp_Row
| Scp_RowGroup
:: Script = SScript String
| FScript .FoF
:: Script_Attr = Scr_Type ScriptType // MIME type of the script
| Scr_CharSet String // character encoding used in script
| Scr_Defer // the script is not going to generate any document content
| Scr_Language ScriptLanguage // scripting language
| Scr_Src Url // URL to a file that contains the script
:: ScriptType = TypeEcmascript
| TypeJavascript
| Typejscript
| TypeVbscript
| TypeVbs
| TypeXml
:: ScriptLanguage = JavaScript
| LiveScript
| VbScript
| `Other String
:: Select_Attr = Sel_Disabled Disabled // disables the drop-down list
| Sel_Multiple // specifies that multiple items can be selected at a time
| Sel_Name UniqueName // unique name for the drop-down list
| Sel_Size Int // number of visible items in the drop-down list
| `Sel_Std [Standard_Attr]
| `Sel_Events [ElementEvents]
:: Selected = Selected
:: ShapeOption = Sopt_Rect
| Sopt_Rectangle
| Sopt_Circ
| Sopt_Circle
| Sopt_Poly
| Sopt_Polygon
:: SizeOption = Pixels Int
| Percent Int
| RelLength Int
:: Standard_Attr = Std_Class String // Core_Attr - All except base,head,html,meta,param,script,style and title
| Std_Id String // Core_Attr - All except base,head,html,meta,param,script,style and title
| Std_Style String // Core_Attr - All except base,head,html,meta,param,script,style and title
| Std_Title String // Core_Attr - All except base,head,html,meta,param,script,style and title
| Std_Dir TxtDir // Language_Attr - All except base,br,frame,frameset,hr,iframe,param and script
| Std_Lang String // Language_Attr - All except base,br,frame,frameset,hr,iframe,param and script
| Std_Accesskey Char // Keyboard_Attr
| Std_Tabindex Int // Keyboard_Attr
:: Std_Attr = `Std_Attr [Standard_Attr]
| `Std_Events [ElementEvents]
:: T_Attr = Tat_Align AlignTxt // text alignment in cells
| Tat_Char Int // which character to align text on
| Tat_Charoff SizeOption // alignment offset to the first character to align on
| Tat_Valign AlignObj // vertical text alignment in cells
| `Tat_Std [Standard_Attr]
| `Tat_Events [ElementEvents]
:: Table_Attr = Tbl_Align AlignTxt // aligns the table
| Tbl_Bgcolor ColorOption // background color of the table
| Tbl_Border Int // border width
| Tbl_CellPadding SizeOption // space between the cell walls and contents
| Tbl_CellSpacing SizeOption // space between cells
| Tbl_Frame FrameOption // how the outer borders should be displayed
| Tbl_Rules RuleOption // the horizontal/vertical divider lines
| Tbl_Summary String // summary of the table for speech-synthesizing/non-visual browsers
| Tbl_Width SizeOption // width of the table
| `Tbl_Std [Standard_Attr]
| `Tbl_Events [ElementEvents]
:: TargetOption = Trg__Blank
| Trg__Parent
| Trg__Self
| Trg__Top
:: Td_Attr = Td_Abbr String // abbreviated version of the content in a cell
| Td_Align AlignTxt // horizontal alignment of cell content
| Td_Axis String // name for a cell
| Td_Bgcolor ColorOption // background color of the table cell
| Td_Char Char // which character to align text on
| Td_Charoff SizeOption // alignment offset to the first character to align on
| Td_Colspan Int // number of columns this cell should span
| Td_Headers String // space-separated list of cell IDs that supply header information for the cell
| Td_Height Int // height of the table cell
| Td_NoWrap // disable or enable automatic text wrapping in this cell
| Td_Rowspan Int // number of rows this cell should span
| Td_Scope ScopeOption // specifies if this cell provides header information for the rest of the row that contains it (row), or for the rest of the column (col), or for the rest of the row group that contains it (rowgroup), or for the rest of the column group that contains it
| Td_VAlign AlignObj // vertical alignment of cell content
| Td_Width SizeOption // width of the table cell
| `Td_Std [Standard_Attr]
| `Td_Events [ElementEvents]
:: Tr_Attr = Tr_Align AlignTxt // text alignment in cells
| Tr_Bgcolor ColorOption // background color of the table cell
| Tr_Char Char // which character to align text on
| Tr_Charoff SizeOption // alignment offset to the first character to align on
| Tr_VAlign AlignObj // vertical text alignment in cells
| `Tr_Std [Standard_Attr]
| `Tr_Events [ElementEvents]
:: TxtA_Attr = Txa_Cols Int // number of columns visible in the text-area
| Txa_Disabled // disables the text-area when it is first displayed
| Txa_Name String // name for the text-area
| Txa_Readonly // the user cannot modify the content in the text-area
| Txa_Rows Int // number of rows visible in the text-area
| `Txa_Std [Standard_Attr]
| `Txa_Events [ElementEvents]
:: TxtDir = Tdir_Ltr
| Tdir_Rtl
:: Ul_Attr = Ula_Compact // compact rendering
| Ula_Type List_Type // type of the list
| `Ula_Std [Standard_Attr]
| `Ula_Events [ElementEvents]
:: Value = SV String
| NQV String
| IV Int
| RV Real
| BV Bool
import PrintUtil
derive gHpr Html, BodyTag, ColorOption, TxtDir