Module Language.Curry.SourceCodeClassifier

This module provides functions to extract span information of entities in curry source programs. Namely, it provides functions to extract the span information of operations, types, and classes. The span information consists of the comment span and the code span of the entity.

Version: January 2025

Summary of exported operations:

getDeclarationsInModule :: String -> IO ([(String,(Int,Int),(Int,Int))],[(String,(Int,Int),(Int,Int))],[(String,(Int,Int),(Int,Int))])  Non-deterministic 
Extracts all operations, type declarations and class declarations in a module with their associated comment and code spans.
getOperationsInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all operations in a module with their comment and code spans.
getTypesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all types in a module with their comment and code spans.
getClassesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all classes in a module with their comment and code spans.

Exported operations:

getDeclarationsInModule :: String -> IO ([(String,(Int,Int),(Int,Int))],[(String,(Int,Int),(Int,Int))],[(String,(Int,Int),(Int,Int))])  Non-deterministic 

Extracts all operations, type declarations and class declarations in a module with their associated comment and code spans.

getOperationsInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 

Extracts all operations in a module with their comment and code spans.

getTypesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 

Extracts all types in a module with their comment and code spans.

getClassesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 

Extracts all classes in a module with their comment and code spans.