HaXml-1.25.14: Utilities for manipulating XML documents

Safe Haskell | Safe-Inferred
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
  - 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
  - = 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 Source #

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.

Methods

acceptingParser :: TextParser a Source #

simpleTypeText :: a -> String Source #

#### Instances

Instances details

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

module Text.Parse

# Primitive XSD datatypes

newtype XsdString Source #

Constructors

XsdString String |

#### Instances

Instances details

SimpleType XsdString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser XsdString Source # simpleTypeText :: XsdString -> String Source #
SchemaType XsdString Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser XsdString Source # schemaTypeToXML :: String -> XsdString -> [Content ()] Source #
Show XsdString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> XsdString -> ShowS Source # show :: XsdString -> String Source # showList :: [XsdString] -> ShowS Source #
Eq XsdString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: XsdString -> XsdString -> Bool Source # (/=) :: XsdString -> XsdString -> Bool Source #

type Boolean = Bool Source #

data Base64Binary Source #

Constructors

Base64Binary String |

#### Instances

Instances details

SimpleType Base64Binary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Base64Binary Source # simpleTypeText :: Base64Binary -> String Source #
SchemaType Base64Binary Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Base64Binary Source # schemaTypeToXML :: String -> Base64Binary -> [Content ()] Source #
Show Base64Binary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Base64Binary -> ShowS Source # show :: Base64Binary -> String Source # showList :: [Base64Binary] -> ShowS Source #
Eq Base64Binary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Base64Binary -> Base64Binary -> Bool Source # (/=) :: Base64Binary -> Base64Binary -> Bool Source #

data HexBinary Source #

Constructors

HexBinary String |

#### Instances

Instances details

SimpleType HexBinary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser HexBinary Source # simpleTypeText :: HexBinary -> String Source #
SchemaType HexBinary Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser HexBinary Source # schemaTypeToXML :: String -> HexBinary -> [Content ()] Source #
Show HexBinary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> HexBinary -> ShowS Source # show :: HexBinary -> String Source # showList :: [HexBinary] -> ShowS Source #
Eq HexBinary Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: HexBinary -> HexBinary -> Bool Source # (/=) :: HexBinary -> HexBinary -> Bool Source #

data Float Source #

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

Instances details

SimpleType Float Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Float Source # simpleTypeText :: Float -> String Source #
SchemaType Float Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Float Source # schemaTypeToXML :: String -> Float -> [Content ()] Source #
HTypeable Float Source # |
Instance details Defined in Text.XML.HaXml.TypeMapping Methods toHType :: Float -> HType Source #
XmlContent Float Source # |
Instance details Defined in Text.XML.HaXml.XmlContent.Haskell Methods parseContents :: XMLParser Float Source # toContents :: Float -> [Content ()] Source # xToChar :: Float -> Char Source # xFromChar :: Char -> Float Source #
PrintfArg Float | Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Float -> FieldFormatter Source # parseFormat :: Float -> ModifierParser Source #

Enum Float

`fromEnum` just truncates its argument, beware of all sorts of overflows.

List generators have extremely peculiar behavior, mandated by Haskell Report 2010:

    >>> [0..1.5 :: Float]
    [0.0,1.0,2.0]

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods succ :: Float -> Float Source # pred :: Float -> Float Source # toEnum :: Int -> Float Source # fromEnum :: Float -> Int Source # enumFrom :: Float -> [Float] Source # enumFromThen :: Float -> Float -> [Float] Source # enumFromTo :: Float -> Float -> [Float] Source # enumFromThenTo :: Float -> Float -> Float -> [Float] Source #
Floating Float | Since: base-2.1

Instance details

Defined in GHC.Internal.Float

Methods

pi :: Float Source #

exp :: Float -> Float Source #

log :: Float -> Float Source #

sqrt :: Float -> Float Source #

(**) :: Float -> Float -> Float Source #

logBase :: Float -> Float -> Float Source #

sin :: Float -> Float Source #

cos :: Float -> Float Source #

tan :: Float -> Float Source #

asin :: Float -> Float Source #

acos :: Float -> Float Source #

atan :: Float -> Float Source #

sinh :: Float -> Float Source #

cosh :: Float -> Float Source #

tanh :: Float -> Float Source #

asinh :: Float -> Float Source #

acosh :: Float -> Float Source #

atanh :: Float -> Float Source #

log1p :: Float -> Float Source #

expm1 :: Float -> Float Source #

log1pexp :: Float -> Float Source #

log1mexp :: Float -> Float Source #

RealFloat Float | Since: base-2.1

Instance details

Defined in GHC.Internal.Float

Methods

floatRadix :: Float -> Integer Source #

floatDigits :: Float -> Int Source #

floatRange :: Float -> (Int, Int) Source #

decodeFloat :: Float -> (Integer, Int) Source #

encodeFloat :: Integer -> Int -> Float Source #

exponent :: Float -> Int Source #

significand :: Float -> Float Source #

scaleFloat :: Int -> Float -> Float Source #

isNaN :: Float -> Bool Source #

isInfinite :: Float -> Bool Source #

isDenormalized :: Float -> Bool Source #

isNegativeZero :: Float -> Bool Source #

isIEEE :: Float -> Bool Source #

atan2 :: Float -> Float -> Float Source #

Num Float

This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero. Neither addition nor multiplication are associative or distributive:

    >>> (0.1 + 0.1 :: Float) + 0.5 == 0.1 + (0.1 + 0.5)
    False
    >>> (0.1 + 0.2 :: Float) * 0.9 == 0.1 * 0.9 + 0.2 * 0.9
    False
    >>> (0.1 * 0.1 :: Float) * 0.9 == 0.1 * (0.1 * 0.9)
    False

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods (+) :: Float -> Float -> Float Source # (-) :: Float -> Float -> Float Source # (*) :: Float -> Float -> Float Source # negate :: Float -> Float Source # abs :: Float -> Float Source # signum :: Float -> Float Source # fromInteger :: Integer -> Float Source #
Read Float | Since: base-2.1
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Float Source # readList :: ReadS [Float] Source # readPrec :: ReadPrec Float Source # readListPrec :: ReadPrec [Float] Source #

Fractional Float

This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero.

    >>> 0 == (-0 :: Float)
    True
    >>> recip 0 == recip (-0 :: Float)
    False
    >>> map (/ 0) [-1, 0, 1 :: Float]
    [-Infinity,NaN,Infinity]
    >>> map (* 0) $ map (/ 0) [-1, 0, 1 :: Float]
    [NaN,NaN,NaN]

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods (/) :: Float -> Float -> Float Source # recip :: Float -> Float Source # fromRational :: Rational -> Float Source #

Real Float

Beware that `toRational` generates garbage for non-finite arguments:

    >>> toRational (1/0 :: Float)
    340282366920938463463374607431768211456 % 1
    >>> toRational (0/0 :: Float)
    510423550381407695195061911147652317184 % 1

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods toRational :: Float -> Rational Source #

RealFrac Float

Beware that results for non-finite arguments are garbage:

    >>> [ f x | f <- [round, floor, ceiling], x <- [-1/0, 0/0, 1/0 :: Float] ] :: [Int]
    [0,0,0,0,0,0,0,0,0]
    >>> map properFraction [-1/0, 0/0, 1/0] :: [(Int, Float)]
    [(0,0.0),(0,0.0),(0,0.0)]

and get even more non-sensical if you ask for `Integer` instead of `Int`.

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods properFraction :: Integral b => Float -> (b, Float) Source # truncate :: Integral b => Float -> b Source # round :: Integral b => Float -> b Source # ceiling :: Integral b => Float -> b Source # floor :: Integral b => Float -> b Source #
Show Float | Since: base-2.1
Instance details Defined in GHC.Internal.Float Methods showsPrec :: Int -> Float -> ShowS Source # show :: Float -> String Source # showList :: [Float] -> ShowS Source #

Eq Float

Note that due to the presence of `NaN`, `Float`'s `Eq` instance does not satisfy reflexivity.

    >>> 0/0 == (0/0 :: Float)
    False

Also note that `Float`'s `Eq` instance does not satisfy extensionality:

    >>> 0 == (-0 :: Float)
    True
    >>> recip 0 == recip (-0 :: Float)
    False

Instance details Defined in GHC.Classes Methods (==) :: Float -> Float -> Bool Source # (/=) :: Float -> Float -> Bool Source #
Ord Float | See `instance` `Ord` `Double` for discussion of deviations from IEEE 754 standard.
Instance details Defined in GHC.Classes Methods compare :: Float -> Float -> Ordering Source # (<) :: Float -> Float -> Bool Source # (<=) :: Float -> Float -> Bool Source # (>) :: Float -> Float -> Bool Source # (>=) :: Float -> Float -> Bool Source # max :: Float -> Float -> Float Source # min :: Float -> Float -> Float Source #
Parse Float |
Instance details Defined in Text.Parse Methods parse :: TextParser Float Source # parsePrec :: Int -> TextParser Float Source # parseList :: TextParser [Float] Source #
Parse Float |
Instance details Defined in Text.Parse.ByteString Methods parse :: TextParser Float Source # parsePrec :: Int -> TextParser Float Source # parseList :: TextParser [Float] Source #
Pretty Float |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Float -> Doc ann Source # pPrint :: Float -> Doc ann Source # pPrintList :: PrettyLevel -> [Float] -> Doc ann Source #
Pretty Float |
Instance details Defined in Text.PrettyPrint.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Float -> Doc Source # pPrint :: Float -> Doc Source # pPrintList :: PrettyLevel -> [Float] -> Doc Source #
Random Float | Note - `random` produces values in the closed range `[0,1]`.
Instance details Defined in System.Random Methods randomR :: RandomGen g => (Float, Float) -> g -> (Float, g) Source # random :: RandomGen g => g -> (Float, g) Source # randomRs :: RandomGen g => (Float, Float) -> g -> [Float] Source # randoms :: RandomGen g => g -> [Float] Source #
UniformRange Float | See Floating point number caveats.
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Float, Float) -> g -> m Float Source #
Generic1 (URec Float :: k -> Type) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Float :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Float a -> Rep1 (URec Float :: k -> Type) a Source #

to1 :: forall (a :: k). Rep1 (URec Float :: k -> Type) a -> URec Float a Source #

Foldable (UFloat :: Type -> Type) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UFloat m -> m Source #

foldMap :: Monoid m => (a -> m) -> UFloat a -> m Source #

foldMap' :: Monoid m => (a -> m) -> UFloat a -> m Source #

foldr :: (a -> b -> b) -> b -> UFloat a -> b Source #

foldr' :: (a -> b -> b) -> b -> UFloat a -> b Source #

foldl :: (b -> a -> b) -> b -> UFloat a -> b Source #

foldl' :: (b -> a -> b) -> b -> UFloat a -> b Source #

foldr1 :: (a -> a -> a) -> UFloat a -> a Source #

foldl1 :: (a -> a -> a) -> UFloat a -> a Source #

toList :: UFloat a -> [a] Source #

null :: UFloat a -> Bool Source #

length :: UFloat a -> Int Source #

elem :: Eq a => a -> UFloat a -> Bool Source #

maximum :: Ord a => UFloat a -> a Source #

minimum :: Ord a => UFloat a -> a Source #

sum :: Num a => UFloat a -> a Source #

product :: Num a => UFloat a -> a Source #

Functor (URec Float :: Type -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods fmap :: (a -> b) -> URec Float a -> URec Float b Source # (<$) :: a -> URec Float b -> URec Float a Source #
Generic (URec Float p) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Float p) |
Instance details Defined in GHC.Internal.Generics type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))

Methods

from :: URec Float p -> Rep (URec Float p) x Source #

to :: Rep (URec Float p) x -> URec Float p Source #

Show (URec Float p) |
Instance details Defined in GHC.Internal.Generics Methods showsPrec :: Int -> URec Float p -> ShowS Source # show :: URec Float p -> String Source # showList :: [URec Float p] -> ShowS Source #
Eq (URec Float p) |
Instance details Defined in GHC.Internal.Generics Methods (==) :: URec Float p -> URec Float p -> Bool Source # (/=) :: URec Float p -> URec Float p -> Bool Source #
Ord (URec Float p) |

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Float p -> URec Float p -> Ordering Source #

(<) :: URec Float p -> URec Float p -> Bool Source #

(<=) :: URec Float p -> URec Float p -> Bool Source #

(>) :: URec Float p -> URec Float p -> Bool Source #

(>=) :: URec Float p -> URec Float p -> Bool Source #

max :: URec Float p -> URec Float p -> URec Float p Source #

min :: URec Float p -> URec Float p -> URec Float p Source #

data URec Float (p :: k) | Used for marking occurrences of `Float#` Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

data URec Float (p :: k) = UFloat {

- uFloat# :: Float#

}

type Rep1 (URec Float :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))
type Rep (URec Float p) |
Instance details Defined in GHC.Internal.Generics type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))

data Decimal Source #

Constructors

Decimal Double |

#### Instances

Instances details

SimpleType Decimal Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Decimal Source # simpleTypeText :: Decimal -> String Source #
SchemaType Decimal Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Decimal Source # schemaTypeToXML :: String -> Decimal -> [Content ()] Source #
Show Decimal Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Decimal -> ShowS Source # show :: Decimal -> String Source # showList :: [Decimal] -> ShowS Source #
Eq Decimal Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Decimal -> Decimal -> Bool Source # (/=) :: Decimal -> Decimal -> Bool Source #

data Double Source #

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

Instances details

SimpleType Double Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Double Source # simpleTypeText :: Double -> String Source #
SchemaType Double Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Double Source # schemaTypeToXML :: String -> Double -> [Content ()] Source #
HTypeable Double Source # |
Instance details Defined in Text.XML.HaXml.TypeMapping Methods toHType :: Double -> HType Source #
XmlContent Double Source # |
Instance details Defined in Text.XML.HaXml.XmlContent.Haskell Methods parseContents :: XMLParser Double Source # toContents :: Double -> [Content ()] Source # xToChar :: Double -> Char Source # xFromChar :: Char -> Double Source #
PrintfArg Double | Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Double -> FieldFormatter Source # parseFormat :: Double -> ModifierParser Source #

Enum Double

`fromEnum` just truncates its argument, beware of all sorts of overflows.

List generators have extremely peculiar behavior, mandated by Haskell Report 2010:

    >>> [0..1.5]
    [0.0,1.0,2.0]

Since: base-2.1

Instance details

Defined in GHC.Internal.Float

Methods

succ :: Double -> Double Source #

pred :: Double -> Double Source #

toEnum :: Int -> Double Source #

fromEnum :: Double -> Int Source #

enumFrom :: Double -> [Double] Source #

enumFromThen :: Double -> Double -> [Double] Source #

enumFromTo :: Double -> Double -> [Double] Source #

enumFromThenTo :: Double -> Double -> Double -> [Double] Source #

Floating Double | Since: base-2.1

Instance details

Defined in GHC.Internal.Float

Methods

pi :: Double Source #

exp :: Double -> Double Source #

log :: Double -> Double Source #

sqrt :: Double -> Double Source #

(**) :: Double -> Double -> Double Source #

logBase :: Double -> Double -> Double Source #

sin :: Double -> Double Source #

cos :: Double -> Double Source #

tan :: Double -> Double Source #

asin :: Double -> Double Source #

acos :: Double -> Double Source #

atan :: Double -> Double Source #

sinh :: Double -> Double Source #

cosh :: Double -> Double Source #

tanh :: Double -> Double Source #

asinh :: Double -> Double Source #

acosh :: Double -> Double Source #

atanh :: Double -> Double Source #

log1p :: Double -> Double Source #

expm1 :: Double -> Double Source #

log1pexp :: Double -> Double Source #

log1mexp :: Double -> Double Source #

RealFloat Double | Since: base-2.1

Instance details

Defined in GHC.Internal.Float

Methods

floatRadix :: Double -> Integer Source #

floatDigits :: Double -> Int Source #

floatRange :: Double -> (Int, Int) Source #

decodeFloat :: Double -> (Integer, Int) Source #

encodeFloat :: Integer -> Int -> Double Source #

exponent :: Double -> Int Source #

significand :: Double -> Double Source #

scaleFloat :: Int -> Double -> Double Source #

isNaN :: Double -> Bool Source #

isInfinite :: Double -> Bool Source #

isDenormalized :: Double -> Bool Source #

isNegativeZero :: Double -> Bool Source #

isIEEE :: Double -> Bool Source #

atan2 :: Double -> Double -> Double Source #

Num Double

This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero. Neither addition nor multiplication are associative or distributive:

    >>> (0.1 + 0.1) + 0.4 == 0.1 + (0.1 + 0.4)
    False
    >>> (0.1 + 0.2) * 0.3 == 0.1 * 0.3 + 0.2 * 0.3
    False
    >>> (0.1 * 0.1) * 0.3 == 0.1 * (0.1 * 0.3)
    False

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods (+) :: Double -> Double -> Double Source # (-) :: Double -> Double -> Double Source # (*) :: Double -> Double -> Double Source # negate :: Double -> Double Source # abs :: Double -> Double Source # signum :: Double -> Double Source # fromInteger :: Integer -> Double Source #
Read Double | Since: base-2.1
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Double Source # readList :: ReadS [Double] Source # readPrec :: ReadPrec Double Source # readListPrec :: ReadPrec [Double] Source #

Fractional Double

This instance implements IEEE 754 standard with all its usual pitfalls about NaN, infinities and negative zero.

    >>> 0 == (-0 :: Double)
    True
    >>> recip 0 == recip (-0 :: Double)
    False
    >>> map (/ 0) [-1, 0, 1]
    [-Infinity,NaN,Infinity]
    >>> map (* 0) $ map (/ 0) [-1, 0, 1]
    [NaN,NaN,NaN]

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods (/) :: Double -> Double -> Double Source # recip :: Double -> Double Source # fromRational :: Rational -> Double Source #

Real Double

Beware that `toRational` generates garbage for non-finite arguments:

    >>> toRational (1/0)
    179769313 (and 300 more digits...) % 1
    >>> toRational (0/0)
    269653970 (and 300 more digits...) % 1

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods toRational :: Double -> Rational Source #

RealFrac Double

Beware that results for non-finite arguments are garbage:

    >>> [ f x | f <- [round, floor, ceiling], x <- [-1/0, 0/0, 1/0] ] :: [Int]
    [0,0,0,0,0,0,0,0,0]
    >>> map properFraction [-1/0, 0/0, 1/0] :: [(Int, Double)]
    [(0,0.0),(0,0.0),(0,0.0)]

and get even more non-sensical if you ask for `Integer` instead of `Int`.

Since: base-2.1

Instance details Defined in GHC.Internal.Float Methods properFraction :: Integral b => Double -> (b, Double) Source # truncate :: Integral b => Double -> b Source # round :: Integral b => Double -> b Source # ceiling :: Integral b => Double -> b Source # floor :: Integral b => Double -> b Source #
Show Double | Since: base-2.1
Instance details Defined in GHC.Internal.Float Methods showsPrec :: Int -> Double -> ShowS Source # show :: Double -> String Source # showList :: [Double] -> ShowS Source #

Eq Double

Note that due to the presence of `NaN`, `Double`'s `Eq` instance does not satisfy reflexivity.

    >>> 0/0 == (0/0 :: Double)
    False

Also note that `Double`'s `Eq` instance does not satisfy substitutivity:

    >>> 0 == (-0 :: Double)
    True
    >>> recip 0 == recip (-0 :: Double)
    False

Instance details Defined in GHC.Classes Methods (==) :: Double -> Double -> Bool Source # (/=) :: Double -> Double -> Bool Source #

Ord Double

IEEE 754 `Double`-precision type includes not only numbers, but also positive and negative infinities and a special element called `NaN` (which can be quiet or signal).

IEEE 754-2008, section 5.11 requires that if at least one of arguments of `<=`, `<`, `>`, `>=` is `NaN` then the result of the comparison is `False`, and `instance` `Ord` `Double` complies with this requirement. This violates the reflexivity: both `NaN` `<=` `NaN` and `NaN` `>=` `NaN` are `False`.

IEEE 754-2008, section 5.10 defines `totalOrder` predicate. Unfortunately, `compare` on `Double`s violates the IEEE standard and does not define a total order. More specifically, both `compare` `NaN` `x` and `compare` `x` `NaN` always return `GT`.

Thus, users must be extremely cautious when using `instance` `Ord` `Double`. For instance, one should avoid ordered containers with keys represented by `Double`, because data loss and corruption may happen. An IEEE-compliant `compare` is available in `fp-ieee` package as `TotallyOrdered` newtype.

Moving further, the behaviour of `min` and `max` with regards to `NaN` is also non-compliant. IEEE 754-2008, section 5.3.1 defines that quiet `NaN` should be treated as a missing data by `minNum` and `maxNum` functions, for example, `minNum(NaN, 1) = minNum(1, NaN) = 1`. Some languages such as Java deviate from the standard implementing `minNum(NaN, 1) = minNum(1, NaN) = NaN`. However, `min` / `max` in `base` are even worse: `min` `NaN` 1 is 1, but `min` 1 `NaN` is `NaN`.

IEEE 754-2008 compliant `min` / `max` can be found in `ieee754` package under `minNum` / `maxNum` names. Implementations compliant with `minimumNumber` / `maximumNumber` from a newer IEEE 754-2019, section 9.6 are available from `fp-ieee` package.

Instance details Defined in GHC.Classes Methods compare :: Double -> Double -> Ordering Source # (<) :: Double -> Double -> Bool Source # (<=) :: Double -> Double -> Bool Source # (>) :: Double -> Double -> Bool Source # (>=) :: Double -> Double -> Bool Source # max :: Double -> Double -> Double Source # min :: Double -> Double -> Double Source #
Parse Double |
Instance details Defined in Text.Parse Methods parse :: TextParser Double Source # parsePrec :: Int -> TextParser Double Source # parseList :: TextParser [Double] Source #
Parse Double |
Instance details Defined in Text.Parse.ByteString Methods parse :: TextParser Double Source # parsePrec :: Int -> TextParser Double Source # parseList :: TextParser [Double] Source #
Pretty Double |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Double -> Doc ann Source # pPrint :: Double -> Doc ann Source # pPrintList :: PrettyLevel -> [Double] -> Doc ann Source #
Pretty Double |
Instance details Defined in Text.PrettyPrint.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Double -> Doc Source # pPrint :: Double -> Doc Source # pPrintList :: PrettyLevel -> [Double] -> Doc Source #
Random Double | Note - `random` produces values in the closed range `[0,1]`.
Instance details Defined in System.Random Methods randomR :: RandomGen g => (Double, Double) -> g -> (Double, g) Source # random :: RandomGen g => g -> (Double, g) Source # randomRs :: RandomGen g => (Double, Double) -> g -> [Double] Source # randoms :: RandomGen g => g -> [Double] Source #
UniformRange Double | See Floating point number caveats.
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Double, Double) -> g -> m Double Source #
Generic1 (URec Double :: k -> Type) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Double :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Double a -> Rep1 (URec Double :: k -> Type) a Source #

to1 :: forall (a :: k). Rep1 (URec Double :: k -> Type) a -> URec Double a Source #

Foldable (UDouble :: Type -> Type) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UDouble m -> m Source #

foldMap :: Monoid m => (a -> m) -> UDouble a -> m Source #

foldMap' :: Monoid m => (a -> m) -> UDouble a -> m Source #

foldr :: (a -> b -> b) -> b -> UDouble a -> b Source #

foldr' :: (a -> b -> b) -> b -> UDouble a -> b Source #

foldl :: (b -> a -> b) -> b -> UDouble a -> b Source #

foldl' :: (b -> a -> b) -> b -> UDouble a -> b Source #

foldr1 :: (a -> a -> a) -> UDouble a -> a Source #

foldl1 :: (a -> a -> a) -> UDouble a -> a Source #

toList :: UDouble a -> [a] Source #

null :: UDouble a -> Bool Source #

length :: UDouble a -> Int Source #

elem :: Eq a => a -> UDouble a -> Bool Source #

maximum :: Ord a => UDouble a -> a Source #

minimum :: Ord a => UDouble a -> a Source #

sum :: Num a => UDouble a -> a Source #

product :: Num a => UDouble a -> a Source #

Functor (URec Double :: Type -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods fmap :: (a -> b) -> URec Double a -> URec Double b Source # (<$) :: a -> URec Double b -> URec Double a Source #
Generic (URec Double p) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Double p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))

Methods

from :: URec Double p -> Rep (URec Double p) x Source #

to :: Rep (URec Double p) x -> URec Double p Source #

Show (URec Double p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods showsPrec :: Int -> URec Double p -> ShowS Source # show :: URec Double p -> String Source # showList :: [URec Double p] -> ShowS Source #
Eq (URec Double p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods (==) :: URec Double p -> URec Double p -> Bool Source # (/=) :: URec Double p -> URec Double p -> Bool Source #
Ord (URec Double p) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Double p -> URec Double p -> Ordering Source #

(<) :: URec Double p -> URec Double p -> Bool Source #

(<=) :: URec Double p -> URec Double p -> Bool Source #

(>) :: URec Double p -> URec Double p -> Bool Source #

(>=) :: URec Double p -> URec Double p -> Bool Source #

max :: URec Double p -> URec Double p -> URec Double p Source #

min :: URec Double p -> URec Double p -> URec Double p Source #

data URec Double (p :: k) | Used for marking occurrences of `Double#` Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

data URec Double (p :: k) = UDouble {

- uDouble# :: Double#

}

type Rep1 (URec Double :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))
type Rep (URec Double p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))

data AnyURI Source #

Constructors

AnyURI String |

#### Instances

Instances details

SimpleType AnyURI Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser AnyURI Source # simpleTypeText :: AnyURI -> String Source #
SchemaType AnyURI Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser AnyURI Source # schemaTypeToXML :: String -> AnyURI -> [Content ()] Source #
Show AnyURI Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> AnyURI -> ShowS Source # show :: AnyURI -> String Source # showList :: [AnyURI] -> ShowS Source #
Eq AnyURI Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: AnyURI -> AnyURI -> Bool Source # (/=) :: AnyURI -> AnyURI -> Bool Source #

data QName Source #

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

Constructors

N Name |
QN Namespace Name |

#### Instances

Instances details

Show QName Source # |
Instance details Defined in Text.XML.HaXml.Types Methods showsPrec :: Int -> QName -> ShowS Source # show :: QName -> String Source # showList :: [QName] -> ShowS Source #
Eq QName Source # |
Instance details Defined in Text.XML.HaXml.Types Methods (==) :: QName -> QName -> Bool Source # (/=) :: QName -> QName -> Bool Source #
Ord QName Source # |
Instance details Defined in Text.XML.HaXml.Types Methods compare :: QName -> QName -> Ordering Source # (<) :: QName -> QName -> Bool Source # (<=) :: QName -> QName -> Bool Source # (>) :: QName -> QName -> Bool Source # (>=) :: QName -> QName -> Bool Source # max :: QName -> QName -> QName Source # min :: QName -> QName -> QName Source #

data NOTATION Source #

Constructors

NOTATION String |

#### Instances

Instances details

SimpleType NOTATION Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NOTATION Source # simpleTypeText :: NOTATION -> String Source #
SchemaType NOTATION Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NOTATION Source # schemaTypeToXML :: String -> NOTATION -> [Content ()] Source #
Show NOTATION Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NOTATION -> ShowS Source # show :: NOTATION -> String Source # showList :: [NOTATION] -> ShowS Source #
Eq NOTATION Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NOTATION -> NOTATION -> Bool Source # (/=) :: NOTATION -> NOTATION -> Bool Source #

data Duration Source #

Constructors

Duration Bool Int Int Int Int Int Float |

#### Instances

Instances details

SimpleType Duration Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Duration Source # simpleTypeText :: Duration -> String Source #
SchemaType Duration Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Duration Source # schemaTypeToXML :: String -> Duration -> [Content ()] Source #
Show Duration Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Duration -> ShowS Source # show :: Duration -> String Source # showList :: [Duration] -> ShowS Source #
Eq Duration Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Duration -> Duration -> Bool Source # (/=) :: Duration -> Duration -> Bool Source #

data DateTime Source #

Constructors

DateTime String |

#### Instances

Instances details

SimpleType DateTime Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser DateTime Source # simpleTypeText :: DateTime -> String Source #
SchemaType DateTime Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser DateTime Source # schemaTypeToXML :: String -> DateTime -> [Content ()] Source #
Show DateTime Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> DateTime -> ShowS Source # show :: DateTime -> String Source # showList :: [DateTime] -> ShowS Source #
Eq DateTime Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: DateTime -> DateTime -> Bool Source # (/=) :: DateTime -> DateTime -> Bool Source #

data Time Source #

Constructors

Time String |

#### Instances

Instances details

SimpleType Time Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Time Source # simpleTypeText :: Time -> String Source #
SchemaType Time Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Time Source # schemaTypeToXML :: String -> Time -> [Content ()] Source #
Show Time Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Time -> ShowS Source # show :: Time -> String Source # showList :: [Time] -> ShowS Source #
Eq Time Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Time -> Time -> Bool Source # (/=) :: Time -> Time -> Bool Source #

data Date Source #

Constructors

Date String |

#### Instances

Instances details

SimpleType Date Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Date Source # simpleTypeText :: Date -> String Source #
SchemaType Date Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Date Source # schemaTypeToXML :: String -> Date -> [Content ()] Source #
Show Date Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Date -> ShowS Source # show :: Date -> String Source # showList :: [Date] -> ShowS Source #
Eq Date Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Date -> Date -> Bool Source # (/=) :: Date -> Date -> Bool Source #

data GYearMonth Source #

Constructors

GYearMonth String |

#### Instances

Instances details

SimpleType GYearMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser GYearMonth Source # simpleTypeText :: GYearMonth -> String Source #
SchemaType GYearMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser GYearMonth Source # schemaTypeToXML :: String -> GYearMonth -> [Content ()] Source #
Show GYearMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> GYearMonth -> ShowS Source # show :: GYearMonth -> String Source # showList :: [GYearMonth] -> ShowS Source #
Eq GYearMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: GYearMonth -> GYearMonth -> Bool Source # (/=) :: GYearMonth -> GYearMonth -> Bool Source #

data GYear Source #

Constructors

GYear String |

#### Instances

Instances details

SimpleType GYear Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser GYear Source # simpleTypeText :: GYear -> String Source #
SchemaType GYear Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser GYear Source # schemaTypeToXML :: String -> GYear -> [Content ()] Source #
Show GYear Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> GYear -> ShowS Source # show :: GYear -> String Source # showList :: [GYear] -> ShowS Source #
Eq GYear Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: GYear -> GYear -> Bool Source # (/=) :: GYear -> GYear -> Bool Source #

data GMonthDay Source #

Constructors

GMonthDay String |

#### Instances

Instances details

SimpleType GMonthDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser GMonthDay Source # simpleTypeText :: GMonthDay -> String Source #
SchemaType GMonthDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser GMonthDay Source # schemaTypeToXML :: String -> GMonthDay -> [Content ()] Source #
Show GMonthDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> GMonthDay -> ShowS Source # show :: GMonthDay -> String Source # showList :: [GMonthDay] -> ShowS Source #
Eq GMonthDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: GMonthDay -> GMonthDay -> Bool Source # (/=) :: GMonthDay -> GMonthDay -> Bool Source #

data GDay Source #

Constructors

GDay String |

#### Instances

Instances details

SimpleType GDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser GDay Source # simpleTypeText :: GDay -> String Source #
SchemaType GDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser GDay Source # schemaTypeToXML :: String -> GDay -> [Content ()] Source #
Show GDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> GDay -> ShowS Source # show :: GDay -> String Source # showList :: [GDay] -> ShowS Source #
Eq GDay Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: GDay -> GDay -> Bool Source # (/=) :: GDay -> GDay -> Bool Source #

data GMonth Source #

Constructors

GMonth String |

#### Instances

Instances details

SimpleType GMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser GMonth Source # simpleTypeText :: GMonth -> String Source #
SchemaType GMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser GMonth Source # schemaTypeToXML :: String -> GMonth -> [Content ()] Source #
Show GMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> GMonth -> ShowS Source # show :: GMonth -> String Source # showList :: [GMonth] -> ShowS Source #
Eq GMonth Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: GMonth -> GMonth -> Bool Source # (/=) :: GMonth -> GMonth -> Bool Source #

# Derived, yet builtin, datatypes

newtype NormalizedString Source #

Constructors

Normalized String |

#### Instances

Instances details

SimpleType NormalizedString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NormalizedString Source # simpleTypeText :: NormalizedString -> String Source #
SchemaType NormalizedString Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NormalizedString Source # schemaTypeToXML :: String -> NormalizedString -> [Content ()] Source #
Show NormalizedString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NormalizedString -> ShowS Source # show :: NormalizedString -> String Source # showList :: [NormalizedString] -> ShowS Source #
Eq NormalizedString Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NormalizedString -> NormalizedString -> Bool Source # (/=) :: NormalizedString -> NormalizedString -> Bool Source #

newtype Token Source #

Constructors

Token String |

#### Instances

Instances details

SimpleType Token Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Token Source # simpleTypeText :: Token -> String Source #
SchemaType Token Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Token Source # schemaTypeToXML :: String -> Token -> [Content ()] Source #
Show Token Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Token -> ShowS Source # show :: Token -> String Source # showList :: [Token] -> ShowS Source #
Eq Token Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Token -> Token -> Bool Source # (/=) :: Token -> Token -> Bool Source #

newtype Language Source #

Constructors

Language String |

#### Instances

Instances details

SimpleType Language Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Language Source # simpleTypeText :: Language -> String Source #
SchemaType Language Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Language Source # schemaTypeToXML :: String -> Language -> [Content ()] Source #
Show Language Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Language -> ShowS Source # show :: Language -> String Source # showList :: [Language] -> ShowS Source #
Eq Language Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Language -> Language -> Bool Source # (/=) :: Language -> Language -> Bool Source #

newtype Name Source #

Constructors

Name String |

#### Instances

Instances details

SimpleType Name Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Name Source # simpleTypeText :: Name -> String Source #
SchemaType Name Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Name Source # schemaTypeToXML :: String -> Name -> [Content ()] Source #
Show Name Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Name -> ShowS Source # show :: Name -> String Source # showList :: [Name] -> ShowS Source #
Eq Name Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Name -> Name -> Bool Source # (/=) :: Name -> Name -> Bool Source #

newtype NCName Source #

Constructors

NCName String |

#### Instances

Instances details

SimpleType NCName Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NCName Source # simpleTypeText :: NCName -> String Source #
SchemaType NCName Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NCName Source # schemaTypeToXML :: String -> NCName -> [Content ()] Source #
Show NCName Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NCName -> ShowS Source # show :: NCName -> String Source # showList :: [NCName] -> ShowS Source #
Eq NCName Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NCName -> NCName -> Bool Source # (/=) :: NCName -> NCName -> Bool Source #

newtype ID Source #

Constructors

ID String |

#### Instances

Instances details

SimpleType ID Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser ID Source # simpleTypeText :: ID -> String Source #
SchemaType ID Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser ID Source # schemaTypeToXML :: String -> ID -> [Content ()] Source #
Show ID Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> ID -> ShowS Source # show :: ID -> String Source # showList :: [ID] -> ShowS Source #
Eq ID Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: ID -> ID -> Bool Source # (/=) :: ID -> ID -> Bool Source #

newtype IDREF Source #

Constructors

IDREF String |

#### Instances

Instances details

SimpleType IDREF Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser IDREF Source # simpleTypeText :: IDREF -> String Source #
SchemaType IDREF Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser IDREF Source # schemaTypeToXML :: String -> IDREF -> [Content ()] Source #
Show IDREF Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> IDREF -> ShowS Source # show :: IDREF -> String Source # showList :: [IDREF] -> ShowS Source #
Eq IDREF Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: IDREF -> IDREF -> Bool Source # (/=) :: IDREF -> IDREF -> Bool Source #

newtype IDREFS Source #

Constructors

IDREFS String |

#### Instances

Instances details

SimpleType IDREFS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser IDREFS Source # simpleTypeText :: IDREFS -> String Source #
SchemaType IDREFS Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser IDREFS Source # schemaTypeToXML :: String -> IDREFS -> [Content ()] Source #
Show IDREFS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> IDREFS -> ShowS Source # show :: IDREFS -> String Source # showList :: [IDREFS] -> ShowS Source #
Eq IDREFS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: IDREFS -> IDREFS -> Bool Source # (/=) :: IDREFS -> IDREFS -> Bool Source #

newtype ENTITY Source #

Constructors

ENTITY String |

#### Instances

Instances details

SimpleType ENTITY Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser ENTITY Source # simpleTypeText :: ENTITY -> String Source #
SchemaType ENTITY Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser ENTITY Source # schemaTypeToXML :: String -> ENTITY -> [Content ()] Source #
Show ENTITY Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> ENTITY -> ShowS Source # show :: ENTITY -> String Source # showList :: [ENTITY] -> ShowS Source #
Eq ENTITY Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: ENTITY -> ENTITY -> Bool Source # (/=) :: ENTITY -> ENTITY -> Bool Source #

newtype ENTITIES Source #

Constructors

ENTITIES String |

#### Instances

Instances details

SimpleType ENTITIES Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser ENTITIES Source # simpleTypeText :: ENTITIES -> String Source #
SchemaType ENTITIES Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser ENTITIES Source # schemaTypeToXML :: String -> ENTITIES -> [Content ()] Source #
Show ENTITIES Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> ENTITIES -> ShowS Source # show :: ENTITIES -> String Source # showList :: [ENTITIES] -> ShowS Source #
Eq ENTITIES Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: ENTITIES -> ENTITIES -> Bool Source # (/=) :: ENTITIES -> ENTITIES -> Bool Source #

newtype NMTOKEN Source #

Constructors

NMTOKEN String |

#### Instances

Instances details

SimpleType NMTOKEN Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NMTOKEN Source # simpleTypeText :: NMTOKEN -> String Source #
SchemaType NMTOKEN Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NMTOKEN Source # schemaTypeToXML :: String -> NMTOKEN -> [Content ()] Source #
Show NMTOKEN Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NMTOKEN -> ShowS Source # show :: NMTOKEN -> String Source # showList :: [NMTOKEN] -> ShowS Source #
Eq NMTOKEN Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NMTOKEN -> NMTOKEN -> Bool Source # (/=) :: NMTOKEN -> NMTOKEN -> Bool Source #

newtype NMTOKENS Source #

Constructors

NMTOKENS String |

#### Instances

Instances details

SimpleType NMTOKENS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NMTOKENS Source # simpleTypeText :: NMTOKENS -> String Source #
SchemaType NMTOKENS Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NMTOKENS Source # schemaTypeToXML :: String -> NMTOKENS -> [Content ()] Source #
Show NMTOKENS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NMTOKENS -> ShowS Source # show :: NMTOKENS -> String Source # showList :: [NMTOKENS] -> ShowS Source #
Eq NMTOKENS Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NMTOKENS -> NMTOKENS -> Bool Source # (/=) :: NMTOKENS -> NMTOKENS -> Bool Source #

data Integer Source #

Arbitrary precision integers. In contrast with fixed-size integral types such as `Int`, the `Integer` type represents the entire infinite range of integers.

Integers are stored in a kind of sign-magnitude form, hence do not expect two's complement form when using bit operations.

If the value is small (i.e., fits into an `Int`), the `IS` constructor is used. Otherwise `IP` and `IN` constructors are used to store a `BigNat` representing the positive or the negative value magnitude, respectively.

Invariant: `IP` and `IN` are used iff the value does not fit in `IS`.

#### Instances

Instances details

SimpleType Integer Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Integer Source # simpleTypeText :: Integer -> String Source #
SchemaType Integer Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Integer Source # schemaTypeToXML :: String -> Integer -> [Content ()] Source #
HTypeable Integer Source # |
Instance details Defined in Text.XML.HaXml.TypeMapping Methods toHType :: Integer -> HType Source #
XmlContent Integer Source # |
Instance details Defined in Text.XML.HaXml.XmlContent.Haskell Methods parseContents :: XMLParser Integer Source # toContents :: Integer -> [Content ()] Source # xToChar :: Integer -> Char Source # xFromChar :: Char -> Integer Source #
PrintfArg Integer | Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Integer -> FieldFormatter Source # parseFormat :: Integer -> ModifierParser Source #
Enum Integer | Since: base-2.1

Instance details

Defined in GHC.Internal.Enum

Methods

succ :: Integer -> Integer Source #

pred :: Integer -> Integer Source #

toEnum :: Int -> Integer Source #

fromEnum :: Integer -> Int Source #

enumFrom :: Integer -> [Integer] Source #

enumFromThen :: Integer -> Integer -> [Integer] Source #

enumFromTo :: Integer -> Integer -> [Integer] Source #

enumFromThenTo :: Integer -> Integer -> Integer -> [Integer] Source #

Num Integer | Since: base-2.1
Instance details Defined in GHC.Internal.Num Methods (+) :: Integer -> Integer -> Integer Source # (-) :: Integer -> Integer -> Integer Source # (*) :: Integer -> Integer -> Integer Source # negate :: Integer -> Integer Source # abs :: Integer -> Integer Source # signum :: Integer -> Integer Source # fromInteger :: Integer -> Integer Source #
Read Integer | Since: base-2.1
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Integer Source # readList :: ReadS [Integer] Source # readPrec :: ReadPrec Integer Source # readListPrec :: ReadPrec [Integer] Source #
Integral Integer | Since: base-2.0.1
Instance details Defined in GHC.Internal.Real Methods quot :: Integer -> Integer -> Integer Source # rem :: Integer -> Integer -> Integer Source # div :: Integer -> Integer -> Integer Source # mod :: Integer -> Integer -> Integer Source # quotRem :: Integer -> Integer -> (Integer, Integer) Source # divMod :: Integer -> Integer -> (Integer, Integer) Source # toInteger :: Integer -> Integer Source #
Real Integer | Since: base-2.0.1
Instance details Defined in GHC.Internal.Real Methods toRational :: Integer -> Rational Source #
Show Integer | Since: base-2.1
Instance details Defined in GHC.Internal.Show Methods showsPrec :: Int -> Integer -> ShowS Source # show :: Integer -> String Source # showList :: [Integer] -> ShowS Source #
Eq Integer |
Instance details Defined in GHC.Num.Integer Methods (==) :: Integer -> Integer -> Bool Source # (/=) :: Integer -> Integer -> Bool Source #
Ord Integer |
Instance details Defined in GHC.Num.Integer Methods compare :: Integer -> Integer -> Ordering Source # (<) :: Integer -> Integer -> Bool Source # (<=) :: Integer -> Integer -> Bool Source # (>) :: Integer -> Integer -> Bool Source # (>=) :: Integer -> Integer -> Bool Source # max :: Integer -> Integer -> Integer Source # min :: Integer -> Integer -> Integer Source #
Parse Integer |
Instance details Defined in Text.Parse Methods parse :: TextParser Integer Source # parsePrec :: Int -> TextParser Integer Source # parseList :: TextParser [Integer] Source #
Parse Integer |
Instance details Defined in Text.Parse.ByteString Methods parse :: TextParser Integer Source # parsePrec :: Int -> TextParser Integer Source # parseList :: TextParser [Integer] Source #
Pretty Integer |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Integer -> Doc ann Source # pPrint :: Integer -> Doc ann Source # pPrintList :: PrettyLevel -> [Integer] -> Doc ann Source #
Pretty Integer |
Instance details Defined in Text.PrettyPrint.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Integer -> Doc Source # pPrint :: Integer -> Doc Source # pPrintList :: PrettyLevel -> [Integer] -> Doc Source #
Random Integer | Note - `random` generates values in the `Int` range
Instance details Defined in System.Random Methods randomR :: RandomGen g => (Integer, Integer) -> g -> (Integer, g) Source # random :: RandomGen g => g -> (Integer, g) Source # randomRs :: RandomGen g => (Integer, Integer) -> g -> [Integer] Source # randoms :: RandomGen g => g -> [Integer] Source #
UniformRange Integer |
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Integer, Integer) -> g -> m Integer Source #

