Text.Roundtrip.Xml.Parser

Documentation

data GenXmlParser s m a

Instances

(Monad m, Stream s m RtEventWithPos) => ProductFunctor (GenXmlParser s m)

(Monad m, Stream s m RtEventWithPos) => Alternative (GenXmlParser s m)

(Monad m, Stream s m RtEventWithPos) => Syntax (GenXmlParser s m)

(Monad m, Stream s m RtEventWithPos) => XmlSyntax (GenXmlParser s m)

(Monad m, Stream s m RtEventWithPos) => IsoFunctor (GenXmlParser s m)

type XmlParser a = GenXmlParser [RtEventWithPos] Identity a

runXmlParser :: XmlParser a -> SourceName -> EntityRenderer -> [Event] -> Either ParseError a

runXmlParser' :: XmlParser a -> EntityRenderer -> [EventWithPos] -> Either ParseError a

runXmlParser'' :: XmlParser a -> SourceName -> EntityRenderer -> [EventWithPos] -> Either ParseError a

data WithPos a

Instances

Monad m => Stream PStreamPos (StateT PStreamState (Iteratee RtEventWithPos m)) RtEventWithPos

Pretty a => Show (WithPos a)

Pretty a => Pretty (WithPos a)

type EventWithPos = WithPos Event

eventWithPos :: a -> SourceName -> Line -> Column -> WithPos a

eventWithoutPos :: a -> WithPos a

type SourceName = String

type Line = Int

type Column = Int

data ParseError

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function Text.Parsec.Prim.parse. ParseError is an instance of the Show class.

Instances

Show ParseError

type EntityRenderer = Text -> Maybe Text

defaultEntityRenderer :: EntityRenderer

runXmlParserString :: XmlParser a -> SourceName -> EntityRenderer -> String -> Either ParseError a

runXmlParserText :: XmlParser a -> SourceName -> EntityRenderer -> Text -> Either ParseError a

runXmlParserLazyText :: XmlParser a -> SourceName -> EntityRenderer -> Text -> Either ParseError a

runXmlParserByteString :: XmlParser a -> SourceName -> EntityRenderer -> ByteString -> Either ParseError a

runXmlParserLazyByteString :: XmlParser a -> SourceName -> EntityRenderer -> ByteString -> Either ParseError a