Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A partial XML Schema model, focusing on datatypes. All simple datatypes (i.e. xsd:anySimpleType and below) are included. | See: https://www.w3.org/TR/xmlschema-2 | Note: for most of the XML Schema datatype definitions included here, the associated Hydra type is simply | the string type. Exceptions are made for xsd:boolean and most of the numeric types, where there is a clearly | corresponding Hydra literal type.
Synopsis
- newtype AnySimpleType = AnySimpleType {}
- _AnySimpleType :: Name
- newtype AnyType = AnyType {}
- _AnyType :: Name
- newtype AnyURI = AnyURI {}
- _AnyURI :: Name
- newtype Base64Binary = Base64Binary {}
- _Base64Binary :: Name
- newtype Boolean = Boolean {}
- _Boolean :: Name
- newtype Byte = Byte {}
- _Byte :: Name
- newtype Date = Date {}
- _Date :: Name
- newtype DateTime = DateTime {
- unDateTime :: String
- _DateTime :: Name
- newtype Decimal = Decimal {}
- _Decimal :: Name
- newtype Double_ = Double_ {}
- _Double :: Name
- newtype Duration = Duration {
- unDuration :: String
- _Duration :: Name
- newtype ENTITIES = ENTITIES {
- unENTITIES :: String
- _ENTITIES :: Name
- newtype ENTITY = ENTITY {}
- _ENTITY :: Name
- newtype Float_ = Float_ {}
- _Float :: Name
- newtype GDay = GDay {}
- _GDay :: Name
- newtype GMonth = GMonth {}
- _GMonth :: Name
- newtype GMonthDay = GMonthDay {}
- _GMonthDay :: Name
- newtype GYear = GYear {}
- _GYear :: Name
- newtype GYearMonth = GYearMonth {}
- _GYearMonth :: Name
- newtype HexBinary = HexBinary {}
- _HexBinary :: Name
- newtype ID = ID {}
- _ID :: Name
- newtype IDREF = IDREF {}
- _IDREF :: Name
- newtype IDREFS = IDREFS {}
- _IDREFS :: Name
- newtype Int_ = Int_ {}
- _Int :: Name
- newtype Integer_ = Integer_ {}
- _Integer :: Name
- newtype Language = Language {
- unLanguage :: String
- _Language :: Name
- newtype Long = Long {}
- _Long :: Name
- newtype NMTOKEN = NMTOKEN {}
- _NMTOKEN :: Name
- newtype NOTATION = NOTATION {
- unNOTATION :: String
- _NOTATION :: Name
- newtype Name = Name {}
- _Name :: Name
- newtype NegativeInteger = NegativeInteger {}
- _NegativeInteger :: Name
- newtype NonNegativeInteger = NonNegativeInteger {}
- _NonNegativeInteger :: Name
- newtype NonPositiveInteger = NonPositiveInteger {}
- _NonPositiveInteger :: Name
- newtype NormalizedString = NormalizedString {}
- _NormalizedString :: Name
- newtype PositiveInteger = PositiveInteger {}
- _PositiveInteger :: Name
- newtype QName = QName {}
- _QName :: Name
- newtype Short = Short {}
- _Short :: Name
- newtype String_ = String_ {}
- _String :: Name
- newtype Time = Time {}
- _Time :: Name
- newtype Token = Token {}
- _Token :: Name
- newtype UnsignedByte = UnsignedByte {}
- _UnsignedByte :: Name
- newtype UnsignedInt = UnsignedInt {}
- _UnsignedInt :: Name
- newtype UnsignedLong = UnsignedLong {}
- _UnsignedLong :: Name
- newtype UnsignedShort = UnsignedShort {}
- _UnsignedShort :: Name
- data ConstrainingFacet = ConstrainingFacet {
- _ConstrainingFacet :: Name
- data Datatype
- = DatatypeAnySimpleType
- | DatatypeAnyType
- | DatatypeAnyURI
- | DatatypeBase64Binary
- | DatatypeBoolean
- | DatatypeByte
- | DatatypeDate
- | DatatypeDateTime
- | DatatypeDecimal
- | DatatypeDouble
- | DatatypeDuration
- | DatatypeENTITIES
- | DatatypeENTITY
- | DatatypeFloat
- | DatatypeGDay
- | DatatypeGMonth
- | DatatypeGMonthDay
- | DatatypeGYear
- | DatatypeGYearMonth
- | DatatypeHexBinary
- | DatatypeID
- | DatatypeIDREF
- | DatatypeIDREFS
- | DatatypeInt
- | DatatypeInteger
- | DatatypeLanguage
- | DatatypeLong
- | DatatypeNMTOKEN
- | DatatypeNOTATION
- | DatatypeName
- | DatatypeNegativeInteger
- | DatatypeNonNegativeInteger
- | DatatypeNonPositiveInteger
- | DatatypeNormalizedString
- | DatatypePositiveInteger
- | DatatypeQName
- | DatatypeShort
- | DatatypeString
- | DatatypeTime
- | DatatypeToken
- | DatatypeUnsignedByte
- | DatatypeUnsignedInt
- | DatatypeUnsignedLong
- | DatatypeUnsignedShort
- _Datatype :: Name
- _Datatype_anySimpleType :: FieldName
- _Datatype_anyType :: FieldName
- _Datatype_anyURI :: FieldName
- _Datatype_base64Binary :: FieldName
- _Datatype_boolean :: FieldName
- _Datatype_byte :: FieldName
- _Datatype_date :: FieldName
- _Datatype_dateTime :: FieldName
- _Datatype_decimal :: FieldName
- _Datatype_double :: FieldName
- _Datatype_duration :: FieldName
- _Datatype_ENTITIES :: FieldName
- _Datatype_ENTITY :: FieldName
- _Datatype_float :: FieldName
- _Datatype_gDay :: FieldName
- _Datatype_gMonth :: FieldName
- _Datatype_gMonthDay :: FieldName
- _Datatype_gYear :: FieldName
- _Datatype_gYearMonth :: FieldName
- _Datatype_hexBinary :: FieldName
- _Datatype_ID :: FieldName
- _Datatype_IDREF :: FieldName
- _Datatype_IDREFS :: FieldName
- _Datatype_int :: FieldName
- _Datatype_integer :: FieldName
- _Datatype_language :: FieldName
- _Datatype_long :: FieldName
- _Datatype_NMTOKEN :: FieldName
- _Datatype_NOTATION :: FieldName
- _Datatype_name :: FieldName
- _Datatype_negativeInteger :: FieldName
- _Datatype_nonNegativeInteger :: FieldName
- _Datatype_nonPositiveInteger :: FieldName
- _Datatype_normalizedString :: FieldName
- _Datatype_positiveInteger :: FieldName
- _Datatype_qName :: FieldName
- _Datatype_short :: FieldName
- _Datatype_string :: FieldName
- _Datatype_time :: FieldName
- _Datatype_token :: FieldName
- _Datatype_unsignedByte :: FieldName
- _Datatype_unsignedInt :: FieldName
- _Datatype_unsignedLong :: FieldName
- _Datatype_unsignedShort :: FieldName
Documentation
newtype AnySimpleType Source #
Instances
Read AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS AnySimpleType # readList :: ReadS [AnySimpleType] # | |
Show AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> AnySimpleType -> ShowS # show :: AnySimpleType -> String # showList :: [AnySimpleType] -> ShowS # | |
Eq AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: AnySimpleType -> AnySimpleType -> Bool # (/=) :: AnySimpleType -> AnySimpleType -> Bool # | |
Ord AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: AnySimpleType -> AnySimpleType -> Ordering # (<) :: AnySimpleType -> AnySimpleType -> Bool # (<=) :: AnySimpleType -> AnySimpleType -> Bool # (>) :: AnySimpleType -> AnySimpleType -> Bool # (>=) :: AnySimpleType -> AnySimpleType -> Bool # max :: AnySimpleType -> AnySimpleType -> AnySimpleType # min :: AnySimpleType -> AnySimpleType -> AnySimpleType # |
newtype Base64Binary Source #
Instances
Read Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS Base64Binary # readList :: ReadS [Base64Binary] # | |
Show Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> Base64Binary -> ShowS # show :: Base64Binary -> String # showList :: [Base64Binary] -> ShowS # | |
Eq Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: Base64Binary -> Base64Binary -> Bool # (/=) :: Base64Binary -> Base64Binary -> Bool # | |
Ord Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: Base64Binary -> Base64Binary -> Ordering # (<) :: Base64Binary -> Base64Binary -> Bool # (<=) :: Base64Binary -> Base64Binary -> Bool # (>) :: Base64Binary -> Base64Binary -> Bool # (>=) :: Base64Binary -> Base64Binary -> Bool # max :: Base64Binary -> Base64Binary -> Base64Binary # min :: Base64Binary -> Base64Binary -> Base64Binary # |
_Base64Binary :: Name Source #
_GMonthDay :: Name Source #
newtype GYearMonth Source #
Instances
Read GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS GYearMonth # readList :: ReadS [GYearMonth] # readPrec :: ReadPrec GYearMonth # readListPrec :: ReadPrec [GYearMonth] # | |
Show GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> GYearMonth -> ShowS # show :: GYearMonth -> String # showList :: [GYearMonth] -> ShowS # | |
Eq GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: GYearMonth -> GYearMonth -> Bool # (/=) :: GYearMonth -> GYearMonth -> Bool # | |
Ord GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: GYearMonth -> GYearMonth -> Ordering # (<) :: GYearMonth -> GYearMonth -> Bool # (<=) :: GYearMonth -> GYearMonth -> Bool # (>) :: GYearMonth -> GYearMonth -> Bool # (>=) :: GYearMonth -> GYearMonth -> Bool # max :: GYearMonth -> GYearMonth -> GYearMonth # min :: GYearMonth -> GYearMonth -> GYearMonth # |
_GYearMonth :: Name Source #
_HexBinary :: Name Source #
newtype NegativeInteger Source #
Instances
Read NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> NegativeInteger -> ShowS # show :: NegativeInteger -> String # showList :: [NegativeInteger] -> ShowS # | |
Eq NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: NegativeInteger -> NegativeInteger -> Bool # (/=) :: NegativeInteger -> NegativeInteger -> Bool # | |
Ord NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: NegativeInteger -> NegativeInteger -> Ordering # (<) :: NegativeInteger -> NegativeInteger -> Bool # (<=) :: NegativeInteger -> NegativeInteger -> Bool # (>) :: NegativeInteger -> NegativeInteger -> Bool # (>=) :: NegativeInteger -> NegativeInteger -> Bool # max :: NegativeInteger -> NegativeInteger -> NegativeInteger # min :: NegativeInteger -> NegativeInteger -> NegativeInteger # |
newtype NonNegativeInteger Source #
Instances
Read NonNegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show NonNegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> NonNegativeInteger -> ShowS # show :: NonNegativeInteger -> String # showList :: [NonNegativeInteger] -> ShowS # | |
Eq NonNegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: NonNegativeInteger -> NonNegativeInteger -> Bool # (/=) :: NonNegativeInteger -> NonNegativeInteger -> Bool # | |
Ord NonNegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: NonNegativeInteger -> NonNegativeInteger -> Ordering # (<) :: NonNegativeInteger -> NonNegativeInteger -> Bool # (<=) :: NonNegativeInteger -> NonNegativeInteger -> Bool # (>) :: NonNegativeInteger -> NonNegativeInteger -> Bool # (>=) :: NonNegativeInteger -> NonNegativeInteger -> Bool # max :: NonNegativeInteger -> NonNegativeInteger -> NonNegativeInteger # min :: NonNegativeInteger -> NonNegativeInteger -> NonNegativeInteger # |
newtype NonPositiveInteger Source #
Instances
Read NonPositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show NonPositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> NonPositiveInteger -> ShowS # show :: NonPositiveInteger -> String # showList :: [NonPositiveInteger] -> ShowS # | |
Eq NonPositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: NonPositiveInteger -> NonPositiveInteger -> Bool # (/=) :: NonPositiveInteger -> NonPositiveInteger -> Bool # | |
Ord NonPositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: NonPositiveInteger -> NonPositiveInteger -> Ordering # (<) :: NonPositiveInteger -> NonPositiveInteger -> Bool # (<=) :: NonPositiveInteger -> NonPositiveInteger -> Bool # (>) :: NonPositiveInteger -> NonPositiveInteger -> Bool # (>=) :: NonPositiveInteger -> NonPositiveInteger -> Bool # max :: NonPositiveInteger -> NonPositiveInteger -> NonPositiveInteger # min :: NonPositiveInteger -> NonPositiveInteger -> NonPositiveInteger # |
newtype NormalizedString Source #
Instances
Read NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> NormalizedString -> ShowS # show :: NormalizedString -> String # showList :: [NormalizedString] -> ShowS # | |
Eq NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: NormalizedString -> NormalizedString -> Bool # (/=) :: NormalizedString -> NormalizedString -> Bool # | |
Ord NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: NormalizedString -> NormalizedString -> Ordering # (<) :: NormalizedString -> NormalizedString -> Bool # (<=) :: NormalizedString -> NormalizedString -> Bool # (>) :: NormalizedString -> NormalizedString -> Bool # (>=) :: NormalizedString -> NormalizedString -> Bool # max :: NormalizedString -> NormalizedString -> NormalizedString # min :: NormalizedString -> NormalizedString -> NormalizedString # |
newtype PositiveInteger Source #
Instances
Read PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> PositiveInteger -> ShowS # show :: PositiveInteger -> String # showList :: [PositiveInteger] -> ShowS # | |
Eq PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: PositiveInteger -> PositiveInteger -> Bool # (/=) :: PositiveInteger -> PositiveInteger -> Bool # | |
Ord PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: PositiveInteger -> PositiveInteger -> Ordering # (<) :: PositiveInteger -> PositiveInteger -> Bool # (<=) :: PositiveInteger -> PositiveInteger -> Bool # (>) :: PositiveInteger -> PositiveInteger -> Bool # (>=) :: PositiveInteger -> PositiveInteger -> Bool # max :: PositiveInteger -> PositiveInteger -> PositiveInteger # min :: PositiveInteger -> PositiveInteger -> PositiveInteger # |
newtype UnsignedByte Source #
Instances
Read UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS UnsignedByte # readList :: ReadS [UnsignedByte] # | |
Show UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> UnsignedByte -> ShowS # show :: UnsignedByte -> String # showList :: [UnsignedByte] -> ShowS # | |
Eq UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: UnsignedByte -> UnsignedByte -> Bool # (/=) :: UnsignedByte -> UnsignedByte -> Bool # | |
Ord UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: UnsignedByte -> UnsignedByte -> Ordering # (<) :: UnsignedByte -> UnsignedByte -> Bool # (<=) :: UnsignedByte -> UnsignedByte -> Bool # (>) :: UnsignedByte -> UnsignedByte -> Bool # (>=) :: UnsignedByte -> UnsignedByte -> Bool # max :: UnsignedByte -> UnsignedByte -> UnsignedByte # min :: UnsignedByte -> UnsignedByte -> UnsignedByte # |
_UnsignedByte :: Name Source #
newtype UnsignedInt Source #
Instances
Read UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS UnsignedInt # readList :: ReadS [UnsignedInt] # readPrec :: ReadPrec UnsignedInt # readListPrec :: ReadPrec [UnsignedInt] # | |
Show UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> UnsignedInt -> ShowS # show :: UnsignedInt -> String # showList :: [UnsignedInt] -> ShowS # | |
Eq UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: UnsignedInt -> UnsignedInt -> Bool # (/=) :: UnsignedInt -> UnsignedInt -> Bool # | |
Ord UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: UnsignedInt -> UnsignedInt -> Ordering # (<) :: UnsignedInt -> UnsignedInt -> Bool # (<=) :: UnsignedInt -> UnsignedInt -> Bool # (>) :: UnsignedInt -> UnsignedInt -> Bool # (>=) :: UnsignedInt -> UnsignedInt -> Bool # max :: UnsignedInt -> UnsignedInt -> UnsignedInt # min :: UnsignedInt -> UnsignedInt -> UnsignedInt # |
_UnsignedInt :: Name Source #
newtype UnsignedLong Source #
Instances
Read UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS UnsignedLong # readList :: ReadS [UnsignedLong] # | |
Show UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> UnsignedLong -> ShowS # show :: UnsignedLong -> String # showList :: [UnsignedLong] -> ShowS # | |
Eq UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: UnsignedLong -> UnsignedLong -> Bool # (/=) :: UnsignedLong -> UnsignedLong -> Bool # | |
Ord UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: UnsignedLong -> UnsignedLong -> Ordering # (<) :: UnsignedLong -> UnsignedLong -> Bool # (<=) :: UnsignedLong -> UnsignedLong -> Bool # (>) :: UnsignedLong -> UnsignedLong -> Bool # (>=) :: UnsignedLong -> UnsignedLong -> Bool # max :: UnsignedLong -> UnsignedLong -> UnsignedLong # min :: UnsignedLong -> UnsignedLong -> UnsignedLong # |
_UnsignedLong :: Name Source #
newtype UnsignedShort Source #
Instances
Read UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema readsPrec :: Int -> ReadS UnsignedShort # readList :: ReadS [UnsignedShort] # | |
Show UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> UnsignedShort -> ShowS # show :: UnsignedShort -> String # showList :: [UnsignedShort] -> ShowS # | |
Eq UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: UnsignedShort -> UnsignedShort -> Bool # (/=) :: UnsignedShort -> UnsignedShort -> Bool # | |
Ord UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: UnsignedShort -> UnsignedShort -> Ordering # (<) :: UnsignedShort -> UnsignedShort -> Bool # (<=) :: UnsignedShort -> UnsignedShort -> Bool # (>) :: UnsignedShort -> UnsignedShort -> Bool # (>=) :: UnsignedShort -> UnsignedShort -> Bool # max :: UnsignedShort -> UnsignedShort -> UnsignedShort # min :: UnsignedShort -> UnsignedShort -> UnsignedShort # |
data ConstrainingFacet Source #
Instances
Read ConstrainingFacet Source # | |
Defined in Hydra.Ext.Xml.Schema | |
Show ConstrainingFacet Source # | |
Defined in Hydra.Ext.Xml.Schema showsPrec :: Int -> ConstrainingFacet -> ShowS # show :: ConstrainingFacet -> String # showList :: [ConstrainingFacet] -> ShowS # | |
Eq ConstrainingFacet Source # | |
Defined in Hydra.Ext.Xml.Schema (==) :: ConstrainingFacet -> ConstrainingFacet -> Bool # (/=) :: ConstrainingFacet -> ConstrainingFacet -> Bool # | |
Ord ConstrainingFacet Source # | |
Defined in Hydra.Ext.Xml.Schema compare :: ConstrainingFacet -> ConstrainingFacet -> Ordering # (<) :: ConstrainingFacet -> ConstrainingFacet -> Bool # (<=) :: ConstrainingFacet -> ConstrainingFacet -> Bool # (>) :: ConstrainingFacet -> ConstrainingFacet -> Bool # (>=) :: ConstrainingFacet -> ConstrainingFacet -> Bool # max :: ConstrainingFacet -> ConstrainingFacet -> ConstrainingFacet # min :: ConstrainingFacet -> ConstrainingFacet -> ConstrainingFacet # |