CurryInfo: currydoc-4.0.0 / CurryDoc.Read.skipFuncDefs

 
skipFuncDefs :: String -> [SourceLine] -> [(SourceLine,String)]
skipFuncDefs _ [] = []
skipFuncDefs _ (Comment cmt : sls) = groupProgLines (Comment cmt : sls)
skipFuncDefs _ (DataDef d   : sls) = groupProgLines (DataDef d   : sls)
skipFuncDefs f (FuncDef f1  : sls) =
  if f == f1 then skipFuncDefs f sls
             else groupProgLines (FuncDef f1 : sls)
skipFuncDefs f (ModDef      : sls) = skipFuncDefs f sls
skipFuncDefs f (OtherLine   : sls) = skipFuncDefs f sls

 argument 2

 deterministic operation

 (_, _)

 referentially transparent operation

 no fixity defined

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

 skipFuncDefs

 no precedence defined

 {:,[]}

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

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms