This package contains libraries to deal with the source code level of Curry programs.
There are some libraries to check the intended usage of some Curry features.
Language.Curry.CheckDetUsage: check the correct use of
DET annotations to mark deterministic operations as described in http://dx.doi.org/10.1007/978-3-319-51676-9_1
Language.Curry.CheckOperations: check the correct use of set functions and whether some auxiliary operations are not used, mainly the non-strict equality operation
Prelude.=:<= which used to implement functional patterns.
Furthermore, there is a library
Language.Curry.StringClassifier to process strings containing Curry source code.
examples of this package contains example programs showing unintended uses of Curry features which are detected by the libraries of this package. Note that these libraries are integerated in CurryCheck so that these unintended uses are detected when processing these examples with CurryCheck.