Exported names: Imported modules:

Module CC.Helpers

Summary of exported operations:

ccLoadPath
                  ::  IO String

Computes the load path for executing the generated program that executes all checks.

Exported operations:

ccLoadPath :: IO String

Computes the load path for executing the generated program that executes all checks. The load path consists of the standard load path (defined by CURRYPATH) and the additional load path for packages required by CurryCheck.