6/3/13

CDuce: User's manual

User'smanual
Home(/)Documentation(documentation.html)Download(download.html)Contacts(contacts.html)
CDuce(/):Documentation(documentation.html):User'smanual Exercises(tutorial_exercises.html) Compiler/interpreter/toplevel(manual_interpreter.html)

TableofContents
Sections: Compiler/interpreter/toplevel(manual_interpreter.html) Commandline(manual_interpreter.html#cmdline) Scripting(manual_interpreter.html#scripting) Phrases(manual_interpreter.html#phrases) Toplevel(manual_interpreter.html#toplevl) Lexicalentities(manual_interpreter.html#lex) Typesandpatterns(manual_types_patterns.html) Typesandpatterns(manual_types_patterns.html#gen) Capturevariablesanddefaultpatterns(manual_types_patterns.html#capture) Booleanconnectives(manual_types_patterns.html#bool) Recursivetypesandpatterns(manual_types_patterns.html#recurs) Scalartypes(manual_types_patterns.html#basic) Pairs(manual_types_patterns.html#pairs) Sequences(manual_types_patterns.html#seq) Strings(manual_types_patterns.html#string) Records(manual_types_patterns.html#record) XMLelements(manual_types_patterns.html#xml) Functions(manual_types_patterns.html#fun) References(manual_types_patterns.html#ref) OCamlabstracttypes(manual_types_patterns.html#abstr) Completesyntax(manual_types_patterns.html#syntax) Expressions(manual_expressions.html) Valueconstructorsexpressions(manual_expressions.html#val) Patternmatching(manual_expressions.html#match) Functions(manual_expressions.html#fun_exp) Exceptions(manual_expressions.html#exn) Recordoperators(manual_expressions.html#record_exp) Arithmeticoperators(manual_expressions.html#arith)

www.cduce.org/manual.html

1/3

6/3/13

CDuce: User's manual

Genericcomparisons,ifthenelse(manual_expressions.html#comp) Upwardcoercions(manual_expressions.html#upward) Sequences(manual_expressions.html#seq_exp) XMLspecificconstructions(manual_expressions.html#xml_exp) UnicodeStrings(manual_expressions.html#ustr) Convertingtoandfromstring(manual_expressions.html#str) Inputoutput(manual_expressions.html#io) System (manual_expressions.html#sys) Namespaces(manual_expressions.html#ns) Imperativefeatures(manual_expressions.html#imp) Queries(manual_expressions.html#sel) XMLNamespaces(namespaces.html) Overview(namespaces.html#ov) Reusingnamespacedeclarations(namespaces.html#reuse) XMLSchemaandnamespaces(namespaces.html#ns) Typesforatoms(namespaces.html#types) PrintingXMLdocuments(namespaces.html#print) PrettyprintingofXMLvaluesandtypes(namespaces.html#pretty) Accessingnamespacebindings(namespaces.html#acc) Miscellaneous(namespaces.html#misc) XMLSchema(manual_schema.html) Overview(manual_schema.html#overview) XMLSchemacomponents(micro)introduction(manual_schema.html#primer) XMLSchemacomponentsimport(manual_schema.html#import) Topleveldirectives(manual_schema.html#directives) XMLSchemaCDucemapping(manual_schema.html#mapping) XMLSchemavalidation(manual_schema.html#validation) XMLSchemainstancesoutput(manual_schema.html#print_xml) UnsupportedXMLSchemafeatures(manual_schema.html#nonsupp) XMLSchemasampledocuments(manual_schema_samples.html) SampleXMLdocuments(manual_schema_samples.html#sample) mails.xsd(manual_schema_samples.html#mails_xsd) mails.xml(manual_schema_samples.html#mails_xml) InterfacingCDucewithOCaml(manual_interfacewithocaml.html) Introduction(manual_interfacewithocaml.html#intro) Translatingtypes(manual_interfacewithocaml.html#transl) CallingOCamlfromCDuce(manual_interfacewithocaml.html#call_ocaml) CallingCDucefromOCaml(manual_interfacewithocaml.html#call_cduce) Howtocompileandlink(manual_interfacewithocaml.html#link) CallingOCamlfromthetoplevel(manual_interfacewithocaml.html#topl) Examples(manual_interfacewithocaml.html#examples) Webmaster(mailto:webmaster@cduce.org)Sitemap(sitemap.html)

CDuce(/):Documentation(documentation.html):User'smanual

www.cduce.org/manual.html

2/3

6/3/13

CDuce: User's manual

Exercises(tutorial_exercises.html)

Compiler/interpreter/toplevel(manual_interpreter.html)

ThisGuidedescribesallCDuce'sconstructions. Compiler/interpreter/toplevel(manual_interpreter.html) Typesandpatterns(manual_types_patterns.html) Expressions(manual_expressions.html) XMLNamespaces(namespaces.html) XMLSchema(manual_schema.html) XMLSchemasampledocuments(manual_schema_samples.html) InterfacingCDucewithOCaml(manual_interfacewithocaml.html) Seealso: CDuce(/) Tutorial(tutorial.html) Quickreference(memento.html)

www.cduce.org/manual.html

3/3