| Copyright | Copyright (C) 2006 Uwe Schmidt |
|---|---|
| License | MIT |
| Maintainer | Uwe Schmidt (uwe@fh-wedel.de) |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
Text.XML.HXT.XPath.XPathDataTypes
Description
The core data types of XPath. The Type NodeSet is based on the module NavTree which was adapted from HXML (http://www.flightlab.com/~joe/hxml/)
Synopsis
- type Name = (NamePrefix, LocalName)
- data AxisSpec
- data XPNumber
- newtype NodeSet = NS {
- unNS :: Map NodePath NavXmlTree
- data Expr
- = GenExpr Op [Expr]
- | PathExpr (Maybe Expr) (Maybe LocationPath)
- | FilterExpr [Expr]
- | VarExpr VarName
- | LiteralExpr Literal
- | NumberExpr XPNumber
- | FctExpr FctName FctArguments
- data Op
- data LocationPath = LocPath Path [XStep]
- type VarName = Name
- type Literal = String
- type FctName = String
- type FctArguments = [Expr]
- data Path
- data XStep = Step AxisSpec NodeTest [Expr]
- data NodeTest
- data XPathNode
- type NamePrefix = String
- type LocalName = String
- type Context = (ConPos, ConLen, ConNode)
- type ConPos = Int
- type ConLen = Int
- type ConNode = NavXmlTree
- type NavXmlTree = NavTree XNode
- data XPathValue
- type NavXmlTrees = [NavXmlTree]
- type NodePath = [Int]
- type XPathFilter = XPathValue -> XPathValue
- withXPVNode :: String -> (NodeSet -> XPathValue) -> XPathFilter
- emptyNodeSet :: NodeSet
- singletonNodeSet :: NavXmlTree -> NodeSet
- toNodeSet :: NavXmlTrees -> NodeSet
- nullNodeSet :: NodeSet -> Bool
- cardNodeSet :: NodeSet -> Int
- deleteNodeSet :: NodePath -> NodeSet -> NodeSet
- insertNodeSet :: NavXmlTree -> NodeSet -> NodeSet
- unionNodeSet :: NodeSet -> NodeSet -> NodeSet
- unionsNodeSet :: [NodeSet] -> NodeSet
- elemsNodeSet :: NodeSet -> [(NodePath, NavXmlTree)]
- fromNodeSet :: NodeSet -> NavXmlTrees
- headNodeSet :: NodeSet -> NavXmlTree
- withNodeSet :: (NavXmlTrees -> NavXmlTrees) -> NodeSet -> NodeSet
- type VarTab = [(VarName, XPathValue)]
- type KeyTab = [(QName, String, NavXmlTree)]
- type Env = (VarTab, KeyTab)
- varEnv :: Env
- module Text.XML.HXT.XPath.NavTree
Documentation
type Name = (NamePrefix, LocalName) Source #
Represents XPath axis
Constructors
| Ancestor | |
| AncestorOrSelf | |
| Attribute | |
| Child | |
| Descendant | |
| DescendantOrSelf | |
| Following | |
| FollowingSibling | |
| Namespace | |
| Parent | |
| Preceding | |
| PrecedingSibling | |
| Self |
Represents a floating-point number according the IEEE 754 standard
The standard includes a special Not-a-Number (NaN) value, positive and negative infinity, positive and negative zero.
Constructors
| Float Float | floating-point number |
| NaN | not-a-number |
| NegInf | negative infinity |
| Neg0 | negative zero |
| Pos0 | positive zero |
| PosInf | positive infinity |
Set of navigable trees identified by their document position (NodePath)
Constructors
| NS | |
Fields
| |
Represents expression
Constructors
| GenExpr Op [Expr] | generic expression with an operator and one or more operands |
| PathExpr (Maybe Expr) (Maybe LocationPath) | a path expression contains an optional filter-expression or an optional locationpath. one expression is urgently necessary, both are possible |
| FilterExpr [Expr] | filter-expression with zero or more predicates |
| VarExpr VarName | variable |
| LiteralExpr Literal | string |
| NumberExpr XPNumber | number |
| FctExpr FctName FctArguments | a function with a name and an optional list of arguments |
Represents XPath operators
data LocationPath Source #
Represents location path
A location path consists of a sequence of one or more location steps.
Instances
| Show LocationPath Source # | |
Defined in Text.XML.HXT.XPath.XPathDataTypes Methods showsPrec :: Int -> LocationPath -> ShowS show :: LocationPath -> String showList :: [LocationPath] -> ShowS | |
| Eq LocationPath Source # | |
Defined in Text.XML.HXT.XPath.XPathDataTypes | |
type FctArguments = [Expr] Source #
Function arguments
A location path is either a relative or an absolute path.
Represents location step
A location step consists of an axis, a node-test and zero or more predicates.
Represents XPath node-tests
Constructors
| NameTest QName | name-test |
| PI String | processing-instruction-test with a literal argument |
| TypeTest XPathNode | all nodetype-tests |
Represents nodetype-tests
Constructors
| XPNode | all 7 nodetypes (root, element, attribute, namespace, pi, comment, text) |
| XPCommentNode | comment-nodes |
| XPPINode | processing-instruction-nodes |
| XPTextNode | text-nodes: cdata, character data |
type NamePrefix = String Source #
type ConNode = NavXmlTree Source #
Context node
type NavXmlTree = NavTree XNode Source #
Node of navigable tree representation
data XPathValue Source #
Represents XPath results
Constructors
| XPVNode NodeSet | node-set |
| XPVBool Bool | boolean value |
| XPVNumber XPNumber | number according the IEEE 754 standard |
| XPVString String | string value |
| XPVError String | error message with text |
Instances
| Show XPathValue Source # | |
Defined in Text.XML.HXT.XPath.XPathDataTypes Methods showsPrec :: Int -> XPathValue -> ShowS show :: XPathValue -> String showList :: [XPathValue] -> ShowS | |
| Eq XPathValue Source # | |
Defined in Text.XML.HXT.XPath.XPathDataTypes | |
| Ord XPathValue Source # | |
Defined in Text.XML.HXT.XPath.XPathDataTypes Methods compare :: XPathValue -> XPathValue -> Ordering (<) :: XPathValue -> XPathValue -> Bool (<=) :: XPathValue -> XPathValue -> Bool (>) :: XPathValue -> XPathValue -> Bool (>=) :: XPathValue -> XPathValue -> Bool max :: XPathValue -> XPathValue -> XPathValue min :: XPathValue -> XPathValue -> XPathValue | |
type NavXmlTrees = [NavXmlTree] Source #
List of nodes of navigable tree representation
type XPathFilter = XPathValue -> XPathValue Source #
A functions that takes a XPath result and returns a XPath result
withXPVNode :: String -> (NodeSet -> XPathValue) -> XPathFilter Source #
emptyNodeSet :: NodeSet Source #
node set functions
singletonNodeSet :: NavXmlTree -> NodeSet Source #
toNodeSet :: NavXmlTrees -> NodeSet Source #
nullNodeSet :: NodeSet -> Bool Source #
cardNodeSet :: NodeSet -> Int Source #
insertNodeSet :: NavXmlTree -> NodeSet -> NodeSet Source #
unionsNodeSet :: [NodeSet] -> NodeSet Source #
elemsNodeSet :: NodeSet -> [(NodePath, NavXmlTree)] Source #
fromNodeSet :: NodeSet -> NavXmlTrees Source #
headNodeSet :: NodeSet -> NavXmlTree Source #
withNodeSet :: (NavXmlTrees -> NavXmlTrees) -> NodeSet -> NodeSet Source #
type VarTab = [(VarName, XPathValue)] Source #
XPath environment
All variables are stored in the environment, each variable name is bound to a value.
type KeyTab = [(QName, String, NavXmlTree)] Source #
module Text.XML.HXT.XPath.NavTree