CurryInfo: currydoc-4.0.0 / CurryDoc.TeX.genTexFunc

genTexFunc :: DocOptions -> [(SourceLine,String)] -> _ -> FuncDecl -> String
genTexFunc docopts progcmts _ (Func (_,fname) _ fvis ftype _) =
  if fvis==Public && not (classOperations fname)
  then "\\curryfunctionstart{" ++ string2tex fname ++ "}{" ++
       "\\curryfuncsig{" ++ string2tex (showId fname) ++ "}{" ++
         showTexType False (stripForall ftype) ++ "}}\n" ++
         htmlString2Tex docopts
               (fst (splitComment (getFuncComment fname progcmts))) ++
       "\\curryfunctionstop\n"
  else ""
 where
  -- strip initial forall type quantifiers:
  stripForall texp = case texp of
    ForallType _ te -> te
    _               -> texp

  classOperations fn = take 6 fn `elem` ["_impl#","_inst#"]
                    || take 5 fn == "_def#" || take 7 fn == "_super#"

argument 4

deterministic operation

-- generate short HTML documentation for a function if it is exported
-- and not an internal operation to implement type classes:

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,_,{Func}) |-> _}

genTexFunc

no precedence defined

_

CurryDoc.Options.DocOptions -> [(CurryDoc.Read.SourceLine, String)] -> a
-> FlatCurry.Types.FuncDecl -> String

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term