Portability | HaXML |
---|---|

Stability | experimental |

Maintainer | silva.samuel@alumni.uminho.pt |

- data Result a
- isOK :: Result a -> Bool
- isError :: Result a -> Bool
- fromOK :: Result a -> a
- fromError :: Result a -> String
- newtype State s a = State {
- state :: s -> (s, a)

- liftState :: (s -> a) -> State s a
- newtype StateT m s a = StateT {
- stateT :: s -> m (s, a)

- liftStateT :: Monad m => State s (m a) -> StateT m s a
- returnStateT :: Monad m => m a -> StateT m s a
- type CDATA = String
- read_CDATA :: String -> Result CDATA
- show_CDATA :: CDATA -> String
- type ID = String
- read_ID :: String -> Result ID
- show_ID :: ID -> String
- read_IMPLIED' :: String -> (String -> Result a) -> [Attribute] -> Maybe a
- read_IMPLIED :: Monad m => String -> (String -> Result a) -> StateT m [Attribute] (Maybe a)
- show_IMPLIED :: String -> (a -> String) -> Maybe a -> [Attribute]
- read_REQUIRED :: Monad m => String -> (String -> Result a) -> StateT m [Attribute] a
- show_REQUIRED :: String -> (a -> String) -> a -> [Attribute]
- read_DEFAULT :: Monad m => String -> (String -> Result a) -> a -> StateT m [Attribute] a
- show_DEFAULT :: String -> (a -> String) -> a -> [Attribute]
- show_FIXED :: String -> (a -> String) -> a -> [Attribute]
- read_FIXED :: Monad m => String -> (String -> Result a) -> a -> StateT m [Attribute] a
- read_ELEMENT' :: String -> [Content i] -> ([Content i], Result (Element i))
- read_ELEMENT :: String -> StateT Result [Content i] (Element i)
- show_ELEMENT :: String -> [Attribute] -> [Content ()] -> [Content ()]
- attributes :: Element i -> [Attribute]
- childs :: Element i -> [Content i]
- type PCDATA = String
- read_PCDATA' :: [Content i] -> ([Content i], Result PCDATA)
- read_REF :: Reference -> PCDATA
- read_PCDATA :: StateT Result [Content i] PCDATA
- show_PCDATA :: PCDATA -> [Content ()]
- read_MAYBE :: StateT Result [Content i] a -> StateT Result [Content i] (Maybe a)
- show_MAYBE :: (a -> [Content ()]) -> Maybe a -> [Content ()]
- read_LIST :: Eq i => StateT Result [Content i] a -> StateT Result [Content i] [a]
- show_LIST :: (a -> [Content ()]) -> [a] -> [Content ()]
- read_LIST1 :: Eq i => StateT Result [Content i] a -> StateT Result [Content i] [a]
- show_LIST1 :: (a -> [Content ()]) -> [a] -> [Content ()]
- read_1 :: Monad m => StateT m s a -> s -> StateT m s' a
- read_2 :: Monad m => StateT m s a -> StateT m s b -> s -> StateT m s' (a, b)
- read_3 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> s -> StateT m s' (a, b, c)
- read_4 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> s -> StateT m s' (a, b, c, d)
- read_5 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> s -> StateT m s' (a, b, c, d, e)
- read_6 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> s -> StateT m s' (a, b, c, d, e, f)
- read_7 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> s -> StateT m s' (a, b, c, d, e, f, g)
- read_8 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> s -> StateT m s' (a, b, c, d, e, f, g, h)
- read_9 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> s -> StateT m s' (a, b, c, d, e, f, g, h, i)
- read_10 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j)
- read_11 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k)
- read_12 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l)
- read_13 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> StateT m s n -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l, n)
- read_17 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> StateT m s n -> StateT m s o -> StateT m s p -> StateT m s q -> StateT m s r -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l, n, o, p, q, r)

# Result

# State

# StateT

liftStateT :: Monad m => State s (m a) -> StateT m s aSource

returnStateT :: Monad m => m a -> StateT m s aSource

# Basic

read_CDATA :: String -> Result CDATASource

show_CDATA :: CDATA -> StringSource

# Attributes

show_REQUIRED :: String -> (a -> String) -> a -> [Attribute]Source

show_DEFAULT :: String -> (a -> String) -> a -> [Attribute]Source

show_FIXED :: String -> (a -> String) -> a -> [Attribute]Source

attributes :: Element i -> [Attribute]Source

show_PCDATA :: PCDATA -> [Content ()]Source

# Elements

# Read

read_3 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> s -> StateT m s' (a, b, c)Source

read_4 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> s -> StateT m s' (a, b, c, d)Source

read_5 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> s -> StateT m s' (a, b, c, d, e)Source

read_6 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> s -> StateT m s' (a, b, c, d, e, f)Source

read_7 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> s -> StateT m s' (a, b, c, d, e, f, g)Source

read_8 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> s -> StateT m s' (a, b, c, d, e, f, g, h)Source

read_9 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> s -> StateT m s' (a, b, c, d, e, f, g, h, i)Source

read_10 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j)Source

read_11 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k)Source

read_12 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l)Source

read_13 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> StateT m s n -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l, n)Source

read_17 :: Monad m => StateT m s a -> StateT m s b -> StateT m s c -> StateT m s d -> StateT m s e -> StateT m s f -> StateT m s g -> StateT m s h -> StateT m s i -> StateT m s j -> StateT m s k -> StateT m s l -> StateT m s n -> StateT m s o -> StateT m s p -> StateT m s q -> StateT m s r -> s -> StateT m s' (a, b, c, d, e, f, g, h, i, j, k, l, n, o, p, q, r)Source