| definition: |
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
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- add the anchors to the classified lines and translate back: -- first argument: list of already added anchors -- second argument: list of source lines |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{[]}) |-> {[]} || (_,{:}) |-> _}
|
| name: |
addFuncAnchors |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[String] -> [String] -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |