| Safe Haskell | Safe-Inferred |
|---|
Text.XML.HaXml.Schema.PrimitiveTypes
- class SimpleType a where
- acceptingParser :: TextParser a
- simpleTypeText :: a -> String
- module Text.Parse
- newtype XsdString = XsdString String
- type Boolean = Bool
- data Base64Binary = Base64Binary String
- data HexBinary = HexBinary String
- data Float
- data Decimal = Decimal Double
- data Double
- data AnyURI = AnyURI String
- data QName
- data NOTATION = NOTATION String
- data Duration = Duration Bool Int Int Int Int Int Float
- data DateTime = DateTime String
- data Time = Time String
- data Date = Date String
- data GYearMonth = GYearMonth String
- data GYear = GYear String
- data GMonthDay = GMonthDay String
- data GDay = GDay String
- data GMonth = GMonth String
- newtype NormalizedString = Normalized String
- newtype Token = Token String
- newtype Language = Language String
- newtype Name = Name String
- newtype NCName = NCName String
- newtype ID = ID String
- newtype IDREF = IDREF String
- newtype IDREFS = IDREFS String
- newtype ENTITY = ENTITY String
- newtype ENTITIES = ENTITIES String
- newtype NMTOKEN = NMTOKEN String
- newtype NMTOKENS = NMTOKENS String
- data Integer
- newtype NonPositiveInteger = NonPos Integer
- newtype NegativeInteger = Negative Integer
- newtype Long = Long Int64
- data Int
- newtype Short = Short Int16
- newtype Byte = Byte Int8
- newtype NonNegativeInteger = NonNeg Integer
- newtype UnsignedLong = ULong Word64
- newtype UnsignedInt = UInt Word32
- newtype UnsignedShort = UShort Word16
- newtype UnsignedByte = UByte Word8
- newtype PositiveInteger = Positive Integer
Type class for parsing simpleTypes
class SimpleType a where
Ultimately, an XML parser will find some plain text as the content of a simpleType, which will need to be parsed. We use a TextParser, because values of simpleTypes can also be given elsewhere, e.g. as attribute values in an XSD definition, e.g. to restrict the permissible values of the simpleType. Such restrictions are therefore implemented as layered parsers.
Instances
module Text.Parse
Primitive XSD datatypes
type Boolean = Bool
data Float
data Decimal
Instances
| Eq Decimal | |
| Show Decimal | |
| SimpleType Decimal | |
| SchemaType Decimal |
data Double
data AnyURI
Constructors
| AnyURI String |
Instances
| Eq AnyURI | |
| Show AnyURI | |
| SimpleType AnyURI | |
| SchemaType AnyURI |
data QName
A QName is a (possibly) qualified name, in the sense of XML namespaces.
data NOTATION
Constructors
| NOTATION String |
Instances
| Eq NOTATION | |
| Show NOTATION | |
| SimpleType NOTATION | |
| SchemaType NOTATION |
data Duration
Instances
| Eq Duration | |
| Show Duration | |
| SimpleType Duration | |
| SchemaType Duration |
data DateTime
Constructors
| DateTime String |
Instances
| Eq DateTime | |
| Show DateTime | |
| SimpleType DateTime | |
| SchemaType DateTime |
data GMonth
Constructors
| GMonth String |
Instances
| Eq GMonth | |
| Show GMonth | |
| SimpleType GMonth | |
| SchemaType GMonth |
Derived, yet builtin, datatypes
newtype Token
Constructors
| Token String |
Instances
| Eq Token | |
| Show Token | |
| SimpleType Token | |
| SchemaType Token |
newtype Language
Constructors
| Language String |
Instances
| Eq Language | |
| Show Language | |
| SimpleType Language | |
| SchemaType Language |
newtype NCName
Constructors
| NCName String |
Instances
| Eq NCName | |
| Show NCName | |
| SimpleType NCName | |
| SchemaType NCName |
newtype IDREF
Constructors
| IDREF String |
Instances
| Eq IDREF | |
| Show IDREF | |
| SimpleType IDREF | |
| SchemaType IDREF |
newtype IDREFS
Constructors
| IDREFS String |
Instances
| Eq IDREFS | |
| Show IDREFS | |
| SimpleType IDREFS | |
| SchemaType IDREFS |
newtype ENTITY
Constructors
| ENTITY String |
Instances
| Eq ENTITY | |
| Show ENTITY | |
| SimpleType ENTITY | |
| SchemaType ENTITY |
newtype ENTITIES
Constructors
| ENTITIES String |
Instances
| Eq ENTITIES | |
| Show ENTITIES | |
| SimpleType ENTITIES | |
| SchemaType ENTITIES |
newtype NMTOKEN
Constructors
| NMTOKEN String |
Instances
| Eq NMTOKEN | |
| Show NMTOKEN | |
| SimpleType NMTOKEN | |
| SchemaType NMTOKEN |
newtype NMTOKENS
Constructors
| NMTOKENS String |
Instances
| Eq NMTOKENS | |
| Show NMTOKENS | |
| SimpleType NMTOKENS | |
| SchemaType NMTOKENS |
data Integer
newtype NonPositiveInteger
newtype NegativeInteger
Instances
data Int
newtype Short
Constructors
| Short Int16 |
Instances
| Eq Short | |
| Show Short | |
| SimpleType Short | |
| SchemaType Short |
newtype NonNegativeInteger
newtype PositiveInteger
Instances