Module CPM.Query.Configuration

Configuration parameters of the CPM querying tool.

Author: Michael Hanus

Version: February 2025

Summary of exported operations:

defaultShowRequests :: CurryEntity -> [String]  Deterministic 
The default requests to be shown for various kinds entities.
curryInfoURL :: String  Deterministic 
The URL of the curry-info web service CGI script.
curryInfoCache :: String  Deterministic 
The cache directory passed to curry-info (if not null).
packageVersionRequests :: [String]  Deterministic 
The requests to be generated for package versions.
moduleRequests :: [String]  Deterministic 
The requests to be generated for modules.
classRequests :: [String]  Deterministic 
The requests to be generated for classes.
typeRequests :: [String]  Deterministic 
The requests to be generated for types.
operationRequests :: [String]  Deterministic 
The requests to be generated for operations.

Exported datatypes:

CurryEntity

The kind of entity in a Curry module to be queried.

Constructors:

  • Operation :: CurryEntity
  • Type :: CurryEntity
  • Class :: CurryEntity
  • Unknown :: CurryEntity

Exported operations:

defaultShowRequests :: CurryEntity -> [String]  Deterministic 

The default requests to be shown for various kinds entities.

curryInfoURL :: String  Deterministic 

The URL of the curry-info web service CGI script.

Further infos:
  • solution complete, i.e., able to compute all solutions

curryInfoCache :: String  Deterministic 

The cache directory passed to curry-info (if not null).

Further infos:
  • solution complete, i.e., able to compute all solutions

packageVersionRequests :: [String]  Deterministic 

The requests to be generated for package versions.

Further infos:
  • solution complete, i.e., able to compute all solutions

moduleRequests :: [String]  Deterministic 

The requests to be generated for modules.

Further infos:
  • solution complete, i.e., able to compute all solutions

classRequests :: [String]  Deterministic 

The requests to be generated for classes.

Further infos:
  • solution complete, i.e., able to compute all solutions

typeRequests :: [String]  Deterministic 

The requests to be generated for types.

Further infos:
  • solution complete, i.e., able to compute all solutions

operationRequests :: [String]  Deterministic 

The requests to be generated for operations.

Further infos:
  • solution complete, i.e., able to compute all solutions