Module Curry.Comment

Summary of exported operations:

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

Exported datatypes:

Comment

Constructors:

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

Exported operations:

commentString :: Comment -> String  Deterministic 

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

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

commentsFileName :: String -> String  Deterministic 

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

readCommentsFileRaw :: String -> IO String  Deterministic