Fadno.Xml.XParse

Combinators over XML.

Documentation

newtype XParse a

Parsing monad.

Constructors

XParse

Fields

• unXParse :: StateT Cursor (Except XErrors) a

Instances

Monad XParse

Defined in Fadno.Xml.XParse

Methods

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

(>>) :: XParse a -> XParse b -> XParse b

return :: a -> XParse a

fail :: String -> XParse a

Functor XParse

Defined in Fadno.Xml.XParse

Methods

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

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

Applicative XParse

Defined in Fadno.Xml.XParse

Methods

pure :: a -> XParse a

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

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

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

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

Alternative XParse

Defined in Fadno.Xml.XParse

Methods

empty :: XParse a

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

some :: XParse a -> XParse [a]

many :: XParse a -> XParse [a]

MonadState Cursor XParse

Defined in Fadno.Xml.XParse

Methods

get :: XParse Cursor

put :: Cursor -> XParse ()

state :: (Cursor -> (a, Cursor)) -> XParse a

runXParse :: Element -> XParse a -> Either XErrors a

Run monad.

xfail :: String -> XParse a

Parse failure.

require :: String -> Maybe a -> XParse a

Require Just a thing.

xattr :: QName -> XParse String

Operate on attribute value/

xtext :: XParse String

Operate on text.

xchild :: QName -> XParse a -> XParse a

Consume a child element.

xread :: Read a => String -> String -> XParse a

Parse with read.

xel :: XParse Element

Operate on an element.

QNames

name :: String -> QName

Local name.

xsName :: String -> QName

XSD name.

Utility

readXml :: FilePath -> IO Element

Convenience to read in top element from file.