HAppS-Data-0.9.2: HAppS data manipulation libraries Contents Index

HAppS.Data.Xml

Documentation

dataType[a5VP] :: DataType

constr[a5VS] :: Constr

constr[a5VR] :: Constr

constr[a5VQ] :: Constr

data Element

Constructors Elem String [Element] CData String Attr String String Instances Eq Element Data Element Ord Element Read Element Show Element Typeable Element Default Element Xml Element ToString Element FromString Element (Data ctx String, Data ctx ([] Element), Sat (ctx Element), Sat (ctx String), Sat (ctx ([] Element))) => Data ctx Element

fromXml :: forall m a. (Monad m, Xml a) => Rigidity m -> [Element] -> m a

data Other b

Constructors forall a . (Migrate a b, Xml a) => Other a NoOther

toPublicXml :: Xml a => a -> [Element]

data Rigidity m where

Constructors Rigid :: Rigidity Maybe Flexible :: Rigidity Identity Instances Show (Rigidity m)

class (Data XmlD a, Default a, Normalize a) => Xml a where

Methods toXml :: a -> [Element] readXml :: Monad m => Rigidity m -> [Element] -> Maybe ([Element], a) readXml' :: Monad m => Rigidity m -> [Element] -> Maybe ([Element], a) normalizeXml :: a -> [Element] -> [Element] version :: a -> Maybe String otherVersion :: a -> Other a typ :: a -> String Instances Xml Bool Xml Char Xml Double Xml Float Xml Int Xml Integer Xml ByteString Xml Element Xml a => Xml (Maybe a) (Xml a[a80U], Xml a[a80V]) => Xml (Either a[a80U] a[a80V]) (Xml a, Xml b) => Xml (Couple a b)

data XmlD a

Constructors XmlD toXmlD :: a -> [Element] readMXmlD :: forall m. Monad m => Rigidity m -> ReadM m a readMXmlNoRootDefaultD :: forall m. Monad m => Rigidity m -> ReadM Maybe a Instances Xml t => Sat (XmlD t)

xmlProxy :: Proxy XmlD

first :: (a -> a) -> [a] -> [a]

defaultToXml :: Xml t => t -> [Element]

transparentToXml :: Xml t => t -> [Element]

transparentReadXml :: forall m t. (Monad m, Xml t) => Rigidity m -> [Element] -> Maybe ([Element], t)

transparentXml :: Name -> Q [Dec]

defaultReadXml :: (Monad m, Xml t) => Rigidity m -> [Element] -> Maybe ([Element], t)

defaultReadXml' :: (Monad m, Xml t) => Rigidity m -> [Element] -> Maybe ([Element], t)

readXmlWith :: Xml t => (Rigidity m -> Element -> Maybe t) -> Rigidity m -> [Element] -> Maybe ([Element], t)

readVersionedElement :: forall m t. (Monad m, Xml t) => Rigidity m -> Element -> Maybe t

isTheAttr :: String -> Element -> Bool

getAttr :: String -> [Element] -> Maybe (String, [Element])

versionAttr :: String

typeAttr :: String

readElement :: forall m t. (Monad m, Xml t) => Rigidity m -> Element -> Maybe t

aConstrFromElements :: forall m t. (Monad m, Xml t) => Rigidity m -> [Constr] -> [Element] -> Maybe ([Element], t)

constrFromElementsNoRootDefault :: forall m t. (Monad m, Xml t) => Rigidity m -> Constr -> [Element] -> Maybe ([Element], t)

constrFromElements :: forall m t. (Monad m, Xml t) => Rigidity m -> Constr -> [Element] -> m ([Element], t)

type ReadM m = StateT ReadState m

data ReadState

Constructors ReadState xmls :: [Element]

getXmls :: Monad m => ReadM m [Element]

putXmls :: Monad m => [Element] -> ReadM m ()

readMXml :: (Monad m, Xml a) => Rigidity m -> ReadM m a

readMXmlNoRootDefault :: (Monad m, Xml a) => Rigidity m -> ReadM Maybe a

xmlAttr :: Name -> Q [Dec]

xmlShowCDatas :: [Name] -> Q [Dec]

xmlShowCData :: Name -> Q [Dec]

xmlCDataLists :: [Name] -> Q [Dec]

xmlCDataList :: Name -> Q [Dec]

noCommas :: String -> String

typeNotValue :: Xml a => a -> a

dataType[a8J2] :: DataType

constr[a8J3] :: Constr

dataType[a8IS] :: DataType

constr[a8IT] :: Constr

data K

Constructors K String Instances Data K Read K Show K Typeable K Default K (Data ctx String, Sat (ctx K), Sat (ctx String)) => Data ctx K

data W

Constructors W [K] Instances Data W Read W Show W Typeable W Default W (Data ctx ([] K), Sat (ctx W), Sat (ctx ([] K))) => Data ctx W

class ToString a where

Methods toString :: a -> String Instances ToString Element

class FromString a where

Methods fromString :: Monad m => Rigidity m -> String -> m a Instances FromString Element

Produced by Haddock version 2.1.0