Safe Haskell	Safe
Language	Haskell98

Text.XML.HaXml.TypeMapping

Contents

A class to get an explicit type representation for any value
Explicit representation of Haskell datatype information
Helper functions to extract type info as strings
Conversion from Haskell datatype to DTD

Synopsis

A class to get an explicit type representation for any value

class HTypeable a where Source #

HTypeable promises that we can create an explicit representation of of the type of any value.

Minimal complete definition

toHType

Methods

toHType :: a -> HType Source #

Instances

HTypeable Bool Source #
Methods toHType :: Bool -> HType Source #
HTypeable Char Source #
Methods toHType :: Char -> HType Source #
HTypeable Double Source #
Methods toHType :: Double -> HType Source #
HTypeable Float Source #
Methods toHType :: Float -> HType Source #
HTypeable Int Source #
Methods toHType :: Int -> HType Source #
HTypeable Integer Source #
Methods toHType :: Integer -> HType Source #
HTypeable () Source #
Methods toHType :: () -> HType Source #
HTypeable ANYContent Source #
Methods toHType :: ANYContent -> HType Source #
HTypeable a => HTypeable [a] Source #
Methods toHType :: [a] -> HType Source #
HTypeable a => HTypeable (Maybe a) Source #
Methods toHType :: Maybe a -> HType Source #
HTypeable a => HTypeable (List1 a) Source #
Methods toHType :: List1 a -> HType Source #
HTypeable a => HTypeable (OneOf1 a) Source #
Methods toHType :: OneOf1 a -> HType Source #
(HTypeable a, HTypeable b) => HTypeable (Either a b) Source #
Methods toHType :: Either a b -> HType Source #
(HTypeable a, HTypeable b) => HTypeable (a, b) Source #
Methods toHType :: (a, b) -> HType Source #
(HTypeable a, HTypeable b) => HTypeable (OneOf2 a b) Source #
Methods toHType :: OneOf2 a b -> HType Source #
(HTypeable a, HTypeable b, HTypeable c) => HTypeable (a, b, c) Source #
Methods toHType :: (a, b, c) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c) => HTypeable (OneOf3 a b c) Source #
Methods toHType :: OneOf3 a b c -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d) => HTypeable (a, b, c, d) Source #
Methods toHType :: (a, b, c, d) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d) => HTypeable (OneOf4 a b c d) Source #
Methods toHType :: OneOf4 a b c d -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e) => HTypeable (a, b, c, d, e) Source #
Methods toHType :: (a, b, c, d, e) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e) => HTypeable (OneOf5 a b c d e) Source #
Methods toHType :: OneOf5 a b c d e -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f) => HTypeable (a, b, c, d, e, f) Source #
Methods toHType :: (a, b, c, d, e, f) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f) => HTypeable (OneOf6 a b c d e f) Source #
Methods toHType :: OneOf6 a b c d e f -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g) => HTypeable (a, b, c, d, e, f, g) Source #
Methods toHType :: (a, b, c, d, e, f, g) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g) => HTypeable (OneOf7 a b c d e f g) Source #
Methods toHType :: OneOf7 a b c d e f g -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h) => HTypeable (a, b, c, d, e, f, g, h) Source #
Methods toHType :: (a, b, c, d, e, f, g, h) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h) => HTypeable (OneOf8 a b c d e f g h) Source #
Methods toHType :: OneOf8 a b c d e f g h -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i) => HTypeable (a, b, c, d, e, f, g, h, i) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i) => HTypeable (OneOf9 a b c d e f g h i) Source #
Methods toHType :: OneOf9 a b c d e f g h i -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j) => HTypeable (a, b, c, d, e, f, g, h, i, j) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j) => HTypeable (OneOf10 a b c d e f g h i j) Source #
Methods toHType :: OneOf10 a b c d e f g h i j -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k) => HTypeable (a, b, c, d, e, f, g, h, i, j, k) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j, k) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k) => HTypeable (OneOf11 a b c d e f g h i j k) Source #
Methods toHType :: OneOf11 a b c d e f g h i j k -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l) => HTypeable (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j, k, l) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l) => HTypeable (OneOf12 a b c d e f g h i j k l) Source #
Methods toHType :: OneOf12 a b c d e f g h i j k l -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m) => HTypeable (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m) => HTypeable (OneOf13 a b c d e f g h i j k l m) Source #
Methods toHType :: OneOf13 a b c d e f g h i j k l m -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n) => HTypeable (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n) => HTypeable (OneOf14 a b c d e f g h i j k l m n) Source #
Methods toHType :: OneOf14 a b c d e f g h i j k l m n -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o) => HTypeable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Methods toHType :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o) => HTypeable (OneOf15 a b c d e f g h i j k l m n o) Source #
Methods toHType :: OneOf15 a b c d e f g h i j k l m n o -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o, HTypeable p) => HTypeable (OneOf16 a b c d e f g h i j k l m n o p) Source #
Methods toHType :: OneOf16 a b c d e f g h i j k l m n o p -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o, HTypeable p, HTypeable q) => HTypeable (OneOf17 a b c d e f g h i j k l m n o p q) Source #
Methods toHType :: OneOf17 a b c d e f g h i j k l m n o p q -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o, HTypeable p, HTypeable q, HTypeable r) => HTypeable (OneOf18 a b c d e f g h i j k l m n o p q r) Source #
Methods toHType :: OneOf18 a b c d e f g h i j k l m n o p q r -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o, HTypeable p, HTypeable q, HTypeable r, HTypeable s) => HTypeable (OneOf19 a b c d e f g h i j k l m n o p q r s) Source #
Methods toHType :: OneOf19 a b c d e f g h i j k l m n o p q r s -> HType Source #
(HTypeable a, HTypeable b, HTypeable c, HTypeable d, HTypeable e, HTypeable f, HTypeable g, HTypeable h, HTypeable i, HTypeable j, HTypeable k, HTypeable l, HTypeable m, HTypeable n, HTypeable o, HTypeable p, HTypeable q, HTypeable r, HTypeable s, HTypeable t) => HTypeable (OneOf20 a b c d e f g h i j k l m n o p q r s t) Source #
Methods toHType :: OneOf20 a b c d e f g h i j k l m n o p q r s t -> HType Source #

