Exported names: Imported modules:

Module CPM.Diff.CurryComments

Summary of exported operations:

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

Reads the pragma comments from a Curry program.

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

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)])

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

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