Module CPM.Query.Configuration

Configuration parameters of the CPM querying tool.

Author: Michael Hanus

Version: January 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.
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

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