| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Ext.Xml.Schema
Description
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 #
Constructors
| AnySimpleType | |
Fields | |
Instances
| Read AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS AnySimpleType # readList :: ReadS [AnySimpleType] # | |
| Show AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> AnySimpleType -> ShowS # show :: AnySimpleType -> String # showList :: [AnySimpleType] -> ShowS # | |
| Eq AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema Methods (==) :: AnySimpleType -> AnySimpleType -> Bool # (/=) :: AnySimpleType -> AnySimpleType -> Bool # | |
| Ord AnySimpleType Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| Base64Binary | |
Fields | |
Instances
| Read Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS Base64Binary # readList :: ReadS [Base64Binary] # | |
| Show Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> Base64Binary -> ShowS # show :: Base64Binary -> String # showList :: [Base64Binary] -> ShowS # | |
| Eq Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema | |
| Ord Base64Binary Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| DateTime | |
Fields
| |
Constructors
| Duration | |
Fields
| |
Constructors
| ENTITIES | |
Fields
| |
Constructors
| GMonthDay | |
Fields | |
Instances
| Read GMonthDay Source # | |
| Show GMonthDay Source # | |
| Eq GMonthDay Source # | |
| Ord GMonthDay Source # | |
_GMonthDay :: Name Source #
newtype GYearMonth Source #
Constructors
| GYearMonth | |
Fields | |
Instances
| Read GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS GYearMonth # readList :: ReadS [GYearMonth] # readPrec :: ReadPrec GYearMonth # readListPrec :: ReadPrec [GYearMonth] # | |
| Show GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> GYearMonth -> ShowS # show :: GYearMonth -> String # showList :: [GYearMonth] -> ShowS # | |
| Eq GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema | |
| Ord GYearMonth Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| HexBinary | |
Fields | |
Instances
| Read HexBinary Source # | |
| Show HexBinary Source # | |
| Eq HexBinary Source # | |
| Ord HexBinary Source # | |
_HexBinary :: Name Source #
Constructors
| Language | |
Fields
| |
Constructors
| NOTATION | |
Fields
| |
newtype NegativeInteger Source #
Constructors
| NegativeInteger | |
Fields | |
Instances
| Read NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS NegativeInteger # readList :: ReadS [NegativeInteger] # | |
| Show NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> NegativeInteger -> ShowS # show :: NegativeInteger -> String # showList :: [NegativeInteger] -> ShowS # | |
| Eq NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods (==) :: NegativeInteger -> NegativeInteger -> Bool # (/=) :: NegativeInteger -> NegativeInteger -> Bool # | |
| Ord NegativeInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| NonNegativeInteger | |
Fields | |
Instances
newtype NonPositiveInteger Source #
Constructors
| NonPositiveInteger | |
Fields | |
Instances
newtype NormalizedString Source #
Constructors
| NormalizedString | |
Fields | |
Instances
| Read NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS NormalizedString # readList :: ReadS [NormalizedString] # | |
| Show NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> NormalizedString -> ShowS # show :: NormalizedString -> String # showList :: [NormalizedString] -> ShowS # | |
| Eq NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema Methods (==) :: NormalizedString -> NormalizedString -> Bool # (/=) :: NormalizedString -> NormalizedString -> Bool # | |
| Ord NormalizedString Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| PositiveInteger | |
Fields | |
Instances
| Read PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS PositiveInteger # readList :: ReadS [PositiveInteger] # | |
| Show PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> PositiveInteger -> ShowS # show :: PositiveInteger -> String # showList :: [PositiveInteger] -> ShowS # | |
| Eq PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods (==) :: PositiveInteger -> PositiveInteger -> Bool # (/=) :: PositiveInteger -> PositiveInteger -> Bool # | |
| Ord PositiveInteger Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| UnsignedByte | |
Fields | |
Instances
| Read UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS UnsignedByte # readList :: ReadS [UnsignedByte] # | |
| Show UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> UnsignedByte -> ShowS # show :: UnsignedByte -> String # showList :: [UnsignedByte] -> ShowS # | |
| Eq UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema | |
| Ord UnsignedByte Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| UnsignedInt | |
Fields | |
Instances
| Read UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS UnsignedInt # readList :: ReadS [UnsignedInt] # readPrec :: ReadPrec UnsignedInt # readListPrec :: ReadPrec [UnsignedInt] # | |
| Show UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> UnsignedInt -> ShowS # show :: UnsignedInt -> String # showList :: [UnsignedInt] -> ShowS # | |
| Eq UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema | |
| Ord UnsignedInt Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| UnsignedLong | |
Fields | |
Instances
| Read UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS UnsignedLong # readList :: ReadS [UnsignedLong] # | |
| Show UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> UnsignedLong -> ShowS # show :: UnsignedLong -> String # showList :: [UnsignedLong] -> ShowS # | |
| Eq UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema | |
| Ord UnsignedLong Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| UnsignedShort | |
Fields | |
Instances
| Read UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema Methods readsPrec :: Int -> ReadS UnsignedShort # readList :: ReadS [UnsignedShort] # | |
| Show UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema Methods showsPrec :: Int -> UnsignedShort -> ShowS # show :: UnsignedShort -> String # showList :: [UnsignedShort] -> ShowS # | |
| Eq UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema Methods (==) :: UnsignedShort -> UnsignedShort -> Bool # (/=) :: UnsignedShort -> UnsignedShort -> Bool # | |
| Ord UnsignedShort Source # | |
Defined in Hydra.Ext.Xml.Schema Methods 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 #
Constructors
| ConstrainingFacet | |
Instances
Constructors