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 Doubles 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 #