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: December 2024

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 :: 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 operations in the module provided as the first argument.

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.

Further infos:
  • partially defined

askCurryInfoCmd :: 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 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.

Further infos:
  • partially defined