Text.XML.HXT.CSS.TypeDefs

Data types for the abstract syntax tree of CSS selectors. We (mostly) follow the naming conventions of the CSS Level 3 specification document (http://www.w3.org/TR/css3-selectors/). The type hierarchy tries to strike a balance between correctness and complexity. As a result, it is possible to construct values that correspond to invalid selectors. For example,

Negation (Negation UniversalSelector)

is not valid according to the spec, as double negation is not allowed. Note that parseCSS never produces invalid selectors.

Documentation

newtype SelectorsGroup

The top-level selector type.

Constructors

SelectorsGroup [Selector]

E, F

Instances

Eq SelectorsGroup

Show SelectorsGroup

Css SelectorsGroup

data Selector

Constructors

Selector SimpleSelectorSeq

E

Descendant SimpleSelectorSeq Selector

E F

Child SimpleSelectorSeq Selector

E > F

AdjSibling SimpleSelectorSeq Selector

E + F

FolSibling SimpleSelectorSeq Selector

E ~ F

Instances

Eq Selector

Show Selector

Css Selector

newtype SimpleSelectorSeq

Constructors

SimpleSelectorSeq [SimpleSelector]

tag#id.class:pseudo

Instances

Eq SimpleSelectorSeq

Show SimpleSelectorSeq

Css SimpleSelectorSeq

data SimpleSelector

Constructors

UniversalSelector

*

TypeSelector String

tag

IdSelector String

#id

ClassSelector String

.class

AttrSelector String AttrTest

[..]

Pseudo PseudoClass

:pseudo

PseudoNth PseudoNthClass

:pseudo(2)

Negation SimpleSelector

:not(..)

Instances

Eq SimpleSelector

Show SimpleSelector

Css SimpleSelector

data AttrTest

Constructors

AttrExists

[attr]

AttrEq String

[attr=var]

AttrContainsSp String

[attr~=var]

AttrBeginHy String

[attr|=var]

AttrPrefix String

[attr^=var]

AttrSuffix String

[attr$=var]

AttrSubstr String

[attr*=var]

Instances

Eq AttrTest

Show AttrTest

data PseudoClass

Pseudo classes.

Constructors

PseudoFirstChild

:first-child

PseudoLastChild

:last-child

PseudoOnlyChild

:only-child

PseudoFirstOfType

:first-of-type

PseudoLastOfType

:last-of-type

PseudoOnlyOfType

:only-of-type

PseudoEmpty

:empty

PseudoRoot

:root

Instances

Eq PseudoClass

Show PseudoClass

Css PseudoClass

data PseudoNthClass

Pseudo classes that expect a argument of type Nth.

Constructors

PseudoNthChild Nth

:nth-child(..)

PseudoNthLastChild Nth

:nth-last-child(..)

PseudoNthOfType Nth

:nth-of-type(..)

PseudoNthLastOfType Nth

:nth-last-of-type(..)

Instances

Eq PseudoNthClass

Show PseudoNthClass

Css PseudoNthClass

data Nth

Type of the argument of the :nth-child (PseudoNthClass) family of pseudo classes. Nth a b matches with all integers that can be written in the form an+b for some nonnegative integer n.

Constructors

Nth Int Int

an+b

Odd

odd

Even

even

Instances

Eq Nth

Show Nth

findPseudoClass :: String -> Maybe PseudoClass

Find a PseudoClass given its name (without the colon).

findPseudoNthClass :: String -> Maybe (Nth -> PseudoNthClass)

Find a PseudoNthClass given its name (without the colon).

testNth :: Nth -> Int -> Bool

Check whether an integer satisfies a "Diophantine" constraint given in form of a value of type Nth.