0 | module Text.CSS.Selector

  2 | import Data.List

  3 | import Data.String

  4 | import Text.CSS.Class

  5 | import Text.CSS.Property

  6 | import Text.HTML.Tag

  8 | %default total

 10 | public export

 11 | data Combinator : Type where

 12 |   Descendant      : Combinator

 13 |   Child           : Combinator

 14 |   GeneralSibling  : Combinator

 15 |   AdjacentSibling : Combinator

 18 | Interpolation Combinator where

 19 |   interpolate Descendant      = ""

 20 |   interpolate Child           = ">"

 21 |   interpolate GeneralSibling  = "~"

 22 |   interpolate AdjacentSibling = "+"

 24 | public export

 25 | data AttributeValue : Type where

 26 |   Set      : AttributeValue

 27 |   Has      : String -> AttributeValue

 28 |   Equals   : String -> AttributeValue

 29 |   Contains : String -> AttributeValue

 30 |   Prefix   : String -> AttributeValue

 31 |   Suffix   : String -> AttributeValue

 34 | Interpolation AttributeValue where

 35 |   interpolate Set          = ""

 36 |   interpolate (Has s)      = "~=\{quote s}"

 37 |   interpolate (Equals s)   = "=\{quote s}"

 38 |   interpolate (Contains s) = "*=\{quote s}"

 39 |   interpolate (Prefix s)   = "^=\{quote s}"

 40 |   interpolate (Suffix s)   = "$=\{quote s}"

 42 | public export

 43 | data Selector : Type where

 44 |   Star    : Selector

 45 |   Id      : String -> Selector

 46 |   Class   : Class -> Selector

 47 |   Elem    : {str : _} -> (0 tag : HTMLTag str) -> Selector

 48 |   Attr    : String -> AttributeValue -> Selector

 49 |   Complex : Selector -> Combinator -> Selector -> Selector

 50 |   Nil     : Selector

 51 |   (::)    : Selector -> Selector -> Selector

 53 |   ||| Matches when the user activates (for example clicks on) an element.

 54 |   Active : Selector

 55 |   ||| Matches both the :link and :visited states of a link.

 56 |   AnyLink : Selector

 57 |   ||| Matches an <input> element whose input value is empty.

 58 |   Blank : Selector

 59 |   ||| Matches a radio button or checkbox in the selected state.

 60 |   Checked : Selector

 61 |   ||| Matches the element, or an ancestor of the element, that is currently being displayed.

 62 |   Current : Selector

 63 |   ||| Matches the one or more UI elements that are the default among a set of similar elements.

 64 |   Default : Selector

 65 |   ||| Select an element based on its directionality (value of the HTML dir attribute or CSS direction property).

 66 |   Dir : Direction -> Selector

 67 |   ||| Matches user interface elements that are in an disabled state.

 68 |   Disabled : Selector

 69 |   ||| Matches an element that has no children except optionally white space.

 70 |   Empty : Selector

 71 |   ||| Matches user interface elements that are in an enabled state.

 72 |   Enabled : Selector

 73 |   ||| In Paged Media, matches the first page.

 74 |   First : Selector

 75 |   ||| Matches an element that is first among its siblings.

 76 |   FirstChild : Selector

 77 |   ||| Matches an element which is first of a certain type among its siblings.

 78 |   FirstOfType : Selector

 79 |   ||| Matches when an element has focus.

 80 |   Focus : Selector

 81 |   ||| Matches when an element has focus and the focus should be visible to the user.

 82 |   FocusVisible : Selector

 83 |   ||| Matches an element with focus plus an element with a descendent that has focus.

 84 |   FocusWithin : Selector

 85 |   ||| Matches the elements after the current element.

 86 |   Future : Selector

 87 |   ||| Matches when the user hovers over an element.

 88 |   Hover : Selector

 89 |   ||| Matches UI elements whose value is in an indeterminate state, usually checkboxes.

 90 |   Indeterminate : Selector

 91 |   ||| Matches an element with a range when its value is in-range.

 92 |   InRange : Selector

 93 |   ||| Matches an element, such as an <input>, in an invalid state.

 94 |   Invalid : Selector

 95 |   ||| Matches an element based on language (value of the HTML lang attribute).

 96 |   Lang : String -> Selector

 97 |   ||| Matches an element which is last among its siblings.

 98 |   LastChild : Selector

 99 |   ||| Matches an element of a certain type that is last among its siblings.

