Module Curry.Comment

Exported Datatypes

Constructors:

• NestedComment :: String -> Comment
• LineComment :: String -> Comment

Known instances:

• Eq Comment
• Ord Comment
• Show Comment
• Read Comment

Exported Functions

commentString :: Comment -> String   

Further infos:

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

readComments :: String -> IO [(Span, Comment)]   

Reads the comments from a specified module

readCommentsWithParseOptions :: String -> FrontendParams -> IO [(Span, Comment)]   

Reads the comments with further options from a specified module

commentsFileName :: String -> String   

Get the comments filename of a curry programm

readCommentsFile :: String -> IO [(Span, Comment)]   

Reads the comments from a specified file

readCommentsFileRaw :: String -> IO String   

Reads the text from a specified file containing comments