Generics.Regular.XmlPickler

Generic XmlPickler. This module allows you to generically convert your datatype to and from XML. If you don't want the (G)XmlPickler instances for Bool and String, use Function instead.

Documentation

gxpickle :: (Regular a, GXmlPickler (PF a)) => PU a

The generic pickler. Uses a tag for each constructor with the lower case constructor name, and a tag for each record field with the lower case field name. Most values are pickled using their own XmlPickler instance, and Strings are pickled as possibly empty text nodes.

class GXmlPickler f where

The generic XmlPickler class. This gives generic xml picklers for the functors from Regular. These are usually not used directly.

Methods

gxpicklef :: PU a -> PU (f a)

Instances

GXmlPickler I

GXmlPickler U

GXmlPickler (K String)

XmlPickler a => GXmlPickler (K a)

GXmlPickler (K Text)

(GXmlPickler f, GXmlPickler g) => GXmlPickler (:+: f g)

(GXmlPickler f, GXmlPickler g) => GXmlPickler (:*: f g)

(Constructor c, GXmlPickler f) => GXmlPickler (C c f)

(Selector s, GXmlPickler f) => GXmlPickler (S s f)

Selector s => GXmlPickler (S s (K (Maybe Text)))

Selector s => GXmlPickler (S s (K (Maybe String)))

(XmlPickler a, Selector s) => GXmlPickler (S s (K (Maybe a)))