CurryInfo: currydoc-4.0.0 / CurryDoc.Html.replaceIdLinks

 
replaceIdLinks :: DocOptions -> String -> String
replaceIdLinks opts str = case str of
  []             -> []
  ('\\':'\'':cs) -> '\'' : replaceIdLinks opts cs
  (c:cs)         -> if c == '\'' then tryReplaceIdLink [] cs
                                 else c : replaceIdLinks opts cs
 where
  tryReplaceIdLink ltxt [] = '\'' : reverse ltxt
  tryReplaceIdLink ltxt (c:cs)
   | isSpace c
   = '\'' : reverse ltxt ++ c : replaceIdLinks opts cs -- no space in id
   | c == '\''
   = checkId (reverse ltxt) ++ replaceIdLinks opts cs
   | otherwise
   = tryReplaceIdLink (c:ltxt) cs

  checkId s
    | ' ' `elem` s
    = '\'' : s ++ ['\'']
    | otherwise
    = let xs     = splitOn "." s
          urlref = if length xs == 1
                     then '#':s
                     else docURL opts (intercalate "." (init xs)) ++
                          ".html#" ++ last xs
      in if withMarkdown opts
           then "[" ++ s ++ "](" ++ urlref ++ ")"
           else "<code><a href=\"" ++ urlref ++ "\">"++s++"</a></code>"

 argument 2

 deterministic operation

 
Replace identifier hyperlinks in a string (i.e., enclosed in single quotes)
by HTML refences:

 referentially transparent operation

 no fixity defined

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

 replaceIdLinks

 no precedence defined

 _

 CurryDoc.Options.DocOptions -> String -> String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term