Idris2Doc : Text.CSS.Selector

Text.CSS.Selector

(source)

Definitions

dataCombinator : Type
Totality: total
Visibility: public export
Constructors:
Descendant : Combinator
Child : Combinator
GeneralSibling : Combinator
AdjacentSibling : Combinator

Hint: 
InterpolationCombinator
dataSelector : Type
Totality: total
Visibility: public export
Constructors:
Star : Selector
Id : String->Selector
Class : String->Selector
Elem : (0_ : ElementTypestrt) ->Selector
Complex : Selector->Combinator->Selector->Selector
Nil : Selector
(::) : Selector->Selector->Selector
Active : Selector
  Matches when the user activates (for example clicks on) an element.
  Matches both the :link and :visited states of a link.
Blank : Selector
  Matches an <input> element whose input value is empty.
Checked : Selector
  Matches a radio button or checkbox in the selected state.
Current : Selector
  Matches the element, or an ancestor of the element, that is currently being displayed.
Default : Selector
  Matches the one or more UI elements that are the default among a set of similar elements.
Dir : Direction->Selector
  Select an element based on its directionality (value of the HTML dir attribute or CSS direction property).
Disabled : Selector
  Matches user interface elements that are in an disabled state.
Empty : Selector
  Matches an element that has no children except optionally white space.
Enabled : Selector
  Matches user interface elements that are in an enabled state.
First : Selector
  In Paged Media, matches the first page.
FirstChild : Selector
  Matches an element that is first among its siblings.
FirstOfType : Selector
  Matches an element which is first of a certain type among its siblings.
Focus : Selector
  Matches when an element has focus.
FocusVisible : Selector
  Matches when an element has focus and the focus should be visible to the user.
FocusWithin : Selector
  Matches an element with focus plus an element with a descendent that has focus.
Future : Selector
  Matches the elements after the current element.
Hover : Selector
  Matches when the user hovers over an element.
Indeterminate : Selector
  Matches UI elements whose value is in an indeterminate state, usually checkboxes.
InRange : Selector
  Matches an element with a range when its value is in-range.
Invalid : Selector
  Matches an element, such as an <input>, in an invalid state.
Lang : String->Selector
  Matches an element based on language (value of the HTML lang attribute).
LastChild : Selector
  Matches an element which is last among its siblings.
LastOfType : Selector
  Matches an element of a certain type that is last among its siblings.
Left : Selector
  In Paged Media, matches left-hand pages.
  Matches unvisited links.
  Matches links pointing to pages that are in the same site as the current document.
NthChild : String->Selector
  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.)
NthOfType : String->Selector
  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.)
NthLastChild : String->Selector
  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.)
NthLastOfType : String->Selector
  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.)
OnlyChild : Selector
  Matches an element that has no siblings.
OnlyOfType : Selector
  Matches an element that is the only one of its type among its siblings.
Optional : Selector
  Matches form elements that are not required.
OutOfRange : Selector
  Matches an element with a range when its value is out of range.
Past : Selector
  Matches the elements before the current element.
PlaceholderShown : Selector
  Matches an input element that is showing placeholder text.
Playing : Selector
  Matches an element representing an audio, video, or similar resource that is capable of being “played” or “paused”, when that element is “playing”.
Paused : Selector
  Matches an element representing an audio, video, or similar resource that is capable of being “played” or “paused”, when that element is “paused”.
ReadOnly : Selector
  Matches an element if it is not user-alterable.
ReadWrite : Selector
  Matches an element if it is user-alterable.
Required : Selector
  Matches form elements that are required.
Right : Selector
  In Paged Media, matches right-hand pages.
Root : Selector
  Matches an element that is the root of the document.
Scope : Selector
  Matches any element that is a scope element.
Valid : Selector
  Matches an element such as an <input> element, in a valid state.
Target : Selector
  Matches an element if it is the target of the current URL (i.e. if it has an ID matching the current URL fragment).
Visited : Selector
  Matches visited links.
After : Selector
Backdrop : Selector
Before : Selector
Cue : Selector
CueRegion : Selector
FirstLetter : Selector
FirstLine : Selector
FileSelectorButton : Selector
Marker : Selector
Placeholder : Selector
Selection : Selector

Hint: 
InterpolationSelector
class : String->Selector
Totality: total
Visibility: export
classes : ListString->Selector
Totality: total
Visibility: export
elem : (0_ : ElementTypestrt) ->Selector
Totality: total
Visibility: export
id : String->Selector
Totality: total
Visibility: export