| definition: |
genHtmlCons :: DocOptions -> [String] -> String -> [(Int, a)] -> ConsDecl
-> String
genHtmlCons docopts conscmts tcons tvars (Cons (_,cname) _ cvis argtypes) =
if cvis==Public
then "\\curryconsstart{" ++ cname ++ "}{" ++
concatMap (\t->showTexType True t++" $\\to$ ") argtypes ++
tcons ++ concatMap (\(i,_) -> [' ', chr (97 + i)]) tvars ++
"}\n" ++
(maybe ""
(\ (call,cmt) -> "{\\tt " ++ call ++ "}" ++
htmlString2Tex docopts cmt)
(getConsComment conscmts cname))
++ "\n"
else ""
|
| demand: |
argument 5 |
| deterministic: |
deterministic operation |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,{Cons}) |-> _}
|
| name: |
genHtmlCons |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CurryDoc.Options.DocOptions -> [String] -> String -> [(Prelude.Int, a)] -> FlatCurry.Types.ConsDecl -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |