Re: [Haskell-cafe] --hyperlinks-in-source ?

Wow, this is fantastic. And I love the colors. On Thu, Nov 27, 2014 at 4:18 PM, Erik Hesselink wrote:

I've dreamed about this before, ever since I encountered it in Agda's standard library [1]. Sounds like a substantial amount of work though...

Erik

[1] http://www.cse.chalmers.se/~nad/listings/lib-0.7/README.html

...

I am using 'standalone-haddock --hyperlink-source' (and I cannot praise this enough) but ...

is there some way to get hyperlinks *in* the source?

currently, I have to jump back and forth between doc (which has all the links) and source (which I want to

On Thu, Nov 27, 2014 at 12:58 PM, Johannes Waldmann wrote: navigate -

...

actually, present for others so they can browse)

I understand there's a nontrivial design space but I could imagine a basic functionality like:

for each identifier i (type, class, constructor, function) that appears in the source, generate the link that haddock would produce for " -- | 'i' "

(3.8.7. Hyperlinked Identifiers https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810770608 )

- J.W.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

---

Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe