Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tools:currydoc [2008-03-14 11:52] – Document moved from implementations:01_implementations jac | tools:currydoc [2013-02-26 09:49] – mh | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== CurryDoc ====== | ====== CurryDoc ====== | ||
+ | |||
+ | CurryDoc is a tool in the | ||
+ | [[http:// | ||
+ | [[http:// | ||
+ | that generates the documentation for a Curry program (i.e., the main module | ||
+ | and all its imported modules) in HTML (and optionally also LaTeX) format. | ||
+ | The generated HTML pages contain information about | ||
+ | all data types and functions exported by a module as well | ||
+ | as links between the different entities. | ||
+ | Furthermore, | ||
+ | of functions (like rigid, flexible, external, complete, or | ||
+ | overlapping definitions) are provided and combined with | ||
+ | documentation comments provided by the programmer. | ||
+ | |||
+ | ==== Short Summary ==== | ||
+ | |||
+ | A **documentation comment** starts at the beginning of a line | ||
+ | with three dashes (also in literate programs!). | ||
+ | All documentation comments immediately before a | ||
+ | definition of a datatype or (top-level) function are kept together. | ||
+ | The documentation comments for the complete module occur before | ||
+ | the first '' | ||
+ | The comments can also contain several special tags. These tags | ||
+ | must be the first thing on its line (in the documentation comment) | ||
+ | and continues until the next tag is encountered or until the | ||
+ | end of the comment. The following tags are recognized: | ||
+ | |||
+ | * '' | ||
+ | * '' | ||
+ | * '' | ||
+ | * '' | ||
+ | * '' | ||
+ | |||
+ | |||
+ | ==== Further Information ==== | ||
+ | |||
+ | More details on CurryDoc described in the user manuals of | ||
+ | [[http:// | ||
+ | [[http:// | ||
+ | There is also a //paper describing the basic ideas of CurryDoc//: | ||
**CurryDoc : A Documentation Tool for Declarative Programs** | **CurryDoc : A Documentation Tool for Declarative Programs** | ||
- | [[mh@informatik.uni-kiel.de | Michael Hanus]] | + | [[http://www.informatik.uni-kiel.de/~mh | Michael Hanus]] |
Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/ | Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/ |