Module Curry.Comment

Summary of exported operations:

commentString :: Comment -> String   
readComments :: String -> IO [(Span,Comment)]   
readCommentsWithParseOptions :: String -> FrontendParams -> IO [(Span,Comment)]   
commentsFileName :: String -> String   
readCommentsFile :: String -> IO [(Span,Comment)]   
readCommentsFileRaw :: String -> IO String   

Exported datatypes:


Comment

Constructors:

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

Exported operations:

commentString :: Comment -> String   

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

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

commentsFileName :: String -> String   

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

readCommentsFileRaw :: String -> IO String