Module Language.Curry.SourceCodeClassifier

This module provides functions to extract span information of entities defined in Curry source programs. These functions extract the span information of operations, types, and classes. The span information consists of the comment span and the source code span of each entity.

Version: June 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 source code spans.
getOperationsInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all operations in a module with their comment and source code spans.
getTypesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all types in a module with their comment and source code spans.
getClassesInModule :: String -> IO [(String,(Int,Int),(Int,Int))]  Non-deterministic 
Extracts all classes in a module with their comment and source 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 source code spans.

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

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

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

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

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

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