<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><title>CDuce: User's manual</title><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/><link href="cduce.css" type="text/css" rel="stylesheet"/></head><body style="margin: 0; padding : 0;"><table width="100%" border="0" cellspacing="10" cellpadding="0"><tr><td valign="top" style="width:20%;" align="left"><div class="leftbar" id="leftbar"><div class="smallbox"><p> This Guide describes all CDuce's constructions. </p><ul><li><a href="manual_interpreter.html">Compiler/interpreter/toplevel</a></li><li><a href="manual_types_patterns.html">Types and patterns</a></li><li><a href="manual_expressions.html">Expressions</a></li><li><a href="namespaces.html">XML Namespaces</a></li><li><a href="manual_schema.html">XML Schema</a></li><li><a href="manual_schema_samples.html">XML Schema sample documents</a></li><li><a href="manual_interfacewithocaml.html">Interfacing CDuce with OCaml</a></li></ul><p>See also:</p><ul><li><a href="index.html">CDuce: documentation</a></li><li><a href="tutorial.html">Tutorial</a></li><li><a href="memento.html">Quick reference</a></li></ul></div></div></td><td><h1>User's manual</h1><div class="mainpanel"><div class="smallbox"><p><a href="index.html">CDuce: documentation</a>: User's manual</p><p><a href="tutorial_exercises.html"><img class="icon" width="16" alt="Previous page:" src="img/left.gif" height="16"/> Exercises</a> <a href="manual_interpreter.html"><img class="icon" width="16" alt="Next page:" src="img/right.gif" height="16"/> Compiler/interpreter/toplevel</a></p></div><div><h2><a name="toc">Table of Contents</a></h2><p>Sections:</p><ul><li><a href="manual_interpreter.html">Compiler/interpreter/toplevel</a><ul><li><a href="manual_interpreter.html#cmdline">Command-line</a></li><li><a href="manual_interpreter.html#scripting">Scripting</a></li><li><a href="manual_interpreter.html#phrases">Phrases</a></li><li><a href="manual_interpreter.html#toplevl">Toplevel</a></li><li><a href="manual_interpreter.html#lex">Lexical entities</a></li></ul></li><li><a href="manual_types_patterns.html">Types and patterns</a><ul><li><a href="manual_types_patterns.html#gen">Types and patterns</a></li><li><a href="manual_types_patterns.html#capture">Capture variables and default patterns</a></li><li><a href="manual_types_patterns.html#bool">Boolean connectives</a></li><li><a href="manual_types_patterns.html#recurs">Recursive types and patterns</a></li><li><a href="manual_types_patterns.html#basic">Scalar types</a></li><li><a href="manual_types_patterns.html#pairs">Pairs</a></li><li><a href="manual_types_patterns.html#seq">Sequences</a></li><li><a href="manual_types_patterns.html#string">Strings</a></li><li><a href="manual_types_patterns.html#record">Records</a></li><li><a href="manual_types_patterns.html#xml">XML elements</a></li><li><a href="manual_types_patterns.html#fun">Functions</a></li><li><a href="manual_types_patterns.html#ref">References</a></li><li><a href="manual_types_patterns.html#abstr">OCaml abstract types</a></li><li><a href="manual_types_patterns.html#syntax">Complete syntax</a></li></ul></li><li><a href="manual_expressions.html">Expressions</a><ul><li><a href="manual_expressions.html#val">Value constructors expressions</a></li><li><a href="manual_expressions.html#match">Pattern matching</a></li><li><a href="manual_expressions.html#fun_exp">Functions</a></li><li><a href="manual_expressions.html#exn">Exceptions</a></li><li><a href="manual_expressions.html#record_exp">Record operators</a></li><li><a href="manual_expressions.html#arith">Arithmetic operators</a></li><li><a href="manual_expressions.html#comp">Generic comparisons, if-then-else</a></li><li><a href="manual_expressions.html#upward">Upward coercions</a></li><li><a href="manual_expressions.html#seq_exp">Sequences</a></li><li><a href="manual_expressions.html#xml_exp">XML-specific constructions</a></li><li><a href="manual_expressions.html#ustr">Unicode Strings</a></li><li><a href="manual_expressions.html#str">Converting to and from string</a></li><li><a href="manual_expressions.html#io">Input-output</a></li><li><a href="manual_expressions.html#sys">System</a></li><li><a href="manual_expressions.html#ns">Namespaces</a></li><li><a href="manual_expressions.html#imp">Imperative features</a></li><li><a href="manual_expressions.html#sel">Queries</a></li></ul></li><li><a href="namespaces.html">XML Namespaces</a><ul><li><a href="namespaces.html#ov">Overview</a></li><li><a href="namespaces.html#reuse">Reusing namespace declarations</a></li><li><a href="namespaces.html#ns">XML Schema and namespaces</a></li><li><a href="namespaces.html#types">Types for atoms</a></li><li><a href="namespaces.html#print">Printing XML documents</a></li><li><a href="namespaces.html#pretty">Pretty-printing of XML values and types</a></li><li><a href="namespaces.html#acc">Accessing namespace bindings</a></li><li><a href="namespaces.html#misc">Miscellaneous</a></li></ul></li><li><a href="manual_schema.html">XML Schema</a><ul><li><a href="manual_schema.html#overview">Overview</a></li><li><a href="manual_schema.html#primer">XML Schema components (micro) introduction</a></li><li><a href="manual_schema.html#import">XML Schema components import</a></li><li><a href="manual_schema.html#directives">Toplevel directives</a></li><li><a href="manual_schema.html#mapping">XML Schema → CDuce mapping</a></li><li><a href="manual_schema.html#validation">XML Schema validation</a></li><li><a href="manual_schema.html#print_xml">XML Schema instances output</a></li><li><a href="manual_schema.html#nonsupp">Unsupported XML Schema features</a></li></ul></li><li><a href="manual_schema_samples.html">XML Schema sample documents</a><ul><li><a href="manual_schema_samples.html#sample">Sample XML documents</a></li><li><a href="manual_schema_samples.html#mails_xsd">mails.xsd</a></li><li><a href="manual_schema_samples.html#mails_xml">mails.xml</a></li></ul></li><li><a href="manual_interfacewithocaml.html">Interfacing CDuce with OCaml</a><ul><li><a href="manual_interfacewithocaml.html#intro">Introduction</a></li><li><a href="manual_interfacewithocaml.html#transl">Translating types</a></li><li><a href="manual_interfacewithocaml.html#call_ocaml">Calling OCaml from CDuce</a></li><li><a href="manual_interfacewithocaml.html#call_cduce">Calling CDuce from OCaml</a></li><li><a href="manual_interfacewithocaml.html#link">How to compile and link</a></li><li><a href="manual_interfacewithocaml.html#topl">Calling OCaml from the toplevel</a></li><li><a href="manual_interfacewithocaml.html#examples">Examples</a></li></ul></li></ul></div><div class="meta"><p><a href="sitemap.html">Site map</a></p></div><div class="smallbox"><p><a href="index.html">CDuce: documentation</a>: User's manual</p><p><a href="tutorial_exercises.html"><img class="icon" width="16" alt="Previous page:" src="img/left.gif" height="16"/> Exercises</a> <a href="manual_interpreter.html"><img class="icon" width="16" alt="Next page:" src="img/right.gif" height="16"/> Compiler/interpreter/toplevel</a></p></div></div></td></tr></table></body></html>
