Portability | HaXML |
---|---|
Stability | experimental |
Maintainer | silva.samuel@alumni.uminho.pt |
- type Identification = ([Creator], [Rights], Maybe Encoding, Maybe Source, [Relation], Maybe Miscellaneous)
- read_Identification :: Eq i => StateT Result [Content i] Identification
- show_Identification :: Identification -> [Content ()]
- update_Identification :: ([Software], Encoding_Date) -> Identification -> Identification
- type Creator = (Maybe CDATA, PCDATA)
- read_Creator :: Eq i => StateT Result [Content i] Creator
- show_Creator :: Creator -> [Content ()]
- type Rights = (Maybe CDATA, CDATA)
- read_Rights :: Eq i => StateT Result [Content i] Rights
- show_Rights :: Rights -> [Content ()]
- type Encoding = [Encoding_]
- read_Encoding :: Eq i => StateT Result [Content i] Encoding
- show_Encoding :: Encoding -> [Content ()]
- update_Encoding :: ([Software], Encoding_Date) -> Encoding -> Encoding
- data Encoding_
- read_Encoding_ :: Eq i => StateT Result [Content i] Encoding_
- show_Encoding_ :: Encoding_ -> [Content ()]
- type Encoding_Date = YYYY_MM_DD
- read_Encoding_Date :: Eq i => StateT Result [Content i] Encoding_Date
- show_Encoding_Date :: Encoding_Date -> [Content ()]
- type Encoder = (Maybe CDATA, PCDATA)
- read_Encoder :: Eq i => StateT Result [Content i] Encoder
- show_Encoder :: Encoder -> [Content ()]
- type Software = PCDATA
- read_Software :: Eq i => StateT Result [Content i] Software
- show_Software :: Software -> [Content ()]
- type Encoding_Description = PCDATA
- read_Encoding_Description :: StateT Result [Content i] Encoding_Description
- show_Encoding_Description :: Encoding_Description -> [Content ()]
- type Supports = ((Yes_No, CDATA, Maybe CDATA, Maybe CDATA), ())
- read_Supports :: Eq i => StateT Result [Content i] Supports
- show_Supports :: Supports -> [Content ()]
- type Source = PCDATA
- read_Source :: StateT Result [Content i] Source
- show_Source :: Source -> [Content ()]
- type Relation = (Maybe CDATA, CDATA)
- read_Relation :: StateT Result [Content i] Relation
- show_Relation :: Relation -> [Content ()]
- type Miscellaneous = [Miscellaneous_Field]
- read_Miscellaneous :: Eq i => StateT Result [Content i] Miscellaneous
- show_Miscellaneous :: Miscellaneous -> [Content ()]
- type Miscellaneous_Field = (CDATA, PCDATA)
- read_Miscellaneous_Field :: StateT Result [Content i] Miscellaneous_Field
- show_Miscellaneous_Field :: Miscellaneous_Field -> [Content ()]
Identification
type Identification = ([Creator], [Rights], Maybe Encoding, Maybe Source, [Relation], Maybe Miscellaneous)Source
read_Identification :: Eq i => StateT Result [Content i] IdentificationSource
Creator
show_Creator :: Creator -> [Content ()]Source
Rights
show_Rights :: Rights -> [Content ()]Source
Encoding
show_Encoding :: Encoding -> [Content ()]Source
update_Encoding :: ([Software], Encoding_Date) -> Encoding -> EncodingSource
show_Encoding_ :: Encoding_ -> [Content ()]Source
type Encoding_Date = YYYY_MM_DDSource
read_Encoding_Date :: Eq i => StateT Result [Content i] Encoding_DateSource
show_Encoder :: Encoder -> [Content ()]Source
show_Software :: Software -> [Content ()]Source
type Encoding_Description = PCDATASource
show_Supports :: Supports -> [Content ()]Source
Source
show_Source :: Source -> [Content ()]Source
Relation
show_Relation :: Relation -> [Content ()]Source
Miscellaneous
type Miscellaneous = [Miscellaneous_Field]Source
read_Miscellaneous :: Eq i => StateT Result [Content i] MiscellaneousSource
type Miscellaneous_Field = (CDATA, PCDATA)Source