Text.XML.HaXml.Schema.PrimitiveTypes

HaXml-1.25.4: Utilities for manipulating XML documents

Safe Haskell | Safe
Language | Haskell98

Text.XML.HaXml.Schema.PrimitiveTypes

Contents

- Type class for parsing simpleTypes
- Primitive XSD datatypes
- Derived, yet builtin, datatypes

Synopsis

- class SimpleType a where
- 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
  - = N Name
  - | QN Namespace Name
- 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.

Minimal complete definition

acceptingParser, simpleTypeText

Methods

acceptingParser :: TextParser a #

simpleTypeText :: a -> String #

Instances

SimpleType Bool # |
Methods acceptingParser :: TextParser Bool # simpleTypeText :: Bool -> String #
SimpleType Double # |
Methods acceptingParser :: TextParser Double # simpleTypeText :: Double -> String #
SimpleType Float # |
Methods acceptingParser :: TextParser Float # simpleTypeText :: Float -> String #
SimpleType Int # |
Methods acceptingParser :: TextParser Int # simpleTypeText :: Int -> String #
SimpleType Integer # |
Methods acceptingParser :: TextParser Integer # simpleTypeText :: Integer -> String #
SimpleType PositiveInteger # |
Methods acceptingParser :: TextParser PositiveInteger # simpleTypeText :: PositiveInteger -> String #
SimpleType UnsignedByte # |
Methods acceptingParser :: TextParser UnsignedByte # simpleTypeText :: UnsignedByte -> String #
SimpleType UnsignedShort # |
Methods acceptingParser :: TextParser UnsignedShort # simpleTypeText :: UnsignedShort -> String #
SimpleType UnsignedInt # |
Methods acceptingParser :: TextParser UnsignedInt # simpleTypeText :: UnsignedInt -> String #
SimpleType UnsignedLong # |
Methods acceptingParser :: TextParser UnsignedLong # simpleTypeText :: UnsignedLong -> String #
SimpleType NonNegativeInteger # |
Methods acceptingParser :: TextParser NonNegativeInteger # simpleTypeText :: NonNegativeInteger -> String #
SimpleType Byte # |
Methods acceptingParser :: TextParser Byte # simpleTypeText :: Byte -> String #
SimpleType Short # |
Methods acceptingParser :: TextParser Short # simpleTypeText :: Short -> String #
SimpleType Long # |
Methods acceptingParser :: TextParser Long # simpleTypeText :: Long -> String #
SimpleType NegativeInteger # |
Methods acceptingParser :: TextParser NegativeInteger # simpleTypeText :: NegativeInteger -> String #
SimpleType NonPositiveInteger # |
Methods acceptingParser :: TextParser NonPositiveInteger # simpleTypeText :: NonPositiveInteger -> String #
SimpleType NMTOKENS # |
Methods acceptingParser :: TextParser NMTOKENS # simpleTypeText :: NMTOKENS -> String #
SimpleType NMTOKEN # |
Methods acceptingParser :: TextParser NMTOKEN # simpleTypeText :: NMTOKEN -> String #
SimpleType ENTITIES # |
Methods acceptingParser :: TextParser ENTITIES # simpleTypeText :: ENTITIES -> String #
SimpleType ENTITY # |
Methods acceptingParser :: TextParser ENTITY # simpleTypeText :: ENTITY -> String #
SimpleType IDREFS # |
Methods acceptingParser :: TextParser IDREFS # simpleTypeText :: IDREFS -> String #
SimpleType IDREF # |
Methods acceptingParser :: TextParser IDREF # simpleTypeText :: IDREF -> String #
SimpleType ID # |
Methods acceptingParser :: TextParser ID # simpleTypeText :: ID -> String #
SimpleType NCName # |
Methods acceptingParser :: TextParser NCName # simpleTypeText :: NCName -> String #
SimpleType Name # |
Methods acceptingParser :: TextParser Name # simpleTypeText :: Name -> String #
SimpleType Language # |
Methods acceptingParser :: TextParser Language # simpleTypeText :: Language -> String #
SimpleType Token # |
Methods acceptingParser :: TextParser Token # simpleTypeText :: Token -> String #
SimpleType NormalizedString # |
Methods acceptingParser :: TextParser NormalizedString # simpleTypeText :: NormalizedString -> String #
SimpleType GMonth # |
Methods acceptingParser :: TextParser GMonth # simpleTypeText :: GMonth -> String #
SimpleType GDay # |
Methods acceptingParser :: TextParser GDay # simpleTypeText :: GDay -> String #
SimpleType GMonthDay # |
Methods acceptingParser :: TextParser GMonthDay # simpleTypeText :: GMonthDay -> String #
SimpleType GYear # |
Methods acceptingParser :: TextParser GYear # simpleTypeText :: GYear -> String #
SimpleType GYearMonth # |
Methods acceptingParser :: TextParser GYearMonth # simpleTypeText :: GYearMonth -> String #
SimpleType Date # |
Methods acceptingParser :: TextParser Date # simpleTypeText :: Date -> String #
SimpleType Time # |
Methods acceptingParser :: TextParser Time # simpleTypeText :: Time -> String #
SimpleType DateTime # |
Methods acceptingParser :: TextParser DateTime # simpleTypeText :: DateTime -> String #
SimpleType Duration # |
Methods acceptingParser :: TextParser Duration # simpleTypeText :: Duration -> String #
SimpleType Decimal # |
Methods acceptingParser :: TextParser Decimal # simpleTypeText :: Decimal -> String #
SimpleType NOTATION # |
Methods acceptingParser :: TextParser NOTATION # simpleTypeText :: NOTATION -> String #
SimpleType AnyURI # |
Methods acceptingParser :: TextParser AnyURI # simpleTypeText :: AnyURI -> String #
SimpleType HexBinary # |
Methods acceptingParser :: TextParser HexBinary # simpleTypeText :: HexBinary -> String #
SimpleType Base64Binary # |
Methods acceptingParser :: TextParser Base64Binary # simpleTypeText :: Base64Binary -> String #
SimpleType XsdString # |
Methods acceptingParser :: TextParser XsdString # simpleTypeText :: XsdString -> String #

module Text.Parse

# Primitive XSD datatypes

newtype XsdString #

Constructors

XsdString String |

Instances

Eq XsdString # |
Methods (==) :: XsdString -> XsdString -> Bool # (/=) :: XsdString -> XsdString -> Bool #
Show XsdString # |
Methods showsPrec :: Int -> XsdString -> ShowS # show :: XsdString -> String # showList :: [XsdString] -> ShowS #
SimpleType XsdString # |
Methods acceptingParser :: TextParser XsdString # simpleTypeText :: XsdString -> String #
SchemaType XsdString # |
Methods parseSchemaType :: String -> XMLParser XsdString # schemaTypeToXML :: String -> XsdString -> [Content ()] #

