diff options
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
| -rw-r--r-- | html-test/ref/TypeFamilies2.html | 86 |
1 files changed, 55 insertions, 31 deletions
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 84e7df36..a5d0d9a9 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -92,9 +92,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -110,12 +110,16 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a > = <a id="v:BarX" class="def" >BarX</a @@ -130,9 +134,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -146,12 +150,16 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></div ></details @@ -186,9 +194,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -202,12 +210,16 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></div ></details @@ -220,9 +232,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a ></span > <a href="#" class="selflink" @@ -236,14 +248,18 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Foo</a - > <a href="#" + > <a href="#" title="TypeFamilies" >X</a - > = <a href="#" + > = <a href="#" title="TypeFamilies" >Y</a ></div ></details @@ -278,9 +294,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a ></span > <a href="#" class="selflink" @@ -296,12 +312,16 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies2" >W</a > = <a id="v:BarX" class="def" >BarX</a @@ -316,9 +336,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></span > <a href="#" class="selflink" @@ -332,12 +352,16 @@ ><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="#" + > <a href="#" title="TypeFamilies2" >Bar</a - > <a href="#" + > <a href="#" title="TypeFamilies" >Y</a ></div ></details |