Data.XML.Parser.High.NameParser

All documentation examples assume the following setup:

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

Documentation

newtype NameParser a

How to parse tag names.

Constructors

NameParser

Fields

• runNameParser :: QName -> Either String a

Instances

Monad NameParser

Can be combined with >>=. Qualified name is forwarded without change.

Defined in Data.XML.Parser.High.NameParser

Methods

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

(>>) :: NameParser a -> NameParser b -> NameParser b

return :: a -> NameParser a

Functor NameParser

Defined in Data.XML.Parser.High.NameParser

Methods

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

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

MonadFail NameParser

Defined in Data.XML.Parser.High.NameParser

Methods

fail :: String -> NameParser a

Applicative NameParser

Defined in Data.XML.Parser.High.NameParser

Methods

pure :: a -> NameParser a

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

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

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

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

Alternative NameParser

Can be combined with <|>

Defined in Data.XML.Parser.High.NameParser

Methods

empty :: NameParser a

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

some :: NameParser a -> NameParser [a]

many :: NameParser a -> NameParser [a]

a ~ () => IsString (NameParser a)

Match a single QName in a concise way.

>>> parseOnly (runTokenParser $ tag' "foo" anyAttr anyContent) "<foo></foo>"
Right ()

Defined in Data.XML.Parser.High.NameParser

Methods

fromString :: String -> NameParser a

anyName :: NameParser QName

Match any qualified name.

anyNameExcept :: QName -> NameParser QName

Match any qualified name, except for the given value.

>>> parseOnly (runTokenParser $ tag' (anyNameExcept "foo") anyAttr anyContent) "<foo></foo>"
Left ...
>>> parseOnly (runTokenParser $ tag' (anyNameExcept "foo") anyAttr anyContent) "<bar></bar>"
Right ()