
This document covers a collection of XLogic tools in sml which are independent of the various proof tools implemented in sml.

Two datatypes for representing XML documents (Fat and Lean) and a function for throwing away the fat.

Procedures for invoking the fxp XML parser to create a data structure (parse tree) for further processing.

Procedures for driving collections of "hooks" from fat or lean datatype representations of XML documents, primarily intended to support writing XML documents to files.

Wrappers for the Unicode decode and encode facilities provided in the fxp parser library to package these in ways which are convenient for XLogic.


Singatures for state and exception monads, and an input stream monad, with an implementation of an input stream monad with exception handling.

Arrows which can be constructed from Monads using a Kleisli functor.

This document covers a collection of XLogic tools in sml which are independent of the various proof tools implemented in sml.