type Boolean = Bool #

data Base64Binary #

Constructors

Base64Binary String |

Instances

Eq Base64Binary # |
Methods (==) :: Base64Binary -> Base64Binary -> Bool # (/=) :: Base64Binary -> Base64Binary -> Bool #
Show Base64Binary # |
Methods showsPrec :: Int -> Base64Binary -> ShowS # show :: Base64Binary -> String # showList :: [Base64Binary] -> ShowS #
SimpleType Base64Binary # |
Methods acceptingParser :: TextParser Base64Binary # simpleTypeText :: Base64Binary -> String #
SchemaType Base64Binary # |
Methods parseSchemaType :: String -> XMLParser Base64Binary # schemaTypeToXML :: String -> Base64Binary -> [Content ()] #

data HexBinary #

Constructors

HexBinary String |

Instances

Eq HexBinary # |
Methods (==) :: HexBinary -> HexBinary -> Bool # (/=) :: HexBinary -> HexBinary -> Bool #
Show HexBinary # |
Methods showsPrec :: Int -> HexBinary -> ShowS # show :: HexBinary -> String # showList :: [HexBinary] -> ShowS #
SimpleType HexBinary # |
Methods acceptingParser :: TextParser HexBinary # simpleTypeText :: HexBinary -> String #
SchemaType HexBinary # |
Methods parseSchemaType :: String -> XMLParser HexBinary # schemaTypeToXML :: String -> HexBinary -> [Content ()] #

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.

Instances

