CurryInfo: currydoc-4.0.0 / CurryDoc.Html.addFuncAnchors

 
addFuncAnchors :: [String] -> [String] -> String
addFuncAnchors _    []         = ""
addFuncAnchors ancs (sl : sls) = let id1 = getFirstId sl in
  if null id1 ||
     id1 `elem` ["data","type","import","module","infix","infixl","infixr"]
    then htmlQuote (sl ++ "\n") ++ addFuncAnchors ancs sls
    else if id1 `elem` ancs
         then (sl ++ "\n") ++ addFuncAnchors ancs sls
         else "<a name=\""++id1++"\"></a>"
              ++ htmlQuote (sl++"\n")
              ++ addFuncAnchors (id1:ancs) sls

 argument 2

 deterministic operation

 
add the anchors to the classified lines and translate back:
first argument: list of already added anchors
second argument: list of source lines

 referentially transparent operation

 no fixity defined

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

 addFuncAnchors

 no precedence defined

 _

 [String] -> [String] -> String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term