Module CPM.Query.Main

A tool to query analysis information about entities (e.g., function, types, type classes) defined in a module of some Curry package.

To use the tool to show information about some function, run 

> cpm-query <module name> <function name>

Note that cypm exec is not necessary to invoke the tool since the load path is computed by this tool. For instance, try 

> cpm-query Data.List split
> cpm-query System.Process exitWith
> cpm-query System.Directory doesFileExist

Version: April 2025

Summary of exported operations:

main :: IO ()  Deterministic 
askCurryInfoServer :: String -> CurryEntity -> String -> IO (Maybe [((String,String),String)])  Deterministic 
This action starts curry-info in server mode and returns the result of the given request (third argument) for all operations in the module provided as the first argument.
askCurryInfoCmd :: Bool -> Int -> String -> CurryEntity -> String -> IO (Maybe [((String,String),String)])  Deterministic 
This action uses the curry-info command to return the result of the given request (third argument) for all entities in the module provided as the third argument.
getPackageModules :: Options -> String -> String -> IO [String]  Deterministic 
Get all modules of a package version by curry-info.

Exported operations:

main :: IO ()  Deterministic 

askCurryInfoServer :: String -> CurryEntity -> String -> IO (Maybe [((String,String),String)])  Deterministic 

This action starts curry-info in server mode and returns the result of the given request (third argument) for all operations in the module provided as the first argument. The requested result is returned in its string representation for each entity in the module. The second argument is the kind of entity to be queried. If it is Unknown, Nothing is returned.

The package and version are determined using the Curry loadpath. If something goes wrong, Nothing is returned.

Example: get the demanded arguments of all operation in module Data.List: 

> askCurryInfoServer "Data.List" Operation "demand"
Further infos:
  • partially defined

askCurryInfoCmd :: Bool -> Int -> String -> CurryEntity -> String -> IO (Maybe [((String,String),String)])  Deterministic 

This action uses the curry-info command to return the result of the given request (third argument) for all entities in the module provided as the third argument. The requested result is returned in its string representation for each entity in the module. If the first argument is True, the curry-info web service is queried. The second is the verbosity (where 0 means quiet). The fourth argument is the kind of entity to be queried. If it is Unknown, Nothing is returned.

The package and version are determined using the Curry loadpath. If something goes wrong, Nothing is returned.

Example: get the demanded arguments of all operations in module Data.List: 

> askCurryInfoCmd True 1 "Data.List" Operation "demand"

getPackageModules :: Options -> String -> String -> IO [String]  Deterministic 

Get all modules of a package version by curry-info. In case of a parse error, the program is terminated with an error state.