newtype NonPositiveInteger Source #

Constructors

NonPos Integer |

#### Instances

Instances details

SimpleType NonPositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NonPositiveInteger Source # simpleTypeText :: NonPositiveInteger -> String Source #
SchemaType NonPositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NonPositiveInteger Source # schemaTypeToXML :: String -> NonPositiveInteger -> [Content ()] Source #
Show NonPositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NonPositiveInteger -> ShowS Source # show :: NonPositiveInteger -> String Source # showList :: [NonPositiveInteger] -> ShowS Source #
Eq NonPositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NonPositiveInteger -> NonPositiveInteger -> Bool Source # (/=) :: NonPositiveInteger -> NonPositiveInteger -> Bool Source #

newtype NegativeInteger Source #

Constructors

Negative Integer |

#### Instances

Instances details

SimpleType NegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NegativeInteger Source # simpleTypeText :: NegativeInteger -> String Source #
SchemaType NegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NegativeInteger Source # schemaTypeToXML :: String -> NegativeInteger -> [Content ()] Source #
Show NegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NegativeInteger -> ShowS Source # show :: NegativeInteger -> String Source # showList :: [NegativeInteger] -> ShowS Source #
Eq NegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NegativeInteger -> NegativeInteger -> Bool Source # (/=) :: NegativeInteger -> NegativeInteger -> Bool Source #

newtype Long Source #

Constructors

Long Int64 |

#### Instances

Instances details

SimpleType Long Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Long Source # simpleTypeText :: Long -> String Source #
SchemaType Long Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Long Source # schemaTypeToXML :: String -> Long -> [Content ()] Source #
Show Long Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Long -> ShowS Source # show :: Long -> String Source # showList :: [Long] -> ShowS Source #
Eq Long Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Long -> Long -> Bool Source # (/=) :: Long -> Long -> Bool Source #

data Int Source #

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

Instances details

SimpleType Int Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Int Source # simpleTypeText :: Int -> String Source #
SchemaType Int Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Int Source # schemaTypeToXML :: String -> Int -> [Content ()] Source #
HTypeable Int Source # |
Instance details Defined in Text.XML.HaXml.TypeMapping Methods toHType :: Int -> HType Source #
XmlContent Int Source # |
Instance details Defined in Text.XML.HaXml.XmlContent.Haskell Methods parseContents :: XMLParser Int Source # toContents :: Int -> [Content ()] Source # xToChar :: Int -> Char Source # xFromChar :: Char -> Int Source #
PrintfArg Int | Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int -> FieldFormatter Source # parseFormat :: Int -> ModifierParser Source #
Bounded Int | Since: base-2.1
Instance details Defined in GHC.Internal.Enum Methods minBound :: Int Source # maxBound :: Int Source #
Enum Int | Since: base-2.1
Instance details Defined in GHC.Internal.Enum Methods succ :: Int -> Int Source # pred :: Int -> Int Source # toEnum :: Int -> Int Source # fromEnum :: Int -> Int Source # enumFrom :: Int -> [Int] Source # enumFromThen :: Int -> Int -> [Int] Source # enumFromTo :: Int -> Int -> [Int] Source # enumFromThenTo :: Int -> Int -> Int -> [Int] Source #
Num Int | Since: base-2.1
Instance details Defined in GHC.Internal.Num Methods (+) :: Int -> Int -> Int Source # (-) :: Int -> Int -> Int Source # (*) :: Int -> Int -> Int Source # negate :: Int -> Int Source # abs :: Int -> Int Source # signum :: Int -> Int Source # fromInteger :: Integer -> Int Source #
Read Int | Since: base-2.1
Instance details Defined in GHC.Internal.Read Methods readsPrec :: Int -> ReadS Int Source # readList :: ReadS [Int] Source # readPrec :: ReadPrec Int Source # readListPrec :: ReadPrec [Int] Source #
Integral Int | Since: base-2.0.1
Instance details Defined in GHC.Internal.Real Methods quot :: Int -> Int -> Int Source # rem :: Int -> Int -> Int Source # div :: Int -> Int -> Int Source # mod :: Int -> Int -> Int Source # quotRem :: Int -> Int -> (Int, Int) Source # divMod :: Int -> Int -> (Int, Int) Source # toInteger :: Int -> Integer Source #
Real Int | Since: base-2.0.1
Instance details Defined in GHC.Internal.Real Methods toRational :: Int -> Rational Source #
Show Int | Since: base-2.1
Instance details Defined in GHC.Internal.Show Methods showsPrec :: Int -> Int -> ShowS Source # show :: Int -> String Source # showList :: [Int] -> ShowS Source #
Eq Int |
Instance details Defined in GHC.Classes Methods (==) :: Int -> Int -> Bool Source # (/=) :: Int -> Int -> Bool Source #
Ord Int |
Instance details Defined in GHC.Classes Methods compare :: Int -> Int -> Ordering Source # (<) :: Int -> Int -> Bool Source # (<=) :: Int -> Int -> Bool Source # (>) :: Int -> Int -> Bool Source # (>=) :: Int -> Int -> Bool Source # max :: Int -> Int -> Int Source # min :: Int -> Int -> Int Source #
Parse Int |
Instance details Defined in Text.Parse Methods parse :: TextParser Int Source # parsePrec :: Int -> TextParser Int Source # parseList :: TextParser [Int] Source #
Parse Int |
Instance details Defined in Text.Parse.ByteString Methods parse :: TextParser Int Source # parsePrec :: Int -> TextParser Int Source # parseList :: TextParser [Int] Source #
Pretty Int |
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Int -> Doc ann Source # pPrint :: Int -> Doc ann Source # pPrintList :: PrettyLevel -> [Int] -> Doc ann Source #
Pretty Int |
Instance details Defined in Text.PrettyPrint.HughesPJClass Methods pPrintPrec :: PrettyLevel -> Rational -> Int -> Doc Source # pPrint :: Int -> Doc Source # pPrintList :: PrettyLevel -> [Int] -> Doc Source #
Random Int |
Instance details Defined in System.Random Methods randomR :: RandomGen g => (Int, Int) -> g -> (Int, g) Source # random :: RandomGen g => g -> (Int, g) Source # randomRs :: RandomGen g => (Int, Int) -> g -> [Int] Source # randoms :: RandomGen g => g -> [Int] Source #
Uniform Int |
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int Source #
UniformRange Int |
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Int, Int) -> g -> m Int Source #
Generic1 (URec Int :: k -> Type) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Int :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Type) a Source #

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Type) a -> URec Int a Source #

Foldable (UInt :: Type -> Type) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UInt m -> m Source #

foldMap :: Monoid m => (a -> m) -> UInt a -> m Source #

foldMap' :: Monoid m => (a -> m) -> UInt a -> m Source #

foldr :: (a -> b -> b) -> b -> UInt a -> b Source #

foldr' :: (a -> b -> b) -> b -> UInt a -> b Source #

foldl :: (b -> a -> b) -> b -> UInt a -> b Source #

