File: Attributes.hs

package info (click to toggle)
ghc 9.6.6-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, trixie
  • size: 158,216 kB
  • sloc: haskell: 648,228; ansic: 81,656; cpp: 11,808; javascript: 8,444; sh: 5,831; fortran: 3,527; python: 3,277; asm: 2,523; makefile: 2,298; yacc: 1,570; lisp: 532; xml: 196; perl: 145; csh: 2
file content (119 lines) | stat: -rw-r--r-- 3,807 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
{-# OPTIONS_HADDOCK hide #-}

module Text.XHtml.Transitional.Attributes where

import Text.XHtml.Internals

-- * Extra attributes in XHTML Transitional

{-# DEPRECATED alink "This attribute is deprecated in XHTML 1.0" #-}
alink               :: String -> HtmlAttr
alink               =   strAttr "alink"

{-# DEPRECATED background "This attribute is deprecated in XHTML 1.0" #-}
background          :: String -> HtmlAttr
background          =   strAttr "background"

{-# DEPRECATED bgcolor "This attribute is deprecated in XHTML 1.0" #-}
bgcolor             :: String -> HtmlAttr
bgcolor             =   strAttr "bgcolor"

{-# DEPRECATED clear "This attribute is deprecated in XHTML 1.0" #-}
clear               :: String -> HtmlAttr
clear               =   strAttr "clear"

{-# DEPRECATED code "This attribute is deprecated in XHTML 1.0" #-}
code                :: String -> HtmlAttr
code                =   strAttr "code"

{-# DEPRECATED color "This attribute is deprecated in XHTML 1.0" #-}
color               :: String -> HtmlAttr
color               =   strAttr "color"

{-# DEPRECATED compact "This attribute is deprecated in XHTML 1.0" #-}
compact             ::           HtmlAttr
compact             = emptyAttr "compact"

{-# DEPRECATED face "This attribute is deprecated in XHTML 1.0" #-}
face                :: String -> HtmlAttr
face                =   strAttr "face"

{-# DEPRECATED hspace "This attribute is deprecated in XHTML 1.0" #-}
hspace              :: Int    -> HtmlAttr
hspace              =   intAttr "hspace"

{-# DEPRECATED link "This attribute is deprecated in XHTML 1.0" #-}
link                :: String -> HtmlAttr
link                =   strAttr "link"

{-# DEPRECATED noshade "This attribute is deprecated in XHTML 1.0" #-}
noshade             ::           HtmlAttr
noshade             = emptyAttr "noshade"

{-# DEPRECATED nowrap "This attribute is deprecated in XHTML 1.0" #-}
nowrap              ::           HtmlAttr
nowrap              = emptyAttr "nowrap"

{-# DEPRECATED start "This attribute is deprecated in XHTML 1.0" #-}
start               :: Int    -> HtmlAttr
start               =   intAttr "start"

target              :: String -> HtmlAttr
target              =   strAttr "target"

{-# DEPRECATED text "This attribute is deprecated in XHTML 1.0" #-}
text                :: String -> HtmlAttr
text                =   strAttr "text"

{-# DEPRECATED version "This attribute is deprecated in XHTML 1.0" #-}
version             :: String -> HtmlAttr
version             =   strAttr "version"

{-# DEPRECATED vlink "This attribute is deprecated in XHTML 1.0" #-}
vlink               :: String -> HtmlAttr
vlink               =   strAttr "vlink"

{-# DEPRECATED vspace "This attribute is deprecated in XHTML 1.0" #-}
vspace              :: Int    -> HtmlAttr
vspace              =   intAttr "vspace"



--
-- * Html colors
--

{-# DEPRECATED aqua,black,blue,fuchsia,gray,green,lime,maroon,navy,olive,purple,red,silver,teal,yellow,white "The use of color attibutes is deprecated in XHTML 1.0" #-}
aqua          :: String
black         :: String
blue          :: String
fuchsia       :: String
gray          :: String
green         :: String
lime          :: String
maroon        :: String
navy          :: String
olive         :: String
purple        :: String
red           :: String
silver        :: String
teal          :: String
yellow        :: String
white         :: String

aqua          = "aqua"
black         = "black"
blue          = "blue"
fuchsia       = "fuchsia"
gray          = "gray"
green         = "green"
lime          = "lime"
maroon        = "maroon"
navy          = "navy"
olive         = "olive"
purple        = "purple"
red           = "red"
silver        = "silver"
teal          = "teal"
yellow        = "yellow"
white         = "white"