Text.XML.Types

Basic XML types.

Documentation

data Content

XML content

Constructors

Elem Element

Text CData

CRef !ShortText

Instances

Data Content

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Content -> c Content

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Content

toConstr :: Content -> Constr

dataTypeOf :: Content -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Content)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Content)

gmapT :: (forall b. Data b => b -> b) -> Content -> Content

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Content -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Content -> r

gmapQ :: (forall d. Data d => d -> u) -> Content -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Content -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Content -> m Content

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Content -> m Content

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Content -> m Content

Show Content

Defined in Text.XML.Types

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

Generic Content

Defined in Text.XML.Types

Associated Types

type Rep Content :: Type -> Type

Methods

from :: Content -> Rep Content x

to :: Rep Content x -> Content

NFData Content

Defined in Text.XML.Types

Methods

rnf :: Content -> ()

Node Element

Defined in Text.XML

Methods

node :: QName -> Element -> Element

Node Content

Defined in Text.XML

Methods

node :: QName -> Content -> Element

Node [Element]

Defined in Text.XML

Methods

node :: QName -> [Element] -> Element

Node [Content]

Defined in Text.XML

Methods

node :: QName -> [Content] -> Element

Node ([Attr], [Element])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [Element]) -> Element

Node ([Attr], [Content])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [Content]) -> Element

Node ([Attr], Element)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Element) -> Element

Node ([Attr], Content)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Content) -> Element

Node (Attr, Element)

Defined in Text.XML

Methods

node :: QName -> (Attr, Element) -> Element

Node (Attr, Content)

Defined in Text.XML

Methods

node :: QName -> (Attr, Content) -> Element

type Rep Content

Defined in Text.XML.Types

type Rep Content = D1 (MetaData "Content" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "Elem" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Element)) :+: (C1 (MetaCons "Text" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CData)) :+: C1 (MetaCons "CRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ShortText))))

type Element = Element' Content

data Element' cnode

XML elements

Constructors

Element

Fields

• elName :: !QName
• elAttribs :: [Attr]
• elContent :: [cnode]

Instances

Functor Element'

Defined in Text.XML.Types

Methods

fmap :: (a -> b) -> Element' a -> Element' b

(<$) :: a -> Element' b -> Element' a

Foldable Element'

Defined in Text.XML.Types

Methods

fold :: Monoid m => Element' m -> m

foldMap :: Monoid m => (a -> m) -> Element' a -> m

foldr :: (a -> b -> b) -> b -> Element' a -> b

foldr' :: (a -> b -> b) -> b -> Element' a -> b

foldl :: (b -> a -> b) -> b -> Element' a -> b

foldl' :: (b -> a -> b) -> b -> Element' a -> b

foldr1 :: (a -> a -> a) -> Element' a -> a

foldl1 :: (a -> a -> a) -> Element' a -> a

toList :: Element' a -> [a]

null :: Element' a -> Bool

length :: Element' a -> Int

elem :: Eq a => a -> Element' a -> Bool

maximum :: Ord a => Element' a -> a

minimum :: Ord a => Element' a -> a

sum :: Num a => Element' a -> a

product :: Num a => Element' a -> a

Traversable Element'

Defined in Text.XML.Types

Methods

traverse :: Applicative f => (a -> f b) -> Element' a -> f (Element' b)

sequenceA :: Applicative f => Element' (f a) -> f (Element' a)

mapM :: Monad m => (a -> m b) -> Element' a -> m (Element' b)

sequence :: Monad m => Element' (m a) -> m (Element' a)

Node Element

Defined in Text.XML

Methods

node :: QName -> Element -> Element

Data cnode => Data (Element' cnode)

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element' cnode -> c (Element' cnode)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Element' cnode)

toConstr :: Element' cnode -> Constr

dataTypeOf :: Element' cnode -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Element' cnode))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Element' cnode))

gmapT :: (forall b. Data b => b -> b) -> Element' cnode -> Element' cnode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element' cnode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element' cnode -> r

gmapQ :: (forall d. Data d => d -> u) -> Element' cnode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Element' cnode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element' cnode -> m (Element' cnode)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element' cnode -> m (Element' cnode)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element' cnode -> m (Element' cnode)

Show cnode => Show (Element' cnode)

Defined in Text.XML.Types

Methods

showsPrec :: Int -> Element' cnode -> ShowS

show :: Element' cnode -> String

showList :: [Element' cnode] -> ShowS

Generic (Element' cnode)

Defined in Text.XML.Types

Associated Types

type Rep (Element' cnode) :: Type -> Type

Methods

from :: Element' cnode -> Rep (Element' cnode) x

to :: Rep (Element' cnode) x -> Element' cnode

NFData cnode => NFData (Element' cnode)

Defined in Text.XML.Types

Methods

rnf :: Element' cnode -> ()

Node [Element]

Defined in Text.XML

Methods

node :: QName -> [Element] -> Element

Node ([Attr], [Element])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [Element]) -> Element

Node ([Attr], Element)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Element) -> Element

Node (Attr, Element)

Defined in Text.XML

Methods

node :: QName -> (Attr, Element) -> Element

type Rep (Element' cnode)

Defined in Text.XML.Types

type Rep (Element' cnode) = D1 (MetaData "Element'" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "Element" PrefixI True) (S1 (MetaSel (Just "elName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 QName) :*: (S1 (MetaSel (Just "elAttribs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attr]) :*: S1 (MetaSel (Just "elContent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [cnode]))))

data Attr

XML attributes

Constructors

Attr

Fields

• attrKey :: !QName
• attrVal :: !Text

Instances

Eq Attr

Defined in Text.XML.Types

Methods

(==) :: Attr -> Attr -> Bool

(/=) :: Attr -> Attr -> Bool

Data Attr

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr

toConstr :: Attr -> Constr

dataTypeOf :: Attr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr)

gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r

gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr

Ord Attr

Defined in Text.XML.Types

Methods

compare :: Attr -> Attr -> Ordering

(<) :: Attr -> Attr -> Bool

(<=) :: Attr -> Attr -> Bool

(>) :: Attr -> Attr -> Bool

(>=) :: Attr -> Attr -> Bool

max :: Attr -> Attr -> Attr

min :: Attr -> Attr -> Attr

Show Attr

Defined in Text.XML.Types

Methods

showsPrec :: Int -> Attr -> ShowS

show :: Attr -> String

showList :: [Attr] -> ShowS

Generic Attr

Defined in Text.XML.Types

Associated Types

type Rep Attr :: Type -> Type

Methods

from :: Attr -> Rep Attr x

to :: Rep Attr x -> Attr

NFData Attr

Defined in Text.XML.Types

Methods

rnf :: Attr -> ()

Node Attr

Defined in Text.XML

Methods

node :: QName -> Attr -> Element

Node [Attr]

Defined in Text.XML

Methods

node :: QName -> [Attr] -> Element

Node ([Attr], [CData])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [CData]) -> Element

Node ([Attr], [Element])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [Element]) -> Element

Node ([Attr], [Content])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [Content]) -> Element

Node ([Attr], Text)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Text) -> Element

Node ([Attr], ShortText)

Defined in Text.XML

Methods

node :: QName -> ([Attr], ShortText) -> Element

Node ([Attr], CData)

Defined in Text.XML

Methods

node :: QName -> ([Attr], CData) -> Element

Node ([Attr], Element)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Element) -> Element

Node ([Attr], Content)

Defined in Text.XML

Methods

node :: QName -> ([Attr], Content) -> Element

Node (Attr, Text)

Defined in Text.XML

Methods

node :: QName -> (Attr, Text) -> Element

Node (Attr, ShortText)

Defined in Text.XML

Methods

node :: QName -> (Attr, ShortText) -> Element

Node (Attr, CData)

Defined in Text.XML

Methods

node :: QName -> (Attr, CData) -> Element

Node (Attr, Element)

Defined in Text.XML

Methods

node :: QName -> (Attr, Element) -> Element

Node (Attr, Content)

Defined in Text.XML

Methods

node :: QName -> (Attr, Content) -> Element

type Rep Attr

Defined in Text.XML.Types

type Rep Attr = D1 (MetaData "Attr" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "Attr" PrefixI True) (S1 (MetaSel (Just "attrKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 QName) :*: S1 (MetaSel (Just "attrVal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))

data CData

XML CData

Constructors

CData

Fields

• cdVerbatim :: !CDataKind
• cdData :: !Text

Instances

Data CData

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CData -> c CData

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CData

toConstr :: CData -> Constr

dataTypeOf :: CData -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CData)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CData)

gmapT :: (forall b. Data b => b -> b) -> CData -> CData

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CData -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CData -> r

gmapQ :: (forall d. Data d => d -> u) -> CData -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CData -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CData -> m CData

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CData -> m CData

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CData -> m CData

Show CData

Defined in Text.XML.Types

Methods

showsPrec :: Int -> CData -> ShowS

show :: CData -> String

showList :: [CData] -> ShowS

Generic CData

Defined in Text.XML.Types

Associated Types

type Rep CData :: Type -> Type

Methods

from :: CData -> Rep CData x

to :: Rep CData x -> CData

NFData CData

Defined in Text.XML.Types

Methods

rnf :: CData -> ()

Node CData

Defined in Text.XML

Methods

node :: QName -> CData -> Element

Node [CData]

Defined in Text.XML

Methods

node :: QName -> [CData] -> Element

Node ([Attr], [CData])

Defined in Text.XML

Methods

node :: QName -> ([Attr], [CData]) -> Element

Node ([Attr], CData)

Defined in Text.XML

Methods

node :: QName -> ([Attr], CData) -> Element

Node (Attr, CData)

Defined in Text.XML

Methods

node :: QName -> (Attr, CData) -> Element

type Rep CData

Defined in Text.XML.Types

type Rep CData = D1 (MetaData "CData" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "CData" PrefixI True) (S1 (MetaSel (Just "cdVerbatim") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CDataKind) :*: S1 (MetaSel (Just "cdData") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))

data CDataKind

Constructors

CDataText

Ordinary character data; pretty printer escapes &, < etc.

CDataVerbatim

Unescaped character data; pretty printer embeds it in <![CDATA[..

CDataRaw

As-is character data; pretty printer passes it along without any escaping or CDATA wrap-up.

Instances

Eq CDataKind

Defined in Text.XML.Types

Methods

(==) :: CDataKind -> CDataKind -> Bool

(/=) :: CDataKind -> CDataKind -> Bool

Data CDataKind

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CDataKind -> c CDataKind

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CDataKind

toConstr :: CDataKind -> Constr

dataTypeOf :: CDataKind -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CDataKind)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CDataKind)

gmapT :: (forall b. Data b => b -> b) -> CDataKind -> CDataKind

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CDataKind -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CDataKind -> r

gmapQ :: (forall d. Data d => d -> u) -> CDataKind -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CDataKind -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CDataKind -> m CDataKind

Show CDataKind

Defined in Text.XML.Types

Methods

showsPrec :: Int -> CDataKind -> ShowS

show :: CDataKind -> String

showList :: [CDataKind] -> ShowS

Generic CDataKind

Defined in Text.XML.Types

Associated Types

type Rep CDataKind :: Type -> Type

Methods

from :: CDataKind -> Rep CDataKind x

to :: Rep CDataKind x -> CDataKind

NFData CDataKind

Defined in Text.XML.Types

Methods

rnf :: CDataKind -> ()

type Rep CDataKind

Defined in Text.XML.Types

type Rep CDataKind = D1 (MetaData "CDataKind" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "CDataText" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CDataVerbatim" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CDataRaw" PrefixI False) (U1 :: Type -> Type)))

data QName

XML qualified names

Constructors

QName

Fields

• qLName :: !LName
• qURI :: Maybe URI
• qPrefix :: Maybe ShortText

Instances

Eq QName

Defined in Text.XML.Types

Methods

(==) :: QName -> QName -> Bool

(/=) :: QName -> QName -> Bool

Data QName

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QName -> c QName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QName

toConstr :: QName -> Constr

dataTypeOf :: QName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QName)

gmapT :: (forall b. Data b => b -> b) -> QName -> QName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QName -> r

gmapQ :: (forall d. Data d => d -> u) -> QName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> QName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> QName -> m QName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QName -> m QName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QName -> m QName

Ord QName

Defined in Text.XML.Types

Methods

compare :: QName -> QName -> Ordering

(<) :: QName -> QName -> Bool

(<=) :: QName -> QName -> Bool

(>) :: QName -> QName -> Bool

(>=) :: QName -> QName -> Bool

max :: QName -> QName -> QName

min :: QName -> QName -> QName

Show QName

Defined in Text.XML.Types

Methods

showsPrec :: Int -> QName -> ShowS

show :: QName -> String

showList :: [QName] -> ShowS

Generic QName

Defined in Text.XML.Types

Associated Types

type Rep QName :: Type -> Type

Methods

from :: QName -> Rep QName x

to :: Rep QName x -> QName

NFData QName

Defined in Text.XML.Types

Methods

rnf :: QName -> ()

type Rep QName

Defined in Text.XML.Types

type Rep QName = D1 (MetaData "QName" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" False) (C1 (MetaCons "QName" PrefixI True) (S1 (MetaSel (Just "qLName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LName) :*: (S1 (MetaSel (Just "qURI") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URI)) :*: S1 (MetaSel (Just "qPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortText)))))

newtype LName

XML local names

Constructors

LName

Fields

• unLName :: ShortText

Instances

Eq LName

Defined in Text.XML.Types

Methods

(==) :: LName -> LName -> Bool

(/=) :: LName -> LName -> Bool

Data LName

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LName -> c LName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LName

toConstr :: LName -> Constr

dataTypeOf :: LName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LName)

gmapT :: (forall b. Data b => b -> b) -> LName -> LName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LName -> r

gmapQ :: (forall d. Data d => d -> u) -> LName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LName -> m LName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LName -> m LName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LName -> m LName

Ord LName

Defined in Text.XML.Types

Methods

compare :: LName -> LName -> Ordering

(<) :: LName -> LName -> Bool

(<=) :: LName -> LName -> Bool

(>) :: LName -> LName -> Bool

(>=) :: LName -> LName -> Bool

max :: LName -> LName -> LName

min :: LName -> LName -> LName

Show LName

Defined in Text.XML.Types

Methods

showsPrec :: Int -> LName -> ShowS

show :: LName -> String

showList :: [LName] -> ShowS

IsString LName

Defined in Text.XML.Types

Methods

fromString :: String -> LName

Generic LName

Defined in Text.XML.Types

Associated Types

type Rep LName :: Type -> Type

Methods

from :: LName -> Rep LName x

to :: Rep LName x -> LName

NFData LName

Defined in Text.XML.Types

Methods

rnf :: LName -> ()

type Rep LName

Defined in Text.XML.Types

type Rep LName = D1 (MetaData "LName" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" True) (C1 (MetaCons "LName" PrefixI True) (S1 (MetaSel (Just "unLName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortText)))

newtype URI

URIs resembling anyURI

Constructors

URI

Fields

• unURI :: ShortText

Instances

Eq URI

Defined in Text.XML.Types

Methods

(==) :: URI -> URI -> Bool

(/=) :: URI -> URI -> Bool

Data URI

Defined in Text.XML.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URI -> c URI

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URI

toConstr :: URI -> Constr

dataTypeOf :: URI -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URI)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URI)

gmapT :: (forall b. Data b => b -> b) -> URI -> URI

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQ :: (forall d. Data d => d -> u) -> URI -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> URI -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

Ord URI

Defined in Text.XML.Types

Methods

compare :: URI -> URI -> Ordering

(<) :: URI -> URI -> Bool

(<=) :: URI -> URI -> Bool

(>) :: URI -> URI -> Bool

(>=) :: URI -> URI -> Bool

max :: URI -> URI -> URI

min :: URI -> URI -> URI

Show URI

Defined in Text.XML.Types

Methods

showsPrec :: Int -> URI -> ShowS

show :: URI -> String

showList :: [URI] -> ShowS

IsString URI

Defined in Text.XML.Types

Methods

fromString :: String -> URI

Generic URI

Defined in Text.XML.Types

Associated Types

type Rep URI :: Type -> Type

Methods

from :: URI -> Rep URI x

to :: Rep URI x -> URI

NFData URI

Defined in Text.XML.Types

Methods

rnf :: URI -> ()

type Rep URI

Defined in Text.XML.Types

type Rep URI = D1 (MetaData "URI" "Text.XML.Types" "X-0.1.0.0-H75dv9mzIBp4jgzgZrAGzn" True) (C1 (MetaCons "URI" PrefixI True) (S1 (MetaSel (Just "unURI") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortText)))

type Pos = Int

Position expressed in number of code-points

A negative value denotes EOF

blank_name :: QName

Blank names

blank_cdata :: CData

Blank cdata

blank_element :: Element

Blank elements