SAX

Documentation

type SaxStream = Stream (Of SaxEvent) (Either XenoException) ()

data Result r

Constructors

Partial (SaxEvent -> Result r) [ByteString] SaxStream

Partial result contains a continuation, a list of tags that parser will skip automatically(if parsers from skipUntil family of combinators were used before) the rest of the stream to consume

Done r

The parse succeeded. The i parameter is the input that had not yet been consumed (if any) when the parse succeeded.

Fail String

The parse failed with current message

Instances

Functor Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Show r => Show (Result r)

Methods

showsPrec :: Int -> Result r -> ShowS

show :: Result r -> String

showList :: [Result r] -> ShowS

newtype SaxParser a

Constructors

SaxParser

Fields

• runSaxParser :: forall r. [ByteString] -> SaxStream -> ([ByteString] -> SaxStream -> Result r) -> ([ByteString] -> SaxStream -> a -> Result r) -> Result r

Instances

Monad SaxParser

Methods

(>>=) :: SaxParser a -> (a -> SaxParser b) -> SaxParser b

(>>) :: SaxParser a -> SaxParser b -> SaxParser b

return :: a -> SaxParser a

fail :: String -> SaxParser a

Functor SaxParser

Methods

fmap :: (a -> b) -> SaxParser a -> SaxParser b

(<$) :: a -> SaxParser b -> SaxParser a

MonadFail SaxParser

Methods

fail :: String -> SaxParser a

Applicative SaxParser

Methods

pure :: a -> SaxParser a

(<*>) :: SaxParser (a -> b) -> SaxParser a -> SaxParser b

liftA2 :: (a -> b -> c) -> SaxParser a -> SaxParser b -> SaxParser c

(*>) :: SaxParser a -> SaxParser b -> SaxParser b

(<*) :: SaxParser a -> SaxParser b -> SaxParser a

Alternative SaxParser

Methods

empty :: SaxParser a

(<|>) :: SaxParser a -> SaxParser a -> SaxParser a

some :: SaxParser a -> SaxParser [a]

many :: SaxParser a -> SaxParser [a]

Semigroup (SaxParser a)

Methods

(<>) :: SaxParser a -> SaxParser a -> SaxParser a

sconcat :: NonEmpty (SaxParser a) -> SaxParser a

stimes :: Integral b => b -> SaxParser a -> SaxParser a

parseSax :: SaxParser a -> SaxStream -> Result a

skip :: SaxParser ()

skipAndMark :: SaxParser ()

openTag :: ByteString -> SaxParser ()

endOfOpenTag :: ByteString -> SaxParser ()

bytes :: SaxParser ByteString

closeTag :: ByteString -> SaxParser ()

skipUntil :: SaxParser a -> SaxParser a

withTag :: ByteString -> SaxParser a -> SaxParser a

Parses tag with its content, skipping the attributes.

withTagAndAttrs :: ByteString -> SaxParser attrs -> SaxParser a -> SaxParser (attrs, a)

skipTag :: ByteString -> SaxParser ()

Skips a tag and all of its children.

atTag :: ByteString -> SaxParser a -> SaxParser a

streamXml :: MonadError XenoException m => ByteString -> Stream (Of SaxEvent) m ()