This file is indexed.

/usr/lib/hugs/packages/xhtml/Text/XHtml/Transitional/Attributes.hs is in libhugs-xhtml-bundled 98.200609.21-5.3ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
-- #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"