100 |   LastOfType : Selector

101 |   ||| In Paged Media, matches left-hand pages.

102 |   Left : Selector

103 |   ||| Matches unvisited links.

104 |   Link : Selector

105 |   ||| Matches links pointing to pages that are in the same site as the current document.

106 |   LocalLink : Selector

107 |   ||| Matches elements in a modal state.

108 |   Modal : Selector

109 |   |||Matches elements from a list of siblings — the siblings are matched by a formula of the form an+b (e.g. 2n + 1 would match elements 1, 3, 5, 7, etc. All the odd ones.)

110 |   NthChild : String -> Selector

111 |   |||Matches elements from a list of siblings — the siblings are matched by a formula of the form an+b (e.g. 2n + 1 would match elements 1, 3, 5, 7, etc. All the odd ones.)

112 |   NthOfType : String -> Selector

113 |   ||| Matches elements from a list of siblings, counting backwards from the end. The siblings are matched by a formula of the form an+b (e.g. 2n + 1 would match the last element in the sequence, then two elements before that, then two elements before that, etc. All the odd ones, counting from the end.)

114 |   NthLastChild : String -> Selector

115 |   ||| Matches elements from a list of siblings that are of a certain type (e.g. <p> elements), counting backwards from the end. The siblings are matched by a formula of the form an+b (e.g. 2n + 1 would match the last element of that type in the sequence, then two elements before that, then two elements before that, etc. All the odd ones, counting from the end.)

116 |   NthLastOfType : String -> Selector

117 |   ||| Matches an element that has no siblings.

118 |   OnlyChild : Selector

119 |   ||| Matches an element that is the only one of its type among its siblings.

120 |   OnlyOfType : Selector

121 |   ||| Matches form elements that are not required.

122 |   Optional : Selector

123 |   ||| Matches an element with a range when its value is out of range.

124 |   OutOfRange : Selector

125 |   ||| Matches the elements before the current element.

126 |   Past : Selector

127 |   ||| Matches an input element that is showing placeholder text.

128 |   PlaceholderShown : Selector

129 |   ||| Matches an element representing an audio, video, or similar resource that is capable of being “played” or “paused”, when that element is “playing”.

130 |   Playing : Selector

131 |   ||| Matches an element representing an audio, video, or similar resource that is capable of being “played” or “paused”, when that element is “paused”.

132 |   Paused : Selector

133 |   ||| Matches an element if it is not user-alterable.

134 |   ReadOnly : Selector

135 |   ||| Matches an element if it is user-alterable.

136 |   ReadWrite : Selector

137 |   ||| Matches form elements that are required.

138 |   Required : Selector

139 |   ||| In Paged Media, matches right-hand pages.

140 |   Right : Selector

141 |   ||| Matches an element that is the root of the document.

142 |   Root : Selector

143 |   ||| Matches any element that is a scope element.

144 |   Scope : Selector

145 |   ||| Matches an element such as an <input> element, in a valid state.

146 |   Valid : Selector

147 |   ||| Matches an element if it is the target of the current URL (i.e. if it has an ID matching the current URL fragment).

148 |   Target : Selector

149 |   ||| Matches visited links.

150 |   Visited : Selector

152 |   After : Selector

153 |   Backdrop : Selector

154 |   Before : Selector

155 |   Cue : Selector

156 |   CueRegion : Selector

157 |   FirstLetter : Selector

158 |   FirstLine : Selector

159 |   FileSelectorButton : Selector

160 |   Marker : Selector

161 |   Placeholder : Selector

162 |   Selection : Selector

164 | export %inline

165 | (>) : Selector -> Selector -> Selector

166 | p > c = Complex p Child c

168 | export %inline

169 | (+) : Selector -> Selector -> Selector

170 | c1 + c2 = Complex c1 AdjacentSibling c2

173 | Interpolation Selector where

174 |   interpolate Star                        = "*"

175 |   interpolate (Id s)                      = "#\{s}"

176 |   interpolate (Class s)                   = ".\{s}"

177 |   interpolate (Elem {str} _)              = str

