CurryInfo: currydoc-4.0.0 / CurryDoc.Read.splitCommentParams

 
splitCommentParams :: String -> String -> [String] -> [(String,String)]
splitCommentParams param paramcmt [] = [(param,skipWhiteSpace paramcmt)]
splitCommentParams param paramcmt (l:ls) =
  if l == "" || head l /= '@'
  then splitCommentParams param (paramcmt++('\n':l)) ls
  else ((param,skipWhiteSpace paramcmt)
        : splitCommentParams (takeWhile isAlpha (tail l))
                             (dropWhile isAlpha (tail l)) ls)

 argument 3

 deterministic operation

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,{[]}) |-> {:} || (_,_,{:}) |-> {:}}

 splitCommentParams

 no precedence defined

 {:}

 String -> String -> [String] -> [(String, String)]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term