change the user defined part of the state
Modulehxt-9.3.1.22Haskell2010
Text.XML.HXT.Arrow.XmlState.TypeDefs
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
- 19 types
- 104 values
- Packagehxt-9.3.1.22
- Exports123
- LanguageHaskell2010
- LicenceMIT
- SourceTypeDefs.hs
read all attributes from global state
read an attribute value from global state
read an int value from global state
getSysAttrInt 0 myIntAttrread the user defined part of the state
store a string in global state under a given attribute name
store an int value in global state
set the user defined part of the state
remove an entry in global state, arrow input remains unchanged
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
The arrow for stateful arrows with no user defined state
The arrow type for stateful arrows
Constructors
Constructors
Constructors
XIOOcfgxioIndent :: !BoolxioOutputEncoding :: !StringxioOutputFmt :: !XIOXoutConfigxioXmlPi :: !BoolxioNoEmptyElemFor :: ![String]xioAddDefaultDTD :: !BoolxioTextMode :: !BoolxioShowTree :: !BoolxioShowHaskell :: !Bool
Constructors
XIOPcfgxioMimeTypes :: MimeTypeTablexioMimeTypeHandlers :: MimeTypeHandlersxioMimeTypeFile :: StringxioAcceptedMimeTypes :: [String]xioFileMimeType :: StringxioWarnings :: !BoolxioRemoveWS :: !BoolxioParseByMimeType :: !BoolxioParseHTML :: !BoolxioLowerCaseNames :: !BoolxioPreserveComment :: !BoolxioValidate :: !BoolxioSubstDTDEntities :: !BoolxioSubstHTMLEntities :: !BoolxioCheckNamespaces :: !BoolxioCanonicalize :: !BoolxioIgnoreNoneXmlContents :: !BoolxioTagSoup :: !BoolxioTagSoupParser :: IOSArrow XmlTree XmlTreexioExpat :: !BoolxioExpatParser :: IOSArrow XmlTree XmlTree
Constructors
state datatype consists of a system state and a user state the user state is not fixed
Constructors
XIOStatexioSysState :: !XIOSysStatexioUserState :: !us
Constructors
XIOEnvxioTraceLevel :: !IntxioTraceCmd :: Int -> String -> IO ()xioErrorMsgHandler :: String -> IO ()xioErrorMsgCollect :: !BoolxioBaseURI :: !StringxioDefaultBaseURI :: !StringxioAttrList :: !AttributesxioInputConfig :: !XIOInputConfigxioParseConfig :: !XIOParseConfigxioOutputConfig :: !XIOOutputConfigxioRelaxConfig :: !XIORelaxConfigxioXmlSchemaConfig :: !XIOXmlSchemaConfigxioCacheConfig :: !XIOCacheConfig
predefined system state data type with all components for the system functions, like trace, error handling, ...
Constructors
Instances1NFData
NFData XIOSysStateDefined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlState.TypeDefs
Constructors
Constructors
Instances1Eq
Eq XIOXoutConfigDefined in hxt-9.3.1.22 · Text.XML.HXT.Arrow.XmlState.TypeDefs
A Selector is a pair of an access function and a modifying function for reading and updating parts of a composite type