Text.XML.MusicXML.Util

Result

data Result a

Constructors

Ok a

Error String

Instances

Monad Result

Functor Result

MonadPlus Result

Eq a => Eq (Result a)

Show a => Show (Result a)

isOK :: Result a -> Bool

isError :: Result a -> Bool

fromOK :: Result a -> a

fromError :: Result a -> String

State

newtype State s a

Constructors

State

Fields

state :: s -> (s, a)

Instances

Monad (State s)

Functor (State s)

liftState :: (s -> a) -> State s a

StateT

newtype StateT m s a

Constructors

StateT

Fields

stateT :: s -> m (s, a)

Instances

Monad m => Monad (StateT m s)

Monad m => Functor (StateT m s)

MonadPlus m => MonadPlus (StateT m s)

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

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

Basic

type CDATA = String

read_CDATA :: String -> Result CDATA

show_CDATA :: CDATA -> String

type ID = String

read_ID :: String -> Result ID

show_ID :: ID -> String

Attributes

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 ()]

Elements

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

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)