foldl' :: (b -> a -> b) -> b -> UInt a -> b Source #

foldr1 :: (a -> a -> a) -> UInt a -> a Source #

foldl1 :: (a -> a -> a) -> UInt a -> a Source #

toList :: UInt a -> [a] Source #

null :: UInt a -> Bool Source #

length :: UInt a -> Int Source #

elem :: Eq a => a -> UInt a -> Bool Source #

maximum :: Ord a => UInt a -> a Source #

minimum :: Ord a => UInt a -> a Source #

sum :: Num a => UInt a -> a Source #

product :: Num a => UInt a -> a Source #

Functor (URec Int :: Type -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods fmap :: (a -> b) -> URec Int a -> URec Int b Source # (<$) :: a -> URec Int b -> URec Int a Source #
Generic (URec Int p) |

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Int p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

Methods

from :: URec Int p -> Rep (URec Int p) x Source #

to :: Rep (URec Int p) x -> URec Int p Source #

Show (URec Int p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods showsPrec :: Int -> URec Int p -> ShowS Source # show :: URec Int p -> String Source # showList :: [URec Int p] -> ShowS Source #
Eq (URec Int p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Methods (==) :: URec Int p -> URec Int p -> Bool Source # (/=) :: URec Int p -> URec Int p -> Bool Source #
Ord (URec Int p) | Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Int p -> URec Int p -> Ordering Source #

(<) :: URec Int p -> URec Int p -> Bool Source #

(<=) :: URec Int p -> URec Int p -> Bool Source #

(>) :: URec Int p -> URec Int p -> Bool Source #

(>=) :: URec Int p -> URec Int p -> Bool Source #

max :: URec Int p -> URec Int p -> URec Int p Source #

min :: URec Int p -> URec Int p -> URec Int p Source #

data URec Int (p :: k) | Used for marking occurrences of `Int#` Since: base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

data URec Int (p :: k) = UInt {

- uInt# :: Int#

}

type Rep1 (URec Int :: k -> Type) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))
type Rep (URec Int p) | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

newtype Short Source #

Constructors

Short Int16 |

#### Instances

Instances details

SimpleType Short Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Short Source # simpleTypeText :: Short -> String Source #
SchemaType Short Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Short Source # schemaTypeToXML :: String -> Short -> [Content ()] Source #
Show Short Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Short -> ShowS Source # show :: Short -> String Source # showList :: [Short] -> ShowS Source #
Eq Short Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Short -> Short -> Bool Source # (/=) :: Short -> Short -> Bool Source #

newtype Byte Source #

Constructors

Byte Int8 |

#### Instances

Instances details

SimpleType Byte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser Byte Source # simpleTypeText :: Byte -> String Source #
SchemaType Byte Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser Byte Source # schemaTypeToXML :: String -> Byte -> [Content ()] Source #
Show Byte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> Byte -> ShowS Source # show :: Byte -> String Source # showList :: [Byte] -> ShowS Source #
Eq Byte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: Byte -> Byte -> Bool Source # (/=) :: Byte -> Byte -> Bool Source #

newtype NonNegativeInteger Source #

Constructors

NonNeg Integer |

#### Instances

Instances details

SimpleType NonNegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser NonNegativeInteger Source # simpleTypeText :: NonNegativeInteger -> String Source #
SchemaType NonNegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser NonNegativeInteger Source # schemaTypeToXML :: String -> NonNegativeInteger -> [Content ()] Source #
Show NonNegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> NonNegativeInteger -> ShowS Source # show :: NonNegativeInteger -> String Source # showList :: [NonNegativeInteger] -> ShowS Source #
Eq NonNegativeInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: NonNegativeInteger -> NonNegativeInteger -> Bool Source # (/=) :: NonNegativeInteger -> NonNegativeInteger -> Bool Source #

newtype UnsignedLong Source #

Constructors

ULong Word64 |

#### Instances

Instances details

SimpleType UnsignedLong Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser UnsignedLong Source # simpleTypeText :: UnsignedLong -> String Source #
SchemaType UnsignedLong Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser UnsignedLong Source # schemaTypeToXML :: String -> UnsignedLong -> [Content ()] Source #
Show UnsignedLong Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> UnsignedLong -> ShowS Source # show :: UnsignedLong -> String Source # showList :: [UnsignedLong] -> ShowS Source #
Eq UnsignedLong Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: UnsignedLong -> UnsignedLong -> Bool Source # (/=) :: UnsignedLong -> UnsignedLong -> Bool Source #

newtype UnsignedInt Source #

Constructors

UInt Word32 |

#### Instances

Instances details

SimpleType UnsignedInt Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser UnsignedInt Source # simpleTypeText :: UnsignedInt -> String Source #
SchemaType UnsignedInt Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser UnsignedInt Source # schemaTypeToXML :: String -> UnsignedInt -> [Content ()] Source #
Show UnsignedInt Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> UnsignedInt -> ShowS Source # show :: UnsignedInt -> String Source # showList :: [UnsignedInt] -> ShowS Source #
Eq UnsignedInt Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: UnsignedInt -> UnsignedInt -> Bool Source # (/=) :: UnsignedInt -> UnsignedInt -> Bool Source #

newtype UnsignedShort Source #

Constructors

UShort Word16 |

#### Instances

Instances details

SimpleType UnsignedShort Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser UnsignedShort Source # simpleTypeText :: UnsignedShort -> String Source #
SchemaType UnsignedShort Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser UnsignedShort Source # schemaTypeToXML :: String -> UnsignedShort -> [Content ()] Source #
Show UnsignedShort Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> UnsignedShort -> ShowS Source # show :: UnsignedShort -> String Source # showList :: [UnsignedShort] -> ShowS Source #
Eq UnsignedShort Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: UnsignedShort -> UnsignedShort -> Bool Source # (/=) :: UnsignedShort -> UnsignedShort -> Bool Source #

newtype UnsignedByte Source #

Constructors

UByte Word8 |

#### Instances

Instances details

SimpleType UnsignedByte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser UnsignedByte Source # simpleTypeText :: UnsignedByte -> String Source #
SchemaType UnsignedByte Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser UnsignedByte Source # schemaTypeToXML :: String -> UnsignedByte -> [Content ()] Source #
Show UnsignedByte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> UnsignedByte -> ShowS Source # show :: UnsignedByte -> String Source # showList :: [UnsignedByte] -> ShowS Source #
Eq UnsignedByte Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: UnsignedByte -> UnsignedByte -> Bool Source # (/=) :: UnsignedByte -> UnsignedByte -> Bool Source #

newtype PositiveInteger Source #

Constructors

Positive Integer |

#### Instances

Instances details

SimpleType PositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods acceptingParser :: TextParser PositiveInteger Source # simpleTypeText :: PositiveInteger -> String Source #
SchemaType PositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.Schema Methods parseSchemaType :: String -> XMLParser PositiveInteger Source # schemaTypeToXML :: String -> PositiveInteger -> [Content ()] Source #
Show PositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods showsPrec :: Int -> PositiveInteger -> ShowS Source # show :: PositiveInteger -> String Source # showList :: [PositiveInteger] -> ShowS Source #
Eq PositiveInteger Source # |
Instance details Defined in Text.XML.HaXml.Schema.PrimitiveTypes Methods (==) :: PositiveInteger -> PositiveInteger -> Bool Source # (/=) :: PositiveInteger -> PositiveInteger -> Bool Source #