Module CPM.Diff.CurryComments

Summary of exported operations:

readComments :: String -> IO (String,[(SourceLine,String)])  Deterministic 
Reads the pragma comments from a Curry program.
getFuncComment :: String -> [(SourceLine,String)] -> String  Deterministic 
Get the pragma comments for a function from a map from source lines to comments.

Exported datatypes:


SourceLine

Constructors:


Exported operations:

readComments :: String -> IO (String,[(SourceLine,String)])  Deterministic 

Reads the pragma comments from a Curry program. The first component of the result is the comment for the module definition. The second component is a map from different source line types to pragma comments on that source line.

getFuncComment :: String -> [(SourceLine,String)] -> String  Deterministic 

Get the pragma comments for a function from a map from source lines to comments.