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

ST

newtype ST s a

Constructors

ST

Fields

state :: s -> (s, a)

Instances

Monad (ST s)

Functor (ST s)

liftST :: (s -> a) -> ST s a

STM

newtype STM m s a

Constructors

STM

Fields

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

Instances

Monad m => Monad (STM m s)

Monad m => Functor (STM m s)

MonadPlus m => MonadPlus (STM m s)

liftSTM :: Monad m => ST s (m a) -> STM m s a

returnSTM :: Monad m => m a -> STM 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) -> STM m [Attribute] (Maybe a)

show_IMPLIED :: String -> (a -> String) -> Maybe a -> [Attribute]

read_REQUIRED :: Monad m => String -> (String -> Result a) -> STM m [Attribute] a

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

read_DEFAULT :: Monad m => String -> (String -> Result a) -> a -> STM 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 -> STM m [Attribute] a

read_ELEMENT' :: String -> [Content i] -> ([Content i], Result (Element i))

read_ELEMENT :: String -> STM 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 :: STM Result [Content i] PCDATA

show_PCDATA :: PCDATA -> [Content ()]

Elements

read_MAYBE :: STM Result [Content i] a -> STM Result [Content i] (Maybe a)

show_MAYBE :: (a -> [Content ()]) -> Maybe a -> [Content ()]

read_LIST :: Eq i => STM Result [Content i] a -> STM Result [Content i] [a]

show_LIST :: (a -> [Content ()]) -> [a] -> [Content ()]

read_LIST1 :: Eq i => STM Result [Content i] a -> STM Result [Content i] [a]

show_LIST1 :: (a -> [Content ()]) -> [a] -> [Content ()]

Read

read_1 :: Monad m => STM m s a -> s -> STM m s' a

read_2 :: Monad m => STM m s a -> STM m s b -> s -> STM m s' (a, b)

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

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

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

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

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

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

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

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

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

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

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

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