Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
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
newtype XsdString
Instances
data Base64Binary
Constructors
Base64Binary String |
data HexBinary
Instances
data Float :: *
Single-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE single-precision type.
data Decimal
Instances
data Double :: *
Double-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE double-precision type.
data AnyURI
Instances
data QName
A QName is a (possibly) qualified name, in the sense of XML namespaces.
data NOTATION
Instances
data Duration
Instances
data DateTime
Instances
data GYearMonth
Constructors
GYearMonth String |
data GMonthDay
Instances
data GMonth
Instances
Derived, yet builtin, datatypes
newtype NormalizedString
Constructors
Normalized String |
newtype Token
Instances
newtype Language
Instances
newtype NCName
Instances
newtype IDREF
Instances
newtype IDREFS
Instances
newtype ENTITY
Instances
newtype ENTITIES
Instances
newtype NMTOKEN
Instances
newtype NMTOKENS
Instances
data Integer :: *
Arbitrary-precision integers.
newtype NonPositiveInteger
newtype NegativeInteger
data Int :: *
newtype NonNegativeInteger
newtype UnsignedLong
newtype UnsignedInt
newtype UnsignedShort
newtype UnsignedByte
newtype PositiveInteger