Module CPM.Query.Main

banner :: String   

main :: IO ()   

generateForPackage :: Options -> String -> String -> IO ()   

generateForModule :: Options -> String -> String -> String -> IO ()   

queryModuleEntity :: Options -> String -> String -> IO ()   

queryPackage :: Options -> IO ()   

curryInfoOptions :: Options -> [String]   

curryInfoCmd :: Options -> [String] -> (String,[String])   

callCurryInfo :: Options -> [String] -> IO ()   

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

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 :: Bool -> String -> CurryEntity -> String -> IO (Maybe [((String,String),String)])   

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 first 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 server is queried. The third 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

queryCurryInfo :: Read a => [(String,String)] -> String -> IO a   

Query curry-info with some request where the options are taken from the RC file. The first argument are the curry-info arguments to specify the entity (e.g., package/version/module/option). The second argument is the (single!) request. The result must be readable so that it it is returned as data. In case of a parse error, the program is terminated with an error code.

queryCurryInfoWithOptions :: Read a => Options -> [(String,String)] -> String -> IO a   

Query curry-info with some request. The first argument are the cpm-query options to be used for the query. The second argument are the curry-info arguments to specify the entity (e.g., package/version/module/option). The third argument is the (single!) request. The result must be readable so that it it is returned as data.

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

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

getPackageModuleOps :: Options -> String -> String -> IO [(String,Int)]   

Get the number of operations of all modules of a package version. In case of a parse error, the program is terminated with an error state.

curryInfoBin :: String   

The binary name of the curry-info tool.

Further infos:

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

fromQName :: String -> (String,String)   

Transforms a possible qualified name into a pair of a module name (which might be empty) and an unqualified name.

string2urlencoded :: String -> String   

Further infos:

• partially defined

escapeShellString :: String -> String   

Further infos:

• partially defined