Stability	provisional
Safe Haskell	Safe-Inferred
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

newtype SelectorsGroup = SelectorsGroup [Selector]
data Selector
newtype SimpleSelectorSeq = SimpleSelectorSeq [SimpleSelector]
data SimpleSelector
- = UniversalSelector
- | TypeSelector String
- | IdSelector String
- | ClassSelector String
- | AttrSelector String AttrTest
- | Pseudo PseudoClass
- | PseudoNth PseudoNthClass
- | Negation SimpleSelector
data AttrTest
- = AttrExists
- | AttrEq String
- | AttrContainsSp String
- | AttrBeginHy String
- | AttrPrefix String
- | AttrSuffix String
- | AttrSubstr String
data PseudoClass
- = PseudoFirstChild
- | PseudoLastChild
- | PseudoOnlyChild
- | PseudoFirstOfType
- | PseudoLastOfType
- | PseudoOnlyOfType
- | PseudoEmpty
- | PseudoRoot
data PseudoNthClass
- = PseudoNthChild Nth
- | PseudoNthLastChild Nth
- | PseudoNthOfType Nth
- | PseudoNthLastOfType Nth
data Nth
- = Nth Int Int
- | Odd
- | Even
findPseudoClass :: String -> Maybe PseudoClass
findPseudoNthClass :: String -> Maybe (Nth -> PseudoNthClass)
testNth :: Nth -> Int -> Bool

Documentation

newtype SelectorsGroup Source #

The top-level selector type.

Constructors

SelectorsGroup [Selector]

E, F

Instances

Instances details

Show SelectorsGroup Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> SelectorsGroup -> ShowS # show :: SelectorsGroup -> String # showList :: [SelectorsGroup] -> ShowS #
Eq SelectorsGroup Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: SelectorsGroup -> SelectorsGroup -> Bool # (/=) :: SelectorsGroup -> SelectorsGroup -> Bool #
Css SelectorsGroup Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show Selector Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> Selector -> ShowS # show :: Selector -> String # showList :: [Selector] -> ShowS #
Eq Selector Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: Selector -> Selector -> Bool # (/=) :: Selector -> Selector -> Bool #
Css Selector Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show SimpleSelectorSeq Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> SimpleSelectorSeq -> ShowS # show :: SimpleSelectorSeq -> String # showList :: [SimpleSelectorSeq] -> ShowS #
Eq SimpleSelectorSeq Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: SimpleSelectorSeq -> SimpleSelectorSeq -> Bool # (/=) :: SimpleSelectorSeq -> SimpleSelectorSeq -> Bool #
Css SimpleSelectorSeq Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show SimpleSelector Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> SimpleSelector -> ShowS # show :: SimpleSelector -> String # showList :: [SimpleSelector] -> ShowS #
Eq SimpleSelector Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: SimpleSelector -> SimpleSelector -> Bool # (/=) :: SimpleSelector -> SimpleSelector -> Bool #
Css SimpleSelector Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show AttrTest Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> AttrTest -> ShowS # show :: AttrTest -> String # showList :: [AttrTest] -> ShowS #
Eq AttrTest Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: AttrTest -> AttrTest -> Bool # (/=) :: AttrTest -> AttrTest -> Bool #

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

Instances details

Show PseudoClass Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> PseudoClass -> ShowS # show :: PseudoClass -> String # showList :: [PseudoClass] -> ShowS #
Eq PseudoClass Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: PseudoClass -> PseudoClass -> Bool # (/=) :: PseudoClass -> PseudoClass -> Bool #
Css PseudoClass Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show PseudoNthClass Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> PseudoNthClass -> ShowS # show :: PseudoNthClass -> String # showList :: [PseudoNthClass] -> ShowS #
Eq PseudoNthClass Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: PseudoNthClass -> PseudoNthClass -> Bool # (/=) :: PseudoNthClass -> PseudoNthClass -> Bool #
Css PseudoNthClass Source #
Instance details Defined in Text.XML.HXT.CSS 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

Instances details

Show Nth Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods showsPrec :: Int -> Nth -> ShowS # show :: Nth -> String # showList :: [Nth] -> ShowS #
Eq Nth Source #
Instance details Defined in Text.XML.HXT.CSS.TypeDefs Methods (==) :: Nth -> Nth -> Bool # (/=) :: Nth -> Nth -> Bool #

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.