User's manual

Home - Documentation - Download - Contacts

ℂDuce: Documentation: User's manual

Previous page: Exercises Next page: Compiler/interpreter/toplevel

Table of Contents

Sections:

  • Compiler/interpreter/toplevel
    • Command-line
    • Scripting
    • Phrases
    • Toplevel
    • Lexical entities
  • Types and patterns
    • Introduction
    • Type variables, instances, and subtyping
    • Capture variables and default patterns
    • Boolean connectives
    • Type declarations, recursive types and recursive patterns
    • Scalar types
    • Pairs
    • Sequences
    • Strings
    • Records
    • XML elements
    • Functions
    • References
    • OCaml abstract types
    • Type syntax outline
  • Expressions
    • Value constructors expressions
    • Pattern matching
    • Functions
    • Exceptions
    • Record operators
    • Arithmetic operators
    • Generic comparisons, if-then-else
    • Upward coercions
    • Sequences
    • XML-specific constructions
    • Unicode Strings
    • Converting to and from string
    • Input-output
    • System
    • Namespaces
    • Imperative features
    • Queries
    • Polymorphism, type variables scope
  • XML Namespaces
    • Overview
    • Reusing namespace declarations
    • XML Schema and namespaces
    • Types for atoms
    • Printing XML documents
    • Pretty-printing of XML values and types
    • Accessing namespace bindings
    • Miscellaneous
  • XML Schema
    • Overview
    • XML Schema components (micro) introduction
    • XML Schema components import
    • Toplevel directives
    • XML Schema → CDuce mapping
    • XML Schema validation
    • XML Schema instances output
    • Unsupported XML Schema features
  • XML Schema sample documents
    • Sample XML documents
    • mails.xsd
    • mails.xml
  • Interfacing CDuce with OCaml
    • Introduction
    • Translating types
    • Calling OCaml from CDuce
    • Calling CDuce from OCaml
    • How to compile and link
    • Calling OCaml from the toplevel
    • Examples

Webmaster - Site map

ℂDuce: Documentation: User's manual

Previous page: Exercises Next page: Compiler/interpreter/toplevel

This Guide describes all CDuce's constructions.

  • Compiler/interpreter/toplevel
  • Types and patterns
  • Expressions
  • XML Namespaces
  • XML Schema
  • XML Schema sample documents
  • Interfacing CDuce with OCaml

See also:

  • ℂDuce
  • Tutorial
  • Quick reference