aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/TypeFamilies.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
-rw-r--r--html-test/ref/TypeFamilies.html98
1 files changed, 71 insertions, 27 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 2195a05a..9a4945dd 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -280,7 +280,9 @@
>AssocD</a
> <a href="#" title="TypeFamilies"
>X</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -290,7 +292,9 @@
>AssocT</a
> <a href="#" title="TypeFamilies"
>X</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -342,8 +346,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- ></td
+ ><td class="doc"
+ ><p
+ >External instance</p
+ ></td
></tr
><tr
><td colspan="2"
@@ -489,7 +495,9 @@
>Foo</a
> <a href="#" title="TypeFamilies"
>X</a
- > :: *)</div
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</div
></details
></td
></tr
@@ -574,8 +582,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- ></td
+ ><td class="doc"
+ ><p
+ >Doc for: type instance Foo X = Y</p
+ ></td
></tr
><tr
><td colspan="2"
@@ -610,7 +620,9 @@
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *)</span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -633,7 +645,9 @@
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *) = <a href="#" title="TypeFamilies"
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = <a href="#" title="TypeFamilies"
>X</a
></div
></details
@@ -698,7 +712,9 @@
>AssocD</a
> <a href="#" title="TypeFamilies"
>Y</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -708,7 +724,9 @@
>AssocT</a
> <a href="#" title="TypeFamilies"
>Y</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -924,8 +942,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- ></td
+ ><td class="doc"
+ ><p
+ >Doc for: type instance Foo Y = X</p
+ ></td
></tr
><tr
><td colspan="2"
@@ -960,7 +980,9 @@
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *)</span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -983,7 +1005,9 @@
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *) = a</div
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = a</div
></details
></td
></tr
@@ -1220,8 +1244,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- ></td
+ ><td class="doc"
+ ><p
+ >Doc for: type instance Foo Y = X</p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1260,8 +1286,10 @@
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- ></td
+ ><td class="doc"
+ ><p
+ >Doc for: type instance Foo X = Y</p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1574,7 +1602,9 @@
>AssocD</a
> <a href="#" title="TypeFamilies"
>Y</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1584,7 +1614,9 @@
>AssocT</a
> <a href="#" title="TypeFamilies"
>Y</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -1628,7 +1660,9 @@
>AssocD</a
> <a href="#" title="TypeFamilies"
>X</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1638,7 +1672,9 @@
>AssocT</a
> <a href="#" title="TypeFamilies"
>X</a
- > :: * <a href="#" class="selflink"
+ > :: <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -1762,7 +1798,9 @@
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *)</span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1785,7 +1823,9 @@
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *) = a</div
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = a</div
></details
></td
></tr
@@ -1800,7 +1840,9 @@
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *)</span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1823,7 +1865,9 @@
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: *) = <a href="#" title="TypeFamilies"
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = <a href="#" title="TypeFamilies"
>X</a
></div
></details