|
Text.XML.HXT.Arrow.XmlState.TypeDefs | Portability | portable | Stability | stable | Maintainer | Uwe Schmidt (uwe@fh-wedel.de) |
|
|
|
Description |
the basic state arrows for XML processing
A state is needed for global processing options,
like encoding options, document base URI, trace levels
and error message handling
The state is separated into a user defined state
and a system state. The system state contains variables
for error message handling, for tracing, for the document base
for accessing XML documents with relative references, e.g. DTDs,
and a global key value store. This assoc list has strings as keys
and lists of XmlTrees as values. It is used to store arbitrary
XML and text values, e.g. user defined global options.
The user defined part of the store is in the default case empty, defined as ().
It can be extended with an arbitray data type
|
|
Synopsis |
|
|
|
Documentation |
|
|
state datatype consists of a system state and a user state
the user state is not fixed
| Constructors | |
|
|
|
The arrow type for stateful arrows
|
|
|
The arrow for stateful arrows with no user defined state
|
|
|
read the user defined part of the state
|
|
|
change the user defined part of the state
|
|
|
set the user defined part of the state
|
|
|
extend user state
Run an arrow with an extended user state component, The old component
is stored together with a new one in a pair, the arrow is executed with this
extended state, and the augmented state component is removed form the state
when the arrow has finished its execution
|
|
|
change the type of user state
This conversion is useful, when running a state arrow with another
structure of the user state, e.g. with () when executing some IO arrows
|
|
|
|
|
predefined system state data type with all components for the
system functions, like trace, error handling, ...
| Constructors | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | XMLoutput | | XHTMLoutput | | HTMLoutput | | PLAINoutput | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
store a string in global state under a given attribute name
|
|
|
remove an entry in global state, arrow input remains unchanged
|
|
|
read an attribute value from global state
|
|
|
read all attributes from global state
|
|
|
|
|
store an int value in global state
|
|
|
read an int value from global state
getSysAttrInt 0 myIntAttr
|
|
|
|
|
A Selector is a pair of an access function and a modifying function
for reading and updating parts of a composite type
| Constructors | S | | getS :: s -> a | | setS :: a -> s -> s | |
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |