xml-tydom-core-0.1.0.0: Typed XML encoding (core library).

Copyright(c) Jonathan Merritt 2017
LicenseBSD3
Maintainerj.s.merritt@gmail.com
StabilityExperimental
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

Text.XML.TyDom.Core.Generics.Types

Description

 

Synopsis

Documentation

data OptionsElement n a Source #

Options for generating ToElem and FromElem instances using GHC Generics.

Type parameters:

  • n - Type for an element name.
  • a - Type for an attribute name.

Constructors

OptionsElement 

Fields

data ReadNodeOrdering Source #

Specifies how child nodes should be treated when reading a type from an element.

Constructors

Sequence

Child nodes should be read in strict sequence (ie. <xsd:sequence>).

All

Child nodes can appear in any order (ie. <xsd:all>).

data ReadLeftovers Source #

Specifies how any left-over parts of an element should be treated when reading a type from an element.

Constructors

LeftoversOK

Left-over parts of an element are OK, and not an error.

LeftoversError

Left-over parts of an element should produce an error.

symt :: KnownSymbol s => Proxy s -> Text Source #

A KnownSymbol as a Text value.