Explicit representation of Haskell datatype information

data HType Source #

A concrete representation of any Haskell type.

Constructors

Maybe HType
List HType
Tuple [HType]
Prim String String	separate Haskell name and XML name
String
Defined String [HType] [Constr]	A user-defined type has a name, a sequence of type variables, and a set of constructors. (The variables might already be instantiated to actual types.)

Instances

Eq HType Source #
Methods (==) :: HType -> HType -> Bool # (/=) :: HType -> HType -> Bool #
Show HType Source #
Methods showsPrec :: Int -> HType -> ShowS # show :: HType -> String # showList :: [HType] -> ShowS #

data Constr Source #

A concrete representation of any user-defined Haskell constructor. The constructor has a name, and a sequence of component types. The first sequence of types represents the minimum set of free type variables occurring in the (second) list of real component types. If there are fieldnames, they are contained in the final list, and correspond one-to-one with the component types.

Constructors

Constr String [HType] [HType]

Instances

Eq Constr Source #
Methods (==) :: Constr -> Constr -> Bool # (/=) :: Constr -> Constr -> Bool #
Show Constr Source #
Methods showsPrec :: Int -> Constr -> ShowS # show :: Constr -> String # showList :: [Constr] -> ShowS #

Helper functions to extract type info as strings

showHType :: HType -> ShowS Source #

showConstr :: Int -> HType -> String Source #

Project the n'th constructor from an HType and convert it to a string suitable for an XML tagname.

Conversion from Haskell datatype to DTD

toDTD :: HType -> DocTypeDecl Source #

toDTD converts a concrete representation of the Haskell type of a value (obtained by the method toHType) into a real DocTypeDecl. It ensures that PERefs are defined before they are used, and that no element or attribute-list is declared more than once.