Text.XML.HaXml.Schema.Environment

Build Maps from :

XSD types become top-level types in Haskell.

XSD element decls also become top-level types in Haskell.

Element groups get their own Haskell types too.

Attributes and attribute groups do not become types, they are

Resolve element/attribute references by inlining their names.

data Environment

Constructors

Environment

Fields

env_type :: Map QName (Either SimpleType ComplexType)

type definitions in scope

env_allTypes :: Map QName (Either SimpleType ComplexType)

all type definitions, regardless of scope

env_element :: Map QName ElementDecl

env_attribute :: Map QName AttributeDecl

env_group :: Map QName Group

env_attrgroup :: Map QName AttrGroup

env_namespace :: Map String String

env_extendty :: Map QName [(QName, FilePath)]

supertype -> subtypes

env_substGrp :: Map QName [(QName, FilePath)]

substitution groups

env_typeloc :: Map QName FilePath

where type is defined

emptyEnv :: Environment

An empty environment of XSD type mappings.

combineEnv :: Environment -> Environment -> Environment

Combine two environments (e.g. read from different interface files)

mkEnvironment :: FilePath -> Schema -> Environment -> Environment

Build an environment of XSD type mappings from a schema module.

gatherImports :: Schema -> [(FilePath, Maybe String)]

Find all direct module dependencies.