Generics.Regular.XmlPickler.Function

Generic XmlPickler. Use this module if you don't want the instances from Generics.Regular.XmlPickler.Instances.

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

formatElement :: String -> String

xpEither :: PU a -> PU b -> PU (Either a b)

Combine two picklers into a pickler for Either. While pickling, check if the either is a Left or Right and use the appropriate pickler. During unpickling, first try the first, and if it fails, try the second.