diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-03-21 01:16:57 -0700 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-03-21 09:16:57 +0100 |
commit | b7a74c6702f087fde99f44f12d99c66afcf5790d (patch) | |
tree | 9f751803eb5c13adfef9e991469a2a9bf1bbb2c6 /html-test/ref/TypeFamilies2.html | |
parent | e787b5712157bb0acbb8d886ef793cda5dc1b821 (diff) |
Show where instances are defined (#748)
* Indicate source module of instances
Above instance, we now also display a link to the module where the
instance was defined. This is sometimes helpful in figuring out
what to import.
* Source module for type/data families too
* Remove parens
* Accept tests
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
-rw-r--r-- | html-test/ref/TypeFamilies2.html | 36 |
1 files changed, 30 insertions, 6 deletions
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index b8e59df7..a5d0d9a9 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -110,7 +110,11 @@ ><details id="i:id:W:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >data</span > <a href="#" title="TypeFamilies2" @@ -146,7 +150,11 @@ ><details id="i:id:W:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >type</span > <a href="#" title="TypeFamilies2" @@ -202,7 +210,11 @@ ><details id="i:if:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >type</span > <a href="#" title="TypeFamilies2" @@ -236,7 +248,11 @@ ><details id="i:if:Foo:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >type</span > <a href="#" title="TypeFamilies2" @@ -296,7 +312,11 @@ ><details id="i:if:Bar:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies2</a + ></p + > <div class="src" ><span class="keyword" >data</span > <a href="#" title="TypeFamilies2" @@ -332,7 +352,11 @@ ><details id="i:if:Bar:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary - ><div class="src" + ><p + >Defined in <a href="#" + >TypeFamilies</a + ></p + > <div class="src" ><span class="keyword" >data</span > <a href="#" title="TypeFamilies2" |