Text.XML.Light.Extractors.Internal

Documentation

type Path = [String]

Location for some content.

For now it is a reversed list of content indices and element names. This may change to something less "stringly typed".

data Err

Extraction errors.

Constructors

ErrExpect

Some expected content is missing

Fields

expected :: String

expected content

found :: Content

found content

ErrAttr

An expected attribute is missing

Fields

expected :: String

expected content

atElement :: Element

element with missing attribute

ErrEnd

Expected end of contents

Fields

found :: Content

found content

ErrNull

Unexpected end of contents

Fields

expected :: String

expected content

ErrMsg String

Instances

Show Err

data ExtractionErr

Error with a context.

Constructors

ExtractionErr

Fields

err :: Err

context :: Path

Instances

Show ExtractionErr

Error ExtractionErr

Element extraction

type ElementExtractor a = ReaderT (Path, Element) (ResultT ExtractionErr Identity) a

runElementExtractor :: ElementExtractor a -> Element -> Path -> Result ExtractionErr a

attrib :: String -> ElementExtractor String

attribAs

Arguments

:: String

name of attribute to extract

-> (String -> Either Err a)

-> ElementExtractor a

children :: ContentsExtractor a -> ElementExtractor a

contents :: ContentsExtractor a -> ElementExtractor a

Contents extraction

type ContentsExtractor a = StateT Ctx (ResultT ExtractionErr Identity) a

runContentsExtractor :: ContentsExtractor a -> [Content] -> Int -> Path -> Result ExtractionErr (a, Ctx)

element :: String -> ElementExtractor a -> ContentsExtractor a

text :: ContentsExtractor String

textAs :: (String -> Either Err a) -> ContentsExtractor a

anyContent :: ContentsExtractor Content

eoc :: ContentsExtractor ()