Stability	provisional
Safe Haskell	Safe
Language	Haskell2010

Text.XML.HXT.CSS.TypeDefs

Description

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.

Synopsis

Documentation

newtype SelectorsGroup Source #

The top-level selector type.

Constructors

SelectorsGroup [Selector]

E, F

Instances

Eq SelectorsGroup Source #
Methods (==) :: SelectorsGroup -> SelectorsGroup -> Bool # (/=) :: SelectorsGroup -> SelectorsGroup -> Bool #
Show SelectorsGroup Source #
Methods showsPrec :: Int -> SelectorsGroup -> ShowS # show :: SelectorsGroup -> String # showList :: [SelectorsGroup] -> ShowS #
Css SelectorsGroup Source #
Methods selectDeep :: ArrowXml a => SelectorsGroup -> a XmlNavTree XmlNavTree select :: ArrowXml a => SelectorsGroup -> a XmlNavTree XmlNavTree

data Selector Source #

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 Source #
Methods (==) :: Selector -> Selector -> Bool # (/=) :: Selector -> Selector -> Bool #
Show Selector Source #
Methods showsPrec :: Int -> Selector -> ShowS # show :: Selector -> String # showList :: [Selector] -> ShowS #
Css Selector Source #
Methods selectDeep :: ArrowXml a => Selector -> a XmlNavTree XmlNavTree select :: ArrowXml a => Selector -> a XmlNavTree XmlNavTree

newtype SimpleSelectorSeq Source #

Constructors

SimpleSelectorSeq [SimpleSelector]

tag#id.class:pseudo

Instances

Eq SimpleSelectorSeq Source #
Methods (==) :: SimpleSelectorSeq -> SimpleSelectorSeq -> Bool # (/=) :: SimpleSelectorSeq -> SimpleSelectorSeq -> Bool #
Show SimpleSelectorSeq Source #
Methods showsPrec :: Int -> SimpleSelectorSeq -> ShowS # show :: SimpleSelectorSeq -> String # showList :: [SimpleSelectorSeq] -> ShowS #
Css SimpleSelectorSeq Source #
Methods selectDeep :: ArrowXml a => SimpleSelectorSeq -> a XmlNavTree XmlNavTree select :: ArrowXml a => SimpleSelectorSeq -> a XmlNavTree XmlNavTree

data SimpleSelector Source #

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 Source #
Methods (==) :: SimpleSelector -> SimpleSelector -> Bool # (/=) :: SimpleSelector -> SimpleSelector -> Bool #
Show SimpleSelector Source #
Methods showsPrec :: Int -> SimpleSelector -> ShowS # show :: SimpleSelector -> String # showList :: [SimpleSelector] -> ShowS #
Css SimpleSelector Source #
Methods selectDeep :: ArrowXml a => SimpleSelector -> a XmlNavTree XmlNavTree select :: ArrowXml a => SimpleSelector -> a XmlNavTree XmlNavTree

data AttrTest Source #

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 Source #
Methods (==) :: AttrTest -> AttrTest -> Bool # (/=) :: AttrTest -> AttrTest -> Bool #
Show AttrTest Source #
Methods showsPrec :: Int -> AttrTest -> ShowS # show :: AttrTest -> String # showList :: [AttrTest] -> ShowS #

data PseudoClass Source #

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 Source #
Methods (==) :: PseudoClass -> PseudoClass -> Bool # (/=) :: PseudoClass -> PseudoClass -> Bool #
Show PseudoClass Source #
Methods showsPrec :: Int -> PseudoClass -> ShowS # show :: PseudoClass -> String # showList :: [PseudoClass] -> ShowS #
Css PseudoClass Source #
Methods selectDeep :: ArrowXml a => PseudoClass -> a XmlNavTree XmlNavTree select :: ArrowXml a => PseudoClass -> a XmlNavTree XmlNavTree

data PseudoNthClass Source #

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 Source #
Methods (==) :: PseudoNthClass -> PseudoNthClass -> Bool # (/=) :: PseudoNthClass -> PseudoNthClass -> Bool #
Show PseudoNthClass Source #
Methods showsPrec :: Int -> PseudoNthClass -> ShowS # show :: PseudoNthClass -> String # showList :: [PseudoNthClass] -> ShowS #
Css PseudoNthClass Source #
Methods selectDeep :: ArrowXml a => PseudoNthClass -> a XmlNavTree XmlNavTree select :: ArrowXml a => PseudoNthClass -> a XmlNavTree XmlNavTree

data Nth Source #

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 Source #
Methods (==) :: Nth -> Nth -> Bool # (/=) :: Nth -> Nth -> Bool #
Show Nth Source #
Methods showsPrec :: Int -> Nth -> ShowS # show :: Nth -> String # showList :: [Nth] -> ShowS #

findPseudoClass :: String -> Maybe PseudoClass Source #

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

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

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

testNth :: Nth -> Int -> Bool Source #

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