Eq Float |
Methods (==) :: Float -> Float -> Bool # (/=) :: Float -> Float -> Bool #
Floating Float | Since: 2.1
Methods pi :: Float # exp :: Float -> Float # log :: Float -> Float # sqrt :: Float -> Float # (**) :: Float -> Float -> Float # logBase :: Float -> Float -> Float # sin :: Float -> Float # cos :: Float -> Float # tan :: Float -> Float # asin :: Float -> Float # acos :: Float -> Float # atan :: Float -> Float # sinh :: Float -> Float # cosh :: Float -> Float # tanh :: Float -> Float # asinh :: Float -> Float # acosh :: Float -> Float # atanh :: Float -> Float # log1p :: Float -> Float # expm1 :: Float -> Float # log1pexp :: Float -> Float # log1mexp :: Float -> Float #
Ord Float |
Methods compare :: Float -> Float -> Ordering # (<) :: Float -> Float -> Bool # (<=) :: Float -> Float -> Bool # (>) :: Float -> Float -> Bool # (>=) :: Float -> Float -> Bool # max :: Float -> Float -> Float # min :: Float -> Float -> Float #
Read Float | Since: 2.1
Methods readsPrec :: Int -> ReadS Float # readList :: ReadS [Float] # readPrec :: ReadPrec Float # readListPrec :: ReadPrec [Float] #
RealFloat Float | Since: 2.1
Methods floatRadix :: Float -> Integer # floatDigits :: Float -> Int # floatRange :: Float -> (Int, Int) # decodeFloat :: Float -> (Integer, Int) # encodeFloat :: Integer -> Int -> Float # exponent :: Float -> Int # significand :: Float -> Float # scaleFloat :: Int -> Float -> Float # isNaN :: Float -> Bool # isInfinite :: Float -> Bool # isDenormalized :: Float -> Bool # isNegativeZero :: Float -> Bool # isIEEE :: Float -> Bool # atan2 :: Float -> Float -> Float #
Parse Float |
Methods parse :: TextParser Float # parsePrec :: Int -> TextParser Float # parseList :: TextParser [Float] #
SimpleType Float # |
Methods acceptingParser :: TextParser Float # simpleTypeText :: Float -> String #
HTypeable Float # |
Methods toHType :: Float -> HType #
SchemaType Float # |
Methods parseSchemaType :: String -> XMLParser Float # schemaTypeToXML :: String -> Float -> [Content ()] #
Generic1 k (URec k Float) |
Associated Types type Rep1 (URec k Float) (f :: URec k Float -> *) :: k -> * # Methods from1 :: f a -> Rep1 (URec k Float) f a # to1 :: Rep1 (URec k Float) f a -> f a #
Functor (URec * Float) |
Methods fmap :: (a -> b) -> URec * Float a -> URec * Float b # (<$) :: a -> URec * Float b -> URec * Float a #
Foldable (URec * Float) |
Methods fold :: Monoid m => URec * Float m -> m # foldMap :: Monoid m => (a -> m) -> URec * Float a -> m # foldr :: (a -> b -> b) -> b -> URec * Float a -> b # foldr' :: (a -> b -> b) -> b -> URec * Float a -> b # foldl :: (b -> a -> b) -> b -> URec * Float a -> b # foldl' :: (b -> a -> b) -> b -> URec * Float a -> b # foldr1 :: (a -> a -> a) -> URec * Float a -> a # foldl1 :: (a -> a -> a) -> URec * Float a -> a # toList :: URec * Float a -> [a] # null :: URec * Float a -> Bool # length :: URec * Float a -> Int # elem :: Eq a => a -> URec * Float a -> Bool # maximum :: Ord a => URec * Float a -> a # minimum :: Ord a => URec * Float a -> a # sum :: Num a => URec * Float a -> a # product :: Num a => URec * Float a -> a #
Eq (URec k Float p) |
Methods (==) :: URec k Float p -> URec k Float p -> Bool # (/=) :: URec k Float p -> URec k Float p -> Bool #
Ord (URec k Float p) |
Methods compare :: URec k Float p -> URec k Float p -> Ordering # (<) :: URec k Float p -> URec k Float p -> Bool # (<=) :: URec k Float p -> URec k Float p -> Bool # (>) :: URec k Float p -> URec k Float p -> Bool # (>=) :: URec k Float p -> URec k Float p -> Bool # max :: URec k Float p -> URec k Float p -> URec k Float p # min :: URec k Float p -> URec k Float p -> URec k Float p #
Show (URec k Float p) |
Methods showsPrec :: Int -> URec k Float p -> ShowS # show :: URec k Float p -> String # showList :: [URec k Float p] -> ShowS #
Generic (URec k Float p) |
Associated Types type Rep (URec k Float p) :: * -> * # Methods from :: URec k Float p -> Rep (URec k Float p) x # to :: Rep (URec k Float p) x -> URec k Float p #
data URec k Float | Used for marking occurrences of `Float#` Since: 4.9.0.0
data URec k Float = UFloat { uFloat# :: Float# }
type Rep1 k (URec k Float) |
type Rep1 k (URec k Float) = D1 k (MetaData "URec" "GHC.Generics" "base" False) (C1 k (MetaCons "UFloat" PrefixI True) (S1 k (MetaSel (Just Symbol "uFloat#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UFloat k)))
type Rep (URec k Float p) |
type Rep (URec k Float p) = D1 * (MetaData "URec" "GHC.Generics" "base" False) (C1 * (MetaCons "UFloat" PrefixI True) (S1 * (MetaSel (Just Symbol "uFloat#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UFloat *)))

data Decimal #

Constructors

Decimal Double |

Instances

Eq Decimal # |
Methods (==) :: Decimal -> Decimal -> Bool # (/=) :: Decimal -> Decimal -> Bool #
Show Decimal # |
Methods showsPrec :: Int -> Decimal -> ShowS # show :: Decimal -> String # showList :: [Decimal] -> ShowS #
SimpleType Decimal # |
Methods acceptingParser :: TextParser Decimal # simpleTypeText :: Decimal -> String #
SchemaType Decimal # |
Methods parseSchemaType :: String -> XMLParser Decimal # schemaTypeToXML :: String -> Decimal -> [Content ()] #

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.

Instances

Eq Double |
Methods (==) :: Double -> Double -> Bool # (/=) :: Double -> Double -> Bool #
Floating Double | Since: 2.1
Methods pi :: Double # exp :: Double -> Double # log :: Double -> Double # sqrt :: Double -> Double # (**) :: Double -> Double -> Double # logBase :: Double -> Double -> Double # sin :: Double -> Double # cos :: Double -> Double # tan :: Double -> Double # asin :: Double -> Double # acos :: Double -> Double # atan :: Double -> Double # sinh :: Double -> Double # cosh :: Double -> Double # tanh :: Double -> Double # asinh :: Double -> Double # acosh :: Double -> Double # atanh :: Double -> Double # log1p :: Double -> Double # expm1 :: Double -> Double # log1pexp :: Double -> Double # log1mexp :: Double -> Double #
Ord Double |
Methods compare :: Double -> Double -> Ordering # (<) :: Double -> Double -> Bool # (<=) :: Double -> Double -> Bool # (>) :: Double -> Double -> Bool # (>=) :: Double -> Double -> Bool # max :: Double -> Double -> Double # min :: Double -> Double -> Double #
Read Double | Since: 2.1
Methods readsPrec :: Int -> ReadS Double # readList :: ReadS [Double] # readPrec :: ReadPrec Double # readListPrec :: ReadPrec [Double] #
RealFloat Double | Since: 2.1
Methods floatRadix :: Double -> Integer # floatDigits :: Double -> Int # floatRange :: Double -> (Int, Int) # decodeFloat :: Double -> (Integer, Int) # encodeFloat :: Integer -> Int -> Double # exponent :: Double -> Int # significand :: Double -> Double # scaleFloat :: Int -> Double -> Double # isNaN :: Double -> Bool # isInfinite :: Double -> Bool # isDenormalized :: Double -> Bool # isNegativeZero :: Double -> Bool # isIEEE :: Double -> Bool # atan2 :: Double -> Double -> Double #
Parse Double |
Methods parse :: TextParser Double # parsePrec :: Int -> TextParser Double # parseList :: TextParser [Double] #
SimpleType Double # |
Methods acceptingParser :: TextParser Double # simpleTypeText :: Double -> String #
HTypeable Double # |
Methods toHType :: Double -> HType #
SchemaType Double # |
Methods parseSchemaType :: String -> XMLParser Double # schemaTypeToXML :: String -> Double -> [Content ()] #
Generic1 k (URec k Double) |
Associated Types type Rep1 (URec k Double) (f :: URec k Double -> *) :: k -> * # Methods from1 :: f a -> Rep1 (URec k Double) f a # to1 :: Rep1 (URec k Double) f a -> f a #
Functor (URec * Double) |
Methods fmap :: (a -> b) -> URec * Double a -> URec * Double b # (<$) :: a -> URec * Double b -> URec * Double a #
Foldable (URec * Double) |
Methods fold :: Monoid m => URec * Double m -> m # foldMap :: Monoid m => (a -> m) -> URec * Double a -> m # foldr :: (a -> b -> b) -> b -> URec * Double a -> b # foldr' :: (a -> b -> b) -> b -> URec * Double a -> b # foldl :: (b -> a -> b) -> b -> URec * Double a -> b # foldl' :: (b -> a -> b) -> b -> URec * Double a -> b # foldr1 :: (a -> a -> a) -> URec * Double a -> a # foldl1 :: (a -> a -> a) -> URec * Double a -> a # toList :: URec * Double a -> [a] # null :: URec * Double a -> Bool # length :: URec * Double a -> Int # elem :: Eq a => a -> URec * Double a -> Bool # maximum :: Ord a => URec * Double a -> a # minimum :: Ord a => URec * Double a -> a # sum :: Num a => URec * Double a -> a # product :: Num a => URec * Double a -> a #
Eq (URec k Double p) |
Methods (==) :: URec k Double p -> URec k Double p -> Bool # (/=) :: URec k Double p -> URec k Double p -> Bool #
Ord (URec k Double p) |
Methods compare :: URec k Double p -> URec k Double p -> Ordering # (<) :: URec k Double p -> URec k Double p -> Bool # (<=) :: URec k Double p -> URec k Double p -> Bool # (>) :: URec k Double p -> URec k Double p -> Bool # (>=) :: URec k Double p -> URec k Double p -> Bool # max :: URec k Double p -> URec k Double p -> URec k Double p # min :: URec k Double p -> URec k Double p -> URec k Double p #
Show (URec k Double p) |
Methods showsPrec :: Int -> URec k Double p -> ShowS # show :: URec k Double p -> String # showList :: [URec k Double p] -> ShowS #
Generic (URec k Double p) |
Associated Types type Rep (URec k Double p) :: * -> * # Methods from :: URec k Double p -> Rep (URec k Double p) x # to :: Rep (URec k Double p) x -> URec k Double p #
data URec k Double | Used for marking occurrences of `Double#` Since: 4.9.0.0
data URec k Double = UDouble { uDouble# :: Double# }
type Rep1 k (URec k Double) |
type Rep1 k (URec k Double) = D1 k (MetaData "URec" "GHC.Generics" "base" False) (C1 k (MetaCons "UDouble" PrefixI True) (S1 k (MetaSel (Just Symbol "uDouble#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UDouble k)))
type Rep (URec k Double p) |
type Rep (URec k Double p) = D1 * (MetaData "URec" "GHC.Generics" "base" False) (C1 * (MetaCons "UDouble" PrefixI True) (S1 * (MetaSel (Just Symbol "uDouble#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UDouble *)))

data AnyURI #

Constructors

AnyURI String |

Instances

Eq AnyURI # |
Methods (==) :: AnyURI -> AnyURI -> Bool # (/=) :: AnyURI -> AnyURI -> Bool #
Show AnyURI # |
Methods showsPrec :: Int -> AnyURI -> ShowS # show :: AnyURI -> String # showList :: [AnyURI] -> ShowS #
SimpleType AnyURI # |
Methods acceptingParser :: TextParser AnyURI # simpleTypeText :: AnyURI -> String #
SchemaType AnyURI # |
Methods parseSchemaType :: String -> XMLParser AnyURI # schemaTypeToXML :: String -> AnyURI -> [Content ()] #

data QName #

A QName is a (possibly) qualified name, in the sense of XML namespaces.

Constructors

N Name |
QN Namespace Name |

Instances

Eq QName # |
Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Ord QName # |
Methods compare :: QName -> QName -> Ordering # (<) :: QName -> QName -> Bool # (<=) :: QName -> QName -> Bool # (>) :: QName -> QName -> Bool # (>=) :: QName -> QName -> Bool # max :: QName -> QName -> QName # min :: QName -> QName -> QName #
Show QName # |
Methods showsPrec :: Int -> QName -> ShowS # show :: QName -> String # showList :: [QName] -> ShowS #

data NOTATION #

Constructors

NOTATION String |

Instances

Eq NOTATION # |
Methods (==) :: NOTATION -> NOTATION -> Bool # (/=) :: NOTATION -> NOTATION -> Bool #
Show NOTATION # |
Methods showsPrec :: Int -> NOTATION -> ShowS # show :: NOTATION -> String # showList :: [NOTATION] -> ShowS #
SimpleType NOTATION # |
Methods acceptingParser :: TextParser NOTATION # simpleTypeText :: NOTATION -> String #
SchemaType NOTATION # |
Methods parseSchemaType :: String -> XMLParser NOTATION # schemaTypeToXML :: String -> NOTATION -> [Content ()] #

data Duration #

Constructors

Duration Bool Int Int Int Int Int Float |

Instances

Eq Duration # |
Methods (==) :: Duration -> Duration -> Bool # (/=) :: Duration -> Duration -> Bool #
Show Duration # |
Methods showsPrec :: Int -> Duration -> ShowS # show :: Duration -> String # showList :: [Duration] -> ShowS #
SimpleType Duration # |
Methods acceptingParser :: TextParser Duration # simpleTypeText :: Duration -> String #
SchemaType Duration # |
Methods parseSchemaType :: String -> XMLParser Duration # schemaTypeToXML :: String -> Duration -> [Content ()] #

data DateTime #

Constructors

DateTime String |

Instances

Eq DateTime # |
Methods (==) :: DateTime -> DateTime -> Bool # (/=) :: DateTime -> DateTime -> Bool #
Show DateTime # |
Methods showsPrec :: Int -> DateTime -> ShowS # show :: DateTime -> String # showList :: [DateTime] -> ShowS #
SimpleType DateTime # |
Methods acceptingParser :: TextParser DateTime # simpleTypeText :: DateTime -> String #
SchemaType DateTime # |
Methods parseSchemaType :: String -> XMLParser DateTime # schemaTypeToXML :: String -> DateTime -> [Content ()] #

data Time #

Constructors

Time String |

Instances

Eq Time # |
Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Show Time # |
Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
SimpleType Time # |
Methods acceptingParser :: TextParser Time # simpleTypeText :: Time -> String #
SchemaType Time # |
Methods parseSchemaType :: String -> XMLParser Time # schemaTypeToXML :: String -> Time -> [Content ()] #

data Date #

Constructors

Date String |

Instances

Eq Date # |
Methods (==) :: Date -> Date -> Bool # (/=) :: Date -> Date -> Bool #
Show Date # |
Methods showsPrec :: Int -> Date -> ShowS # show :: Date -> String # showList :: [Date] -> ShowS #
SimpleType Date # |
Methods acceptingParser :: TextParser Date # simpleTypeText :: Date -> String #
SchemaType Date # |
Methods parseSchemaType :: String -> XMLParser Date # schemaTypeToXML :: String -> Date -> [Content ()] #

data GYearMonth #

Constructors

GYearMonth String |

Instances

Eq GYearMonth # |
Methods (==) :: GYearMonth -> GYearMonth -> Bool # (/=) :: GYearMonth -> GYearMonth -> Bool #
Show GYearMonth # |
Methods showsPrec :: Int -> GYearMonth -> ShowS # show :: GYearMonth -> String # showList :: [GYearMonth] -> ShowS #
SimpleType GYearMonth # |
Methods acceptingParser :: TextParser GYearMonth # simpleTypeText :: GYearMonth -> String #
SchemaType GYearMonth # |
Methods parseSchemaType :: String -> XMLParser GYearMonth # schemaTypeToXML :: String -> GYearMonth -> [Content ()] #

data GYear #

Constructors

GYear String |

Instances

Eq GYear # |
Methods (==) :: GYear -> GYear -> Bool # (/=) :: GYear -> GYear -> Bool #
Show GYear # |
Methods showsPrec :: Int -> GYear -> ShowS # show :: GYear -> String # showList :: [GYear] -> ShowS #
SimpleType GYear # |
Methods acceptingParser :: TextParser GYear # simpleTypeText :: GYear -> String #
SchemaType GYear # |
Methods parseSchemaType :: String -> XMLParser GYear # schemaTypeToXML :: String -> GYear -> [Content ()] #

data GMonthDay #

Constructors

GMonthDay String |

Instances

Eq GMonthDay # |
Methods (==) :: GMonthDay -> GMonthDay -> Bool # (/=) :: GMonthDay -> GMonthDay -> Bool #
Show GMonthDay # |
Methods showsPrec :: Int -> GMonthDay -> ShowS # show :: GMonthDay -> String # showList :: [GMonthDay] -> ShowS #
SimpleType GMonthDay # |
Methods acceptingParser :: TextParser GMonthDay # simpleTypeText :: GMonthDay -> String #
SchemaType GMonthDay # |
Methods parseSchemaType :: String -> XMLParser GMonthDay # schemaTypeToXML :: String -> GMonthDay -> [Content ()] #

data GDay #

Constructors

GDay String |

Instances

Eq GDay # |
Methods (==) :: GDay -> GDay -> Bool # (/=) :: GDay -> GDay -> Bool #
Show GDay # |
Methods showsPrec :: Int -> GDay -> ShowS # show :: GDay -> String # showList :: [GDay] -> ShowS #
SimpleType GDay # |
Methods acceptingParser :: TextParser GDay # simpleTypeText :: GDay -> String #
SchemaType GDay # |
Methods parseSchemaType :: String -> XMLParser GDay # schemaTypeToXML :: String -> GDay -> [Content ()] #

data GMonth #

Constructors

GMonth String |

Instances

Eq GMonth # |
Methods (==) :: GMonth -> GMonth -> Bool # (/=) :: GMonth -> GMonth -> Bool #
Show GMonth # |
Methods showsPrec :: Int -> GMonth -> ShowS # show :: GMonth -> String # showList :: [GMonth] -> ShowS #
SimpleType GMonth # |
Methods acceptingParser :: TextParser GMonth # simpleTypeText :: GMonth -> String #
SchemaType GMonth # |
Methods parseSchemaType :: String -> XMLParser GMonth # schemaTypeToXML :: String -> GMonth -> [Content ()] #

# Derived, yet builtin, datatypes

newtype NormalizedString #

Constructors

Normalized String |

Instances

Eq NormalizedString # |
Methods (==) :: NormalizedString -> NormalizedString -> Bool # (/=) :: NormalizedString -> NormalizedString -> Bool #
Show NormalizedString # |
Methods showsPrec :: Int -> NormalizedString -> ShowS # show :: NormalizedString -> String # showList :: [NormalizedString] -> ShowS #
SimpleType NormalizedString # |
Methods acceptingParser :: TextParser NormalizedString # simpleTypeText :: NormalizedString -> String #
SchemaType NormalizedString # |
Methods parseSchemaType :: String -> XMLParser NormalizedString # schemaTypeToXML :: String -> NormalizedString -> [Content ()] #

newtype Token #

Constructors

Token String |

Instances

Eq Token # |
Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Show Token # |
Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
SimpleType Token # |
Methods acceptingParser :: TextParser Token # simpleTypeText :: Token -> String #
SchemaType Token # |
Methods parseSchemaType :: String -> XMLParser Token # schemaTypeToXML :: String -> Token -> [Content ()] #

newtype Language #

Constructors

Language String |

Instances

Eq Language # |
Methods (==) :: Language -> Language -> Bool # (/=) :: Language -> Language -> Bool #
Show Language # |
Methods showsPrec :: Int -> Language -> ShowS # show :: Language -> String # showList :: [Language] -> ShowS #
SimpleType Language # |
Methods acceptingParser :: TextParser Language # simpleTypeText :: Language -> String #
SchemaType Language # |
Methods parseSchemaType :: String -> XMLParser Language # schemaTypeToXML :: String -> Language -> [Content ()] #

newtype Name #

Constructors

Name String |

Instances

Eq Name # |
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Show Name # |
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
SimpleType Name # |
Methods acceptingParser :: TextParser Name # simpleTypeText :: Name -> String #
SchemaType Name # |
Methods parseSchemaType :: String -> XMLParser Name # schemaTypeToXML :: String -> Name -> [Content ()] #

newtype NCName #

Constructors

NCName String |

Instances

Eq NCName # |
Methods (==) :: NCName -> NCName -> Bool # (/=) :: NCName -> NCName -> Bool #
Show NCName # |
Methods showsPrec :: Int -> NCName -> ShowS # show :: NCName -> String # showList :: [NCName] -> ShowS #
SimpleType NCName # |
Methods acceptingParser :: TextParser NCName # simpleTypeText :: NCName -> String #
SchemaType NCName # |
Methods parseSchemaType :: String -> XMLParser NCName # schemaTypeToXML :: String -> NCName -> [Content ()] #

newtype ID #

Constructors

ID String |

Instances

Eq ID # |
Methods (==) :: ID -> ID -> Bool # (/=) :: ID -> ID -> Bool #
Show ID # |
Methods showsPrec :: Int -> ID -> ShowS # show :: ID -> String # showList :: [ID] -> ShowS #
SimpleType ID # |
Methods acceptingParser :: TextParser ID # simpleTypeText :: ID -> String #
SchemaType ID # |
Methods parseSchemaType :: String -> XMLParser ID # schemaTypeToXML :: String -> ID -> [Content ()] #

newtype IDREF #

Constructors

IDREF String |

Instances

Eq IDREF # |
Methods (==) :: IDREF -> IDREF -> Bool # (/=) :: IDREF -> IDREF -> Bool #
Show IDREF # |
Methods showsPrec :: Int -> IDREF -> ShowS # show :: IDREF -> String # showList :: [IDREF] -> ShowS #
SimpleType IDREF # |
Methods acceptingParser :: TextParser IDREF # simpleTypeText :: IDREF -> String #
SchemaType IDREF # |
Methods parseSchemaType :: String -> XMLParser IDREF # schemaTypeToXML :: String -> IDREF -> [Content ()] #

newtype IDREFS #

Constructors

IDREFS String |

Instances

Eq IDREFS # |
Methods (==) :: IDREFS -> IDREFS -> Bool # (/=) :: IDREFS -> IDREFS -> Bool #
Show IDREFS # |
Methods showsPrec :: Int -> IDREFS -> ShowS # show :: IDREFS -> String # showList :: [IDREFS] -> ShowS #
SimpleType IDREFS # |
Methods acceptingParser :: TextParser IDREFS # simpleTypeText :: IDREFS -> String #
SchemaType IDREFS # |
Methods parseSchemaType :: String -> XMLParser IDREFS # schemaTypeToXML :: String -> IDREFS -> [Content ()] #

newtype ENTITY #

Constructors

ENTITY String |

Instances

Eq ENTITY # |
Methods (==) :: ENTITY -> ENTITY -> Bool # (/=) :: ENTITY -> ENTITY -> Bool #
Show ENTITY # |
Methods showsPrec :: Int -> ENTITY -> ShowS # show :: ENTITY -> String # showList :: [ENTITY] -> ShowS #
SimpleType ENTITY # |
Methods acceptingParser :: TextParser ENTITY # simpleTypeText :: ENTITY -> String #
SchemaType ENTITY # |
Methods parseSchemaType :: String -> XMLParser ENTITY # schemaTypeToXML :: String -> ENTITY -> [Content ()] #

newtype ENTITIES #

Constructors

ENTITIES String |

Instances

Eq ENTITIES # |
Methods (==) :: ENTITIES -> ENTITIES -> Bool # (/=) :: ENTITIES -> ENTITIES -> Bool #
Show ENTITIES # |
Methods showsPrec :: Int -> ENTITIES -> ShowS # show :: ENTITIES -> String # showList :: [ENTITIES] -> ShowS #
SimpleType ENTITIES # |
Methods acceptingParser :: TextParser ENTITIES # simpleTypeText :: ENTITIES -> String #
SchemaType ENTITIES # |
Methods parseSchemaType :: String -> XMLParser ENTITIES # schemaTypeToXML :: String -> ENTITIES -> [Content ()] #

newtype NMTOKEN #

Constructors

NMTOKEN String |

Instances

Eq NMTOKEN # |
Methods (==) :: NMTOKEN -> NMTOKEN -> Bool # (/=) :: NMTOKEN -> NMTOKEN -> Bool #
Show NMTOKEN # |
Methods showsPrec :: Int -> NMTOKEN -> ShowS # show :: NMTOKEN -> String # showList :: [NMTOKEN] -> ShowS #
SimpleType NMTOKEN # |
Methods acceptingParser :: TextParser NMTOKEN # simpleTypeText :: NMTOKEN -> String #
SchemaType NMTOKEN # |
Methods parseSchemaType :: String -> XMLParser NMTOKEN # schemaTypeToXML :: String -> NMTOKEN -> [Content ()] #

newtype NMTOKENS #

Constructors

NMTOKENS String |

Instances

Eq NMTOKENS # |
Methods (==) :: NMTOKENS -> NMTOKENS -> Bool # (/=) :: NMTOKENS -> NMTOKENS -> Bool #
Show NMTOKENS # |
Methods showsPrec :: Int -> NMTOKENS -> ShowS # show :: NMTOKENS -> String # showList :: [NMTOKENS] -> ShowS #
SimpleType NMTOKENS # |
Methods acceptingParser :: TextParser NMTOKENS # simpleTypeText :: NMTOKENS -> String #
SchemaType NMTOKENS # |
Methods parseSchemaType :: String -> XMLParser NMTOKENS # schemaTypeToXML :: String -> NMTOKENS -> [Content ()] #

data Integer :: * #

Invariant: `Jn#` and `Jp#` are used iff value doesn't fit in `S#`

Useful properties resulting from the invariants:

-     abs (S# _) <= abs (Jp# _)

-     abs (S# _) <  abs (Jn# _)

Instances

Enum Integer | Since: 2.1
Methods succ :: Integer -> Integer # pred :: Integer -> Integer # toEnum :: Int -> Integer # fromEnum :: Integer -> Int # enumFrom :: Integer -> [Integer] # enumFromThen :: Integer -> Integer -> [Integer] # enumFromTo :: Integer -> Integer -> [Integer] # enumFromThenTo :: Integer -> Integer -> Integer -> [Integer] #
Eq Integer |
Methods (==) :: Integer -> Integer -> Bool # (/=) :: Integer -> Integer -> Bool #
Integral Integer | Since: 2.0.1
Methods quot :: Integer -> Integer -> Integer # rem :: Integer -> Integer -> Integer # div :: Integer -> Integer -> Integer # mod :: Integer -> Integer -> Integer # quotRem :: Integer -> Integer -> (Integer, Integer) # divMod :: Integer -> Integer -> (Integer, Integer) # toInteger :: Integer -> Integer #
Num Integer | Since: 2.1
Methods (+) :: Integer -> Integer -> Integer # (-) :: Integer -> Integer -> Integer # (*) :: Integer -> Integer -> Integer # negate :: Integer -> Integer # abs :: Integer -> Integer # signum :: Integer -> Integer # fromInteger :: Integer -> Integer #
Ord Integer |
Methods compare :: Integer -> Integer -> Ordering # (<) :: Integer -> Integer -> Bool # (<=) :: Integer -> Integer -> Bool # (>) :: Integer -> Integer -> Bool # (>=) :: Integer -> Integer -> Bool # max :: Integer -> Integer -> Integer # min :: Integer -> Integer -> Integer #
Read Integer | Since: 2.1
Methods readsPrec :: Int -> ReadS Integer # readList :: ReadS [Integer] # readPrec :: ReadPrec Integer # readListPrec :: ReadPrec [Integer] #
Real Integer | Since: 2.0.1
Methods toRational :: Integer -> Rational #
Show Integer | Since: 2.1
Methods showsPrec :: Int -> Integer -> ShowS # show :: Integer -> String # showList :: [Integer] -> ShowS #
Ix Integer | Since: 2.1
Methods range :: (Integer, Integer) -> [Integer] # index :: (Integer, Integer) -> Integer -> Int # unsafeIndex :: (Integer, Integer) -> Integer -> Int inRange :: (Integer, Integer) -> Integer -> Bool # rangeSize :: (Integer, Integer) -> Int # unsafeRangeSize :: (Integer, Integer) -> Int
Parse Integer |
Methods parse :: TextParser Integer # parsePrec :: Int -> TextParser Integer # parseList :: TextParser [Integer] #
SimpleType Integer # |
Methods acceptingParser :: TextParser Integer # simpleTypeText :: Integer -> String #
HTypeable Integer # |
Methods toHType :: Integer -> HType #
SchemaType Integer # |
Methods parseSchemaType :: String -> XMLParser Integer # schemaTypeToXML :: String -> Integer -> [Content ()] #

newtype NonPositiveInteger #

Constructors

NonPos Integer |

Instances

Eq NonPositiveInteger # |
Methods (==) :: NonPositiveInteger -> NonPositiveInteger -> Bool # (/=) :: NonPositiveInteger -> NonPositiveInteger -> Bool #
Show NonPositiveInteger # |
Methods showsPrec :: Int -> NonPositiveInteger -> ShowS # show :: NonPositiveInteger -> String # showList :: [NonPositiveInteger] -> ShowS #
SimpleType NonPositiveInteger # |
Methods acceptingParser :: TextParser NonPositiveInteger # simpleTypeText :: NonPositiveInteger -> String #
SchemaType NonPositiveInteger # |
Methods parseSchemaType :: String -> XMLParser NonPositiveInteger # schemaTypeToXML :: String -> NonPositiveInteger -> [Content ()] #

newtype NegativeInteger #

Constructors

Negative Integer |

Instances

Eq NegativeInteger # |
Methods (==) :: NegativeInteger -> NegativeInteger -> Bool # (/=) :: NegativeInteger -> NegativeInteger -> Bool #
Show NegativeInteger # |
Methods showsPrec :: Int -> NegativeInteger -> ShowS # show :: NegativeInteger -> String # showList :: [NegativeInteger] -> ShowS #
SimpleType NegativeInteger # |
Methods acceptingParser :: TextParser NegativeInteger # simpleTypeText :: NegativeInteger -> String #
SchemaType NegativeInteger # |
Methods parseSchemaType :: String -> XMLParser NegativeInteger # schemaTypeToXML :: String -> NegativeInteger -> [Content ()] #

newtype Long #

Constructors

Long Int64 |

Instances

Eq Long # |
Methods (==) :: Long -> Long -> Bool # (/=) :: Long -> Long -> Bool #
Show Long # |
Methods showsPrec :: Int -> Long -> ShowS # show :: Long -> String # showList :: [Long] -> ShowS #
SimpleType Long # |
Methods acceptingParser :: TextParser Long # simpleTypeText :: Long -> String #
SchemaType Long # |
Methods parseSchemaType :: String -> XMLParser Long # schemaTypeToXML :: String -> Long -> [Content ()] #

data Int :: * #

A fixed-precision integer type with at least the range `[-2^29 .. 2^29-1]`. The exact range for a given implementation can be determined by using `minBound` and `maxBound` from the `Bounded` class.

Instances

Bounded Int | Since: 2.1
Methods minBound :: Int # maxBound :: Int #
Enum Int | Since: 2.1
Methods succ :: Int -> Int # pred :: Int -> Int # toEnum :: Int -> Int # fromEnum :: Int -> Int # enumFrom :: Int -> [Int] # enumFromThen :: Int -> Int -> [Int] # enumFromTo :: Int -> Int -> [Int] # enumFromThenTo :: Int -> Int -> Int -> [Int] #
Eq Int |
Methods (==) :: Int -> Int -> Bool # (/=) :: Int -> Int -> Bool #
Integral Int | Since: 2.0.1
Methods quot :: Int -> Int -> Int # rem :: Int -> Int -> Int # div :: Int -> Int -> Int # mod :: Int -> Int -> Int # quotRem :: Int -> Int -> (Int, Int) # divMod :: Int -> Int -> (Int, Int) # toInteger :: Int -> Integer #
Num Int | Since: 2.1
Methods (+) :: Int -> Int -> Int # (-) :: Int -> Int -> Int # (*) :: Int -> Int -> Int # negate :: Int -> Int # abs :: Int -> Int # signum :: Int -> Int # fromInteger :: Integer -> Int #
Ord Int |
Methods compare :: Int -> Int -> Ordering # (<) :: Int -> Int -> Bool # (<=) :: Int -> Int -> Bool # (>) :: Int -> Int -> Bool # (>=) :: Int -> Int -> Bool # max :: Int -> Int -> Int # min :: Int -> Int -> Int #
Read Int | Since: 2.1
Methods readsPrec :: Int -> ReadS Int # readList :: ReadS [Int] # readPrec :: ReadPrec Int # readListPrec :: ReadPrec [Int] #
Real Int | Since: 2.0.1
Methods toRational :: Int -> Rational #
Show Int | Since: 2.1
Methods showsPrec :: Int -> Int -> ShowS # show :: Int -> String # showList :: [Int] -> ShowS #
Ix Int | Since: 2.1
Methods range :: (Int, Int) -> [Int] # index :: (Int, Int) -> Int -> Int # unsafeIndex :: (Int, Int) -> Int -> Int inRange :: (Int, Int) -> Int -> Bool # rangeSize :: (Int, Int) -> Int # unsafeRangeSize :: (Int, Int) -> Int
Parse Int |
Methods parse :: TextParser Int # parsePrec :: Int -> TextParser Int # parseList :: TextParser [Int] #
SimpleType Int # |
Methods acceptingParser :: TextParser Int # simpleTypeText :: Int -> String #
HTypeable Int # |
Methods toHType :: Int -> HType #
SchemaType Int # |
Methods parseSchemaType :: String -> XMLParser Int # schemaTypeToXML :: String -> Int -> [Content ()] #
Generic1 k (URec k Int) |
Associated Types type Rep1 (URec k Int) (f :: URec k Int -> *) :: k -> * # Methods from1 :: f a -> Rep1 (URec k Int) f a # to1 :: Rep1 (URec k Int) f a -> f a #
Functor (URec * Int) |
Methods fmap :: (a -> b) -> URec * Int a -> URec * Int b # (<$) :: a -> URec * Int b -> URec * Int a #
Foldable (URec * Int) |
Methods fold :: Monoid m => URec * Int m -> m # foldMap :: Monoid m => (a -> m) -> URec * Int a -> m # foldr :: (a -> b -> b) -> b -> URec * Int a -> b # foldr' :: (a -> b -> b) -> b -> URec * Int a -> b # foldl :: (b -> a -> b) -> b -> URec * Int a -> b # foldl' :: (b -> a -> b) -> b -> URec * Int a -> b # foldr1 :: (a -> a -> a) -> URec * Int a -> a # foldl1 :: (a -> a -> a) -> URec * Int a -> a # toList :: URec * Int a -> [a] # null :: URec * Int a -> Bool # length :: URec * Int a -> Int # elem :: Eq a => a -> URec * Int a -> Bool # maximum :: Ord a => URec * Int a -> a # minimum :: Ord a => URec * Int a -> a # sum :: Num a => URec * Int a -> a # product :: Num a => URec * Int a -> a #
Eq (URec k Int p) |
Methods (==) :: URec k Int p -> URec k Int p -> Bool # (/=) :: URec k Int p -> URec k Int p -> Bool #
Ord (URec k Int p) |
Methods compare :: URec k Int p -> URec k Int p -> Ordering # (<) :: URec k Int p -> URec k Int p -> Bool # (<=) :: URec k Int p -> URec k Int p -> Bool # (>) :: URec k Int p -> URec k Int p -> Bool # (>=) :: URec k Int p -> URec k Int p -> Bool # max :: URec k Int p -> URec k Int p -> URec k Int p # min :: URec k Int p -> URec k Int p -> URec k Int p #
Show (URec k Int p) |
Methods showsPrec :: Int -> URec k Int p -> ShowS # show :: URec k Int p -> String # showList :: [URec k Int p] -> ShowS #
Generic (URec k Int p) |
Associated Types type Rep (URec k Int p) :: * -> * # Methods from :: URec k Int p -> Rep (URec k Int p) x # to :: Rep (URec k Int p) x -> URec k Int p #
data URec k Int | Used for marking occurrences of `Int#` Since: 4.9.0.0
data URec k Int = UInt { uInt# :: Int# }
type Rep1 k (URec k Int) |
type Rep1 k (URec k Int) = D1 k (MetaData "URec" "GHC.Generics" "base" False) (C1 k (MetaCons "UInt" PrefixI True) (S1 k (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UInt k)))
type Rep (URec k Int p) |
type Rep (URec k Int p) = D1 * (MetaData "URec" "GHC.Generics" "base" False) (C1 * (MetaCons "UInt" PrefixI True) (S1 * (MetaSel (Just Symbol "uInt#") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (UInt *)))

newtype Short #

Constructors

Short Int16 |

Instances

Eq Short # |
Methods (==) :: Short -> Short -> Bool # (/=) :: Short -> Short -> Bool #
Show Short # |
Methods showsPrec :: Int -> Short -> ShowS # show :: Short -> String # showList :: [Short] -> ShowS #
SimpleType Short # |
Methods acceptingParser :: TextParser Short # simpleTypeText :: Short -> String #
SchemaType Short # |
Methods parseSchemaType :: String -> XMLParser Short # schemaTypeToXML :: String -> Short -> [Content ()] #

newtype Byte #

Constructors

Byte Int8 |

Instances

Eq Byte # |
Methods (==) :: Byte -> Byte -> Bool # (/=) :: Byte -> Byte -> Bool #
Show Byte # |
Methods showsPrec :: Int -> Byte -> ShowS # show :: Byte -> String # showList :: [Byte] -> ShowS #
SimpleType Byte # |
Methods acceptingParser :: TextParser Byte # simpleTypeText :: Byte -> String #
SchemaType Byte # |
Methods parseSchemaType :: String -> XMLParser Byte # schemaTypeToXML :: String -> Byte -> [Content ()] #

newtype NonNegativeInteger #

Constructors

NonNeg Integer |

Instances

Eq NonNegativeInteger # |
Methods (==) :: NonNegativeInteger -> NonNegativeInteger -> Bool # (/=) :: NonNegativeInteger -> NonNegativeInteger -> Bool #
Show NonNegativeInteger # |
Methods showsPrec :: Int -> NonNegativeInteger -> ShowS # show :: NonNegativeInteger -> String # showList :: [NonNegativeInteger] -> ShowS #
SimpleType NonNegativeInteger # |
Methods acceptingParser :: TextParser NonNegativeInteger # simpleTypeText :: NonNegativeInteger -> String #
SchemaType NonNegativeInteger # |
Methods parseSchemaType :: String -> XMLParser NonNegativeInteger # schemaTypeToXML :: String -> NonNegativeInteger -> [Content ()] #

newtype UnsignedLong #

Constructors

ULong Word64 |

Instances

Eq UnsignedLong # |
Methods (==) :: UnsignedLong -> UnsignedLong -> Bool # (/=) :: UnsignedLong -> UnsignedLong -> Bool #
Show UnsignedLong # |
Methods showsPrec :: Int -> UnsignedLong -> ShowS # show :: UnsignedLong -> String # showList :: [UnsignedLong] -> ShowS #
SimpleType UnsignedLong # |
Methods acceptingParser :: TextParser UnsignedLong # simpleTypeText :: UnsignedLong -> String #
SchemaType UnsignedLong # |
Methods parseSchemaType :: String -> XMLParser UnsignedLong # schemaTypeToXML :: String -> UnsignedLong -> [Content ()] #

newtype UnsignedInt #

Constructors

UInt Word32 |

Instances

Eq UnsignedInt # |
Methods (==) :: UnsignedInt -> UnsignedInt -> Bool # (/=) :: UnsignedInt -> UnsignedInt -> Bool #
Show UnsignedInt # |
Methods showsPrec :: Int -> UnsignedInt -> ShowS # show :: UnsignedInt -> String # showList :: [UnsignedInt] -> ShowS #
SimpleType UnsignedInt # |
Methods acceptingParser :: TextParser UnsignedInt # simpleTypeText :: UnsignedInt -> String #
SchemaType UnsignedInt # |
Methods parseSchemaType :: String -> XMLParser UnsignedInt # schemaTypeToXML :: String -> UnsignedInt -> [Content ()] #

newtype UnsignedShort #

Constructors

UShort Word16 |

Instances

Eq UnsignedShort # |
Methods (==) :: UnsignedShort -> UnsignedShort -> Bool # (/=) :: UnsignedShort -> UnsignedShort -> Bool #
Show UnsignedShort # |
Methods showsPrec :: Int -> UnsignedShort -> ShowS # show :: UnsignedShort -> String # showList :: [UnsignedShort] -> ShowS #
SimpleType UnsignedShort # |
Methods acceptingParser :: TextParser UnsignedShort # simpleTypeText :: UnsignedShort -> String #
SchemaType UnsignedShort # |
Methods parseSchemaType :: String -> XMLParser UnsignedShort # schemaTypeToXML :: String -> UnsignedShort -> [Content ()] #

newtype UnsignedByte #

Constructors

UByte Word8 |

Instances

Eq UnsignedByte # |
Methods (==) :: UnsignedByte -> UnsignedByte -> Bool # (/=) :: UnsignedByte -> UnsignedByte -> Bool #
Show UnsignedByte # |
Methods showsPrec :: Int -> UnsignedByte -> ShowS # show :: UnsignedByte -> String # showList :: [UnsignedByte] -> ShowS #
SimpleType UnsignedByte # |
Methods acceptingParser :: TextParser UnsignedByte # simpleTypeText :: UnsignedByte -> String #
SchemaType UnsignedByte # |
Methods parseSchemaType :: String -> XMLParser UnsignedByte # schemaTypeToXML :: String -> UnsignedByte -> [Content ()] #

newtype PositiveInteger #

Constructors

Positive Integer |

Instances

Eq PositiveInteger # |
Methods (==) :: PositiveInteger -> PositiveInteger -> Bool # (/=) :: PositiveInteger -> PositiveInteger -> Bool #
Show PositiveInteger # |
Methods showsPrec :: Int -> PositiveInteger -> ShowS # show :: PositiveInteger -> String # showList :: [PositiveInteger] -> ShowS #
SimpleType PositiveInteger # |
Methods acceptingParser :: TextParser PositiveInteger # simpleTypeText :: PositiveInteger -> String #
SchemaType PositiveInteger # |
Methods parseSchemaType :: String -> XMLParser PositiveInteger # schemaTypeToXML :: String -> PositiveInteger -> [Content ()] #