178 |   interpolate (Attr s v)                  = "[\{s}\{v}]"

179 |   interpolate []                          = ""

180 |   interpolate (h::t)                      = interpolate h ++ interpolate t

181 |   interpolate (Complex  s1 Descendant s2) = "\{s1} \{s2}"

182 |   interpolate (Complex  s1 c s2)          = "\{s1} \{c} \{s2}"

183 |   interpolate Active                      = ":active"

184 |   interpolate AnyLink                     = ":any-link"

185 |   interpolate Blank                       = ":blank"

186 |   interpolate Checked                     = ":checked"

187 |   interpolate Current                     = ":current"

188 |   interpolate Default                     = ":default"

189 |   interpolate (Dir x)                     = ":dir(\{x})"

190 |   interpolate Disabled                    = ":disabled"

191 |   interpolate Empty                       = ":empty"

192 |   interpolate Enabled                     = ":enabled"

193 |   interpolate First                       = ":first"

194 |   interpolate FirstChild                  = ":first-child"

195 |   interpolate FirstOfType                 = ":first-of-type"

196 |   interpolate Focus                       = ":focus"

197 |   interpolate FocusVisible                = ":focus-visible"

198 |   interpolate FocusWithin                 = ":focus-within"

199 |   interpolate Future                      = ":future"

200 |   interpolate Hover                       = ":hover"

201 |   interpolate Indeterminate               = ":indeterminate"

202 |   interpolate InRange                     = ":in-range"

203 |   interpolate Invalid                     = ":invalid"

204 |   interpolate (Lang x)                    = ":lang(\{x})"

205 |   interpolate LastChild                   = ":last-child"

206 |   interpolate LastOfType                  = ":last-of-type"

207 |   interpolate Left                        = ":left"

208 |   interpolate Link                        = ":link"

209 |   interpolate LocalLink                   = ":local-link"

210 |   interpolate Modal                       = ":modal"

211 |   interpolate (NthChild x)                = ":nth-child(\{x})"

212 |   interpolate (NthOfType x)               = ":nth-of-type(\#{x})"

213 |   interpolate (NthLastChild x)            = ":nth-last-child(\#{x})"

214 |   interpolate (NthLastOfType x)           = ":nth-last-of-type(\#{x})"

215 |   interpolate OnlyChild                   = ":only-child"

216 |   interpolate OnlyOfType                  = ":only-of-type"

217 |   interpolate Optional                    = ":optional"

218 |   interpolate OutOfRange                  = ":out-of-range"

219 |   interpolate Past                        = ":past"

220 |   interpolate PlaceholderShown            = ":placeholder-shown"

221 |   interpolate Playing                     = ":playing"

222 |   interpolate Paused                      = ":paused"

223 |   interpolate ReadOnly                    = ":read-only"

224 |   interpolate ReadWrite                   = ":read-write"

225 |   interpolate Required                    = ":required"

226 |   interpolate Right                       = ":right"

227 |   interpolate Root                        = ":root"

228 |   interpolate Scope                       = ":scope"

229 |   interpolate Valid                       = ":valid"

230 |   interpolate Target                      = ":target"

231 |   interpolate Visited                     = ":visited"

232 |   interpolate After                       = "::after"

233 |   interpolate Backdrop                    = "::backdrop"

234 |   interpolate Before                      = "::before"

235 |   interpolate Cue                         = "::cue"

236 |   interpolate CueRegion                   = "::cue-region"

237 |   interpolate FirstLetter                 = "::first-letter"

238 |   interpolate FirstLine                   = "::first-line"

239 |   interpolate FileSelectorButton          = "::file-selector-button"

240 |   interpolate Marker                      = "::marker"

241 |   interpolate Placeholder                 = "::placeholder"

242 |   interpolate Selection                   = "::selection"

244 | export %inline

245 | class : Class -> Selector

246 | class = Class

249 | classes : List Class -> Selector

250 | classes []        = []

251 | classes (x :: xs) = class x :: classes xs

253 | export %inline

254 | elem : {str : _} -> (0 tpe : HTMLTag str) -> Selector

255 | elem = Elem

258 | attribute : String -> Selector

259 | attribute s = Attr s Set

261 | export %inline

262 | id : String -> Selector

263 | id = Id