HAppS-Data-0.9.3: HAppS data manipulation libraries Source code Contents Index

HAppS.Data.Xml

Documentation

data Element Source

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 FromString Element ToString Element (Data ctx String, Data ctx ([] Element), Sat (ctx Element), Sat (ctx String), Sat (ctx ([] Element))) => Data ctx Element

dataType[a63M] :: DataType Source

constr[a63P] :: Constr Source

constr[a63O] :: Constr Source

constr[a63N] :: Constr Source

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

data Other b Source

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

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

data Rigidity m where Source

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

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

Methods toXml :: a -> [Element] Source readXml :: Monad m => Rigidity m -> [Element] -> Maybe ([Element], a) Source readXml' :: Monad m => Rigidity m -> [Element] -> Maybe ([Element], a) Source normalizeXml :: a -> [Element] -> [Element] Source version :: a -> Maybe String Source otherVersion :: a -> Other a Source typ :: a -> String Source Instances Xml Bool Xml Char Xml Double Xml Float Xml Int Xml Integer Xml String Xml () Xml ByteString Xml Element Xml ([] Double) Xml ([] Float) Xml ([] Int) Xml ([] Integer) Xml ([] String) (Xml a, Xml ([] a)) => Xml ([] a) Xml a => Xml (Maybe a) (Xml a[abA3], Xml a[abA4]) => Xml (Either a[abA3] a[abA4]) (Xml a[abEy], Xml a[abEz]) => Xml ((,) a[abEy] a[abEz]) (Xml a, Xml b) => Xml (Couple a b) (Xml a[abHO], Xml a[abHP], Xml a[abHQ]) => Xml ((,,) a[abHO] a[abHP] a[abHQ]) (Xml a[abLY], Xml a[abLZ], Xml a[abM0], Xml a[abM1]) => Xml ((,,,) a[abLY] a[abLZ] a[abM0] a[abM1])

data XmlD a Source

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 Source

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

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

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

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

transparentXml :: Name -> Q [Dec] Source

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

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

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

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

isTheAttr :: String -> Element -> Bool Source

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

versionAttr :: String Source

typeAttr :: String Source

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

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

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

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

type ReadM m = StateT ReadState m Source

data ReadState Source

Constructors ReadState xmls :: [Element]

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

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

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

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

xmlAttr :: Name -> Q [Dec] Source

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

xmlShowCData :: Name -> Q [Dec] Source

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

xmlCDataList :: Name -> Q [Dec] Source

noCommas :: String -> String Source

typeNotValue :: Xml a => a -> a Source

data K Source

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 Source

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

dataType[adTk] :: DataType Source

constr[adTl] :: Constr Source

dataType[adTa] :: DataType Source

constr[adTb] :: Constr Source

class ToString a where Source

Methods toString :: a -> String Source Instances ToString Element ToString ([] Element)

class FromString a where Source

Methods fromString :: Monad m => Rigidity m -> String -> m a Source Instances FromString Element FromString ([] Element)

Produced by Haddock version 2.4.2