Safe Haskell	None
Language	Haskell98

Text.XML.Expat.Internal.DocumentClass

Description

Type classes to allow for XML handling functions to be generalized to work with different document types.

Synopsis

data XMLDeclaration text = XMLDeclaration text (Maybe text) (Maybe Bool)
data DocumentTypeDeclaration (c :: Type -> Type) tag text = DocumentTypeDeclaration
data Misc text
- = Comment !text
- | ProcessingInstruction !text !text
type family NodeType (d :: (Type -> Type) -> Type -> Type -> Type) :: (Type -> Type) -> Type -> Type -> Type
class (Functor c, List c, NodeClass (NodeType d) c) => DocumentClass (d :: (Type -> Type) -> Type -> Type -> Type) (c :: Type -> Type) where
- getXMLDeclaration :: d c tag text -> Maybe (XMLDeclaration text)
- getDocumentTypeDeclaration :: d c tag text -> Maybe (DocumentTypeDeclaration c tag text)
- getTopLevelMiscs :: d c tag text -> c (Misc text)
- getRoot :: d c tag text -> NodeType d c tag text
- mkDocument :: Maybe (XMLDeclaration text) -> Maybe (DocumentTypeDeclaration c tag text) -> c (Misc text) -> NodeType d c tag text -> d c tag text
mkPlainDocument :: forall d (c :: Type -> Type) tag text. DocumentClass d c => NodeType d c tag text -> d c tag text
modifyXMLDeclaration :: forall d (c :: Type -> Type) text tag. DocumentClass d c => (Maybe (XMLDeclaration text) -> Maybe (XMLDeclaration text)) -> d c tag text -> d c tag text
modifyDocumentTypeDeclaration :: forall d (c :: Type -> Type) tag text. DocumentClass d c => (Maybe (DocumentTypeDeclaration c tag text) -> Maybe (DocumentTypeDeclaration c tag text)) -> d c tag text -> d c tag text
modifyTopLevelMiscs :: DocumentClass d c => (c (Misc text) -> c (Misc text)) -> d c tag text -> d c tag text
modifyRoot :: forall d (c :: Type -> Type) tag text. DocumentClass d c => (NodeType d c tag text -> NodeType d c tag text) -> d c tag text -> d c tag text

Documentation

data XMLDeclaration text Source #

XML declaration, consisting of version, encoding and standalone.

The formatting functions always outputs only UTF-8, regardless of what encoding is specified here. If you want to produce a document in a different encoding, then set the encoding here, format the document, and then convert the output text from UTF-8 to your desired encoding using some text conversion library.

Constructors

XMLDeclaration text (Maybe text) (Maybe Bool)

Instances

Instances details

Eq text => Eq (XMLDeclaration text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods (==) :: XMLDeclaration text -> XMLDeclaration text -> Bool # (/=) :: XMLDeclaration text -> XMLDeclaration text -> Bool #
Show text => Show (XMLDeclaration text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods showsPrec :: Int -> XMLDeclaration text -> ShowS # show :: XMLDeclaration text -> String # showList :: [XMLDeclaration text] -> ShowS #

data DocumentTypeDeclaration (c :: Type -> Type) tag text Source #

Stub for future expansion.

Constructors

DocumentTypeDeclaration

Instances

Instances details

Eq (DocumentTypeDeclaration c tag text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods (==) :: DocumentTypeDeclaration c tag text -> DocumentTypeDeclaration c tag text -> Bool # (/=) :: DocumentTypeDeclaration c tag text -> DocumentTypeDeclaration c tag text -> Bool #
Show (DocumentTypeDeclaration c tag text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods showsPrec :: Int -> DocumentTypeDeclaration c tag text -> ShowS # show :: DocumentTypeDeclaration c tag text -> String # showList :: [DocumentTypeDeclaration c tag text] -> ShowS #

data Misc text Source #

Constructors

Comment !text
ProcessingInstruction !text !text

Instances

Instances details

NFData text => NFData (Misc text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods rnf :: Misc text -> () #
Eq text => Eq (Misc text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods (==) :: Misc text -> Misc text -> Bool # (/=) :: Misc text -> Misc text -> Bool #
Show text => Show (Misc text) Source #
Instance details Defined in Text.XML.Expat.Internal.DocumentClass Methods showsPrec :: Int -> Misc text -> ShowS # show :: Misc text -> String # showList :: [Misc text] -> ShowS #

type family NodeType (d :: (Type -> Type) -> Type -> Type -> Type) :: (Type -> Type) -> Type -> Type -> Type Source #

Instances

Instances details

type NodeType (DocumentG ann) Source #
Instance details Defined in Text.XML.Expat.Extended type NodeType (DocumentG ann) = NodeG ann

class (Functor c, List c, NodeClass (NodeType d) c) => DocumentClass (d :: (Type -> Type) -> Type -> Type -> Type) (c :: Type -> Type) where Source #

Methods

getXMLDeclaration :: d c tag text -> Maybe (XMLDeclaration text) Source #

Get the XML declaration for this document.

getDocumentTypeDeclaration :: d c tag text -> Maybe (DocumentTypeDeclaration c tag text) Source #

Get the Document Type Declaration (DTD) for this document.

getTopLevelMiscs :: d c tag text -> c (Misc text) Source #

Get the top-level Misc nodes for this document.

getRoot :: d c tag text -> NodeType d c tag text Source #

Get the root element for this document.

mkDocument :: Maybe (XMLDeclaration text) -> Maybe (DocumentTypeDeclaration c tag text) -> c (Misc text) -> NodeType d c tag text -> d c tag text Source #

Make a document with the specified fields.

Instances

Instances details

(Functor c, List c) => DocumentClass (DocumentG ann) c Source #

Instance details

Defined in Text.XML.Expat.Extended

Methods

getXMLDeclaration :: DocumentG ann c tag text -> Maybe (XMLDeclaration text) Source #

getDocumentTypeDeclaration :: DocumentG ann c tag text -> Maybe (DocumentTypeDeclaration c tag text) Source #

getTopLevelMiscs :: DocumentG ann c tag text -> c (Misc text) Source #

getRoot :: DocumentG ann c tag text -> NodeType (DocumentG ann) c tag text Source #

mkDocument :: Maybe (XMLDeclaration text) -> Maybe (DocumentTypeDeclaration c tag text) -> c (Misc text) -> NodeType (DocumentG ann) c tag text -> DocumentG ann c tag text Source #

mkPlainDocument :: forall d (c :: Type -> Type) tag text. DocumentClass d c => NodeType d c tag text -> d c tag text Source #

Make a document with the specified root node and all other information set to defaults.

modifyXMLDeclaration :: forall d (c :: Type -> Type) text tag. DocumentClass d c => (Maybe (XMLDeclaration text) -> Maybe (XMLDeclaration text)) -> d c tag text -> d c tag text Source #

modifyDocumentTypeDeclaration :: forall d (c :: Type -> Type) tag text. DocumentClass d c => (Maybe (DocumentTypeDeclaration c tag text) -> Maybe (DocumentTypeDeclaration c tag text)) -> d c tag text -> d c tag text Source #

modifyTopLevelMiscs :: DocumentClass d c => (c (Misc text) -> c (Misc text)) -> d c tag text -> d c tag text Source #

modifyRoot :: forall d (c :: Type -> Type) tag text. DocumentClass d c => (NodeType d c tag text -> NodeType d c tag text) -> d c tag text -> d c tag text Source #