Data.XML.Parser.High.AttrParser

All documentation examples assume the following setup:

:set -XOverloadedStrings
import Data.Attoparsec.ByteString
import Data.XML.Parser.High

Documentation

newtype AttrParser a

How to parse tag attributes.

Constructors

AttrParser

Fields

• runAttrParser :: Map QName Text -> Either String a

Instances

Monad AttrParser

Can be combined with >>=. Attributes map is forwarded without change.

Defined in Data.XML.Parser.High.AttrParser

Methods

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

(>>) :: AttrParser a -> AttrParser b -> AttrParser b

return :: a -> AttrParser a

Functor AttrParser

Defined in Data.XML.Parser.High.AttrParser

Methods

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

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

MonadFail AttrParser

Defined in Data.XML.Parser.High.AttrParser

Methods

fail :: String -> AttrParser a

Applicative AttrParser

Defined in Data.XML.Parser.High.AttrParser

Methods

pure :: a -> AttrParser a

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

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

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

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

Alternative AttrParser

Can be combined with <|>

Defined in Data.XML.Parser.High.AttrParser

Methods

empty :: AttrParser a

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

some :: AttrParser a -> AttrParser [a]

many :: AttrParser a -> AttrParser [a]

anyAttr :: AttrParser ()

Parse any set of attributes.

>>> parseOnly (runTokenParser $ tag' anyName anyAttr noContent) "<tag></tag>"
Right ()
>>> parseOnly (runTokenParser $ tag' anyName anyAttr noContent) "<tag key='value'></tag>"
Right ()

noAttr :: AttrParser ()

Assert that no attributes exist.

>>> parseOnly (runTokenParser $ tag' anyName noAttr noContent) "<tag></tag>"
Right ()
>>> parseOnly (runTokenParser $ tag' anyName noAttr noContent) "<tag key='value'></tag>"
Left ...

attrValue :: QName -> AttrParser Text

Parse attribute by name, and return its value.

>>> parseOnly (runTokenParser $ tag' anyName (attrValue "foo") noContent) "<tag></tag>"
Left ...
>>> parseOnly (runTokenParser $ tag' anyName (attrValue "foo") noContent) "<tag foo='bar'></tag>"
Right ()

hasAttr :: QName -> Text -> AttrParser ()

Assert that an attribute exists, with given name and value.

>>> parseOnly (runTokenParser $ tag' anyName (hasAttr "foo" "bar") noContent) "<tag></tag>"
Left ...
>>> parseOnly (runTokenParser $ tag' anyName (hasAttr "foo" "bar") noContent) "<tag foo='baz'></tag>"
Left ...
>>> parseOnly (runTokenParser $ tag' anyName (hasAttr "foo" "bar") noContent) "<tag foo='bar'></tag>"
Right ()