README 1.46 KB
Newer Older
Michael Hanus's avatar
Michael Hanus committed
1
2
3
Curry Tools
===========

4
5
6
7
8
This directory contains various tools for Curry
that are used by different Curry systems, like PAKCS or KiCS2.

Currently it contains:

Michael Hanus's avatar
Michael Hanus committed
9
`addtypes`:
Björn Peemöller 's avatar
Björn Peemöller committed
10
A tool that adds type signatures to a given Curry program.
Michael Hanus's avatar
Michael Hanus committed
11

12
`analysis`:
Michael Hanus's avatar
Michael Hanus committed
13
14
A directory containing various analyses for Curry programs.
These are used in the `CASS` and `currydoc` tools.
15

Michael Hanus's avatar
Michael Hanus committed
16
17
18
19
`browser`:
A tool to browse through the modules and functions of a Curry program,
show them in various formats, and analyze their properties.

Michael Hanus's avatar
Michael Hanus committed
20
21
22
23
24
`CASS`:
This directory contains the implementation of the
Curry Analysis Server System, a generic and distributed analysis system
for Curry programs.

Michael Hanus's avatar
Michael Hanus committed
25
26
27
28
29
30
31
`createmakefile`:
A tool to create a simple makefile for a Curry application.

`curry2js`:
A compiler for Curry into JavaScript programs used in the
generation of web user interfaces (WUIs).

32
33
`currydoc`:
A documentation generator for Curry programs.
34

Michael Hanus's avatar
Michael Hanus committed
35
36
37
`currytest`:
A test tool for Curry programs.

Michael Hanus's avatar
Michael Hanus committed
38
39
40
41
`erd2curry`:
A compiler to translate database (ER) models
into Curry programs containing corresponding database operations.

42
43
44
45
`genint`:
A program for generating module interfaces and source code
of a Curry module (used by the commands ":interface" and ":show"
of some Curry systems).
46

47
48
`importcalls`:
A tool to show all calls to imported functions in a module.
Michael Hanus's avatar
Michael Hanus committed
49
50
51
52
53
54

`typeinference`:
This directory contains the implementation of a type
inferencer for FlatCurry programs which annotates
each expression occurring in a FlatCurry program with